Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q8038857> ?p ?o }
Showing triples 1 to 34 of
34
with 100 triples per page.
- Q8038857 subject Q6425293.
- Q8038857 subject Q7138882.
- Q8038857 subject Q8234760.
- Q8038857 subject Q8399470.
- Q8038857 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".
- Q8038857 wikiPageExternalLink 5716.
- Q8038857 wikiPageExternalLink wsolve.htm.
- Q8038857 wikiPageExternalLink wuritt.html.
- Q8038857 wikiPageWikiLink Q11203.
- Q8038857 wikiPageWikiLink Q11567.
- Q8038857 wikiPageWikiLink Q1551631.
- Q8038857 wikiPageWikiLink Q161172.
- Q8038857 wikiPageWikiLink Q1707899.
- Q8038857 wikiPageWikiLink Q191081.
- Q8038857 wikiPageWikiLink Q2894153.
- Q8038857 wikiPageWikiLink Q369377.
- Q8038857 wikiPageWikiLink Q431667.
- Q8038857 wikiPageWikiLink Q43260.
- Q8038857 wikiPageWikiLink Q44649.
- Q8038857 wikiPageWikiLink Q50698.
- Q8038857 wikiPageWikiLink Q6425293.
- Q8038857 wikiPageWikiLink Q6786887.
- Q8038857 wikiPageWikiLink Q7138882.
- Q8038857 wikiPageWikiLink Q7309574.
- Q8038857 wikiPageWikiLink Q7309593.
- Q8038857 wikiPageWikiLink Q7663735.
- Q8038857 wikiPageWikiLink Q7756337.
- Q8038857 wikiPageWikiLink Q78978.
- Q8038857 wikiPageWikiLink Q8087.
- Q8038857 wikiPageWikiLink Q8234760.
- Q8038857 wikiPageWikiLink Q8399470.
- Q8038857 wikiPageWikiLink Q926125.
- Q8038857 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.".
- Q8038857 label "Wu's method of characteristic set".