Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Wus_method_of_characteristic_set> ?p ?o }
Showing triples 1 to 61 of
61
with 100 triples per page.
- Wus_method_of_characteristic_set abstract "Wenjun Wu's method is an algorithm for solving multivariate polynomial equations introduced in the late 1970s by the Chinese mathematician Wen-Tsun Wu. This method is based on the mathematical concept of characteristic set introduced in the late 1940s by J.F. Ritt. It is fully independent of the Gröbner basis method, introduced by Bruno Buchberger (1965), even if Gröbner bases may be used to compute characteristic sets.Wu's method is powerful for mechanical theorem proving in elementary geometry, and provides a complete decision process for certain classes of problem.It has been used in research in his laboratory (KLMM, Key Laboratory of Mathematics Mechanization in Chinese Academy of Science) and around the world. The main trends of research on Wu's method concern systems of polynomial equations of positive dimension and differential algebra where Ritt's results have been made effective. Wu's method has been applied in various scientific fields, like biology, computer vision, robot kinematics and especially automatic proofs in geometry".
- Wus_method_of_characteristic_set wikiPageExternalLink 5716.
- Wus_method_of_characteristic_set wikiPageExternalLink wsolve.htm.
- Wus_method_of_characteristic_set wikiPageExternalLink wuritt.html.
- Wus_method_of_characteristic_set wikiPageID "13284111".
- Wus_method_of_characteristic_set wikiPageLength "10907".
- Wus_method_of_characteristic_set wikiPageOutDegree "30".
- Wus_method_of_characteristic_set wikiPageRevisionID "705781204".
- Wus_method_of_characteristic_set wikiPageWikiLink Algebraic_equation.
- Wus_method_of_characteristic_set wikiPageWikiLink Automated_theorem_proving.
- Wus_method_of_characteristic_set wikiPageWikiLink Bruno_Buchberger.
- Wus_method_of_characteristic_set wikiPageWikiLink Category:Algebraic_geometry.
- Wus_method_of_characteristic_set wikiPageWikiLink Category:Commutative_algebra.
- Wus_method_of_characteristic_set wikiPageWikiLink Category:Computer_algebra.
- Wus_method_of_characteristic_set wikiPageWikiLink Category:Polynomials.
- Wus_method_of_characteristic_set wikiPageWikiLink Complex_number.
- Wus_method_of_characteristic_set wikiPageWikiLink Differential_algebra.
- Wus_method_of_characteristic_set wikiPageWikiLink Geometry.
- Wus_method_of_characteristic_set wikiPageWikiLink Gröbner_basis.
- Wus_method_of_characteristic_set wikiPageWikiLink Ideal_(ring_theory).
- Wus_method_of_characteristic_set wikiPageWikiLink Joseph_Ritt.
- Wus_method_of_characteristic_set wikiPageWikiLink Logical_conjunction.
- Wus_method_of_characteristic_set wikiPageWikiLink Mathematics_Mechanization_and_Automated_Reasoning_Platform.
- Wus_method_of_characteristic_set wikiPageWikiLink Polynomial.
- Wus_method_of_characteristic_set wikiPageWikiLink RegularChains.
- Wus_method_of_characteristic_set wikiPageWikiLink Regular_chain.
- Wus_method_of_characteristic_set wikiPageWikiLink Ring_(mathematics).
- Wus_method_of_characteristic_set wikiPageWikiLink System_of_linear_equations.
- Wus_method_of_characteristic_set wikiPageWikiLink System_of_polynomial_equations.
- Wus_method_of_characteristic_set wikiPageWikiLink Total_order.
- Wus_method_of_characteristic_set wikiPageWikiLink Well-quasi-ordering.
- Wus_method_of_characteristic_set wikiPageWikiLink Wu_Wenjun.
- Wus_method_of_characteristic_set wikiPageWikiLinkText "Characteristic set".
- Wus_method_of_characteristic_set wikiPageWikiLinkText "Ritt characteristic set".
- Wus_method_of_characteristic_set wikiPageWikiLinkText "Wu's method of characteristic set".
- Wus_method_of_characteristic_set wikiPageWikiLinkText "Wu's method".
- Wus_method_of_characteristic_set wikiPageWikiLinkText "characteristic set".
- Wus_method_of_characteristic_set wikiPageUsesTemplate Template:Cite_book.
- Wus_method_of_characteristic_set wikiPageUsesTemplate Template:Cite_journal.
- Wus_method_of_characteristic_set wikiPageUsesTemplate Template:Cite_web.
- Wus_method_of_characteristic_set wikiPageUsesTemplate Template:More_footnotes.
- Wus_method_of_characteristic_set subject Category:Algebraic_geometry.
- Wus_method_of_characteristic_set subject Category:Commutative_algebra.
- Wus_method_of_characteristic_set subject Category:Computer_algebra.
- Wus_method_of_characteristic_set subject Category:Polynomials.
- Wus_method_of_characteristic_set hypernym Algorithm.
- Wus_method_of_characteristic_set type Software.
- Wus_method_of_characteristic_set type Type.
- Wus_method_of_characteristic_set type Algorithm.
- Wus_method_of_characteristic_set type Function.
- Wus_method_of_characteristic_set type Polynomial.
- Wus_method_of_characteristic_set type Redirect.
- Wus_method_of_characteristic_set type Type.
- Wus_method_of_characteristic_set comment "Wenjun Wu's method is an algorithm for solving multivariate polynomial equations introduced in the late 1970s by the Chinese mathematician Wen-Tsun Wu. This method is based on the mathematical concept of characteristic set introduced in the late 1940s by J.F. Ritt.".
- Wus_method_of_characteristic_set label "Wu's method of characteristic set".
- Wus_method_of_characteristic_set sameAs Q8038857.
- Wus_method_of_characteristic_set sameAs m.03c0jxp.
- Wus_method_of_characteristic_set sameAs Q8038857.
- Wus_method_of_characteristic_set sameAs 吴消元法.
- Wus_method_of_characteristic_set wasDerivedFrom Wus_method_of_characteristic_set?oldid=705781204.
- Wus_method_of_characteristic_set isPrimaryTopicOf Wus_method_of_characteristic_set.