Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Wu's_method_of_characteristic_set> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- Wu's_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 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".
- Wu's_method_of_characteristic_set wikiPageExternalLink 5716.
- Wu's_method_of_characteristic_set wikiPageExternalLink wsolve.htm.
- Wu's_method_of_characteristic_set wikiPageExternalLink wuritt.html.
- Wu's_method_of_characteristic_set wikiPageID "13284111".
- Wu's_method_of_characteristic_set wikiPageRevisionID "603062920".
- Wu's_method_of_characteristic_set hasPhotoCollection Wu's_method_of_characteristic_set.
- Wu's_method_of_characteristic_set subject Category:Algebraic_geometry.
- Wu's_method_of_characteristic_set subject Category:Commutative_algebra.
- Wu's_method_of_characteristic_set subject Category:Computer_algebra.
- Wu's_method_of_characteristic_set subject Category:Polynomials.
- Wu's_method_of_characteristic_set type Abstraction100002137.
- Wu's_method_of_characteristic_set type Function113783816.
- Wu's_method_of_characteristic_set type MathematicalRelation113783581.
- Wu's_method_of_characteristic_set type Polynomial105861855.
- Wu's_method_of_characteristic_set type Polynomials.
- Wu's_method_of_characteristic_set type Relation100031921.
- Wu's_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.".
- Wu's_method_of_characteristic_set label "Wu's method of characteristic set".
- Wu's_method_of_characteristic_set label "吴消元法".
- Wu's_method_of_characteristic_set sameAs m.03c0jxp.
- Wu's_method_of_characteristic_set sameAs Q8038857.
- Wu's_method_of_characteristic_set sameAs Q8038857.
- Wu's_method_of_characteristic_set sameAs Wu's_method_of_characteristic_set.
- Wu's_method_of_characteristic_set wasDerivedFrom Wu's_method_of_characteristic_set?oldid=603062920.
- Wu's_method_of_characteristic_set isPrimaryTopicOf Wu's_method_of_characteristic_set.