About: Wu's method of characteristic set

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Wu's method of characteristic set Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatPolynomials, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FWu%27s_method_of_characteristic_set

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.

Attributes	Values
rdf:type	software yago:Abstraction100002137 yago:Function113783816 yago:MathematicalRelation113783581 yago:Polynomial105861855 yago:Relation100031921 yago:WikicatPolynomials
rdfs:label	Wu's method of characteristic set (en) 吴消元法 (zh)
rdfs:comment	吴消元法，又称吴特征列方法，是吴文俊院士创立的将多元多项式方程组简化然后求解的机械化算法。吴消元法可用，是的基础。 (zh) 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. (en)
dcterms:subject	Commutative algebra Polynomials Algebraic geometry Computer algebra
Wikipage page ID	13284111 (xsd:integer)
Wikipage revision ID	1011821194 (xsd:integer)
Link from a Wikipage to another Wikipage	Joseph Ritt Systems of linear equations Systems of polynomial equations Logical conjunction Computer vision Ideal (ring theory) Automated theorem proving Bruno Buchberger Total order Regular chain Ring (mathematics) Gröbner basis Commutative algebra Polynomials Algebraic geometry Computer algebra System of polynomial equations Differential algebra Polynomial Wu Wenjun Well partial order Robot kinematics Automatic theorem proving Elementary geometry Polynomial equation Complex domain dbr:Mathematics-Mechanization_Platform
Link from a Wikipage to an external page	https://books.google.com/books%3Fhl=en&lr=&id=t2NhDQAAQBAJ&oi=fnd&pg=PA195&dq=%22Basic+principles+of+mechanical+theorem+proving+in+elementary+geometries%22&ots=NeF064QVWS&sig=cawvjpjJbb27yP6TEYXSxTUijBs%23v=onepage&q=%22Basic%20principles%20of%20mechanical%20theorem%20proving%20in%20elementary%20geometries%22&f=false http://library.wolfram.com/infocenter/MathSource/5716/ http://www.mmrc.iss.ac.cn/~dwang/wsolve.htm http://www.mmrc.iss.ac.cn/~lzhi/Research/wuritt.html https://archive.org/details/introductiontoma00heck_374%7Curl-access=limited%7Cyear=2003%7Cpublisher=Springer%7Clocation=New https://archive.org/details/introductiontoma00heck_374/page/n120 https://www.sciencedirect.com/science/article/pii/S0747717199902705/pdf%3Fmd5=03139e222077ba0a746a9062ea0860d5&pid=1-s2.0-S0747717199902705-main.pdf&_valck=1
sameAs	Wu's method of characteristic set Wu's method of characteristic set Wu's method of characteristic set Wu's method of characteristic set Wu's method of characteristic set
dbp:wikiPageUsesTemplate	dbt:Angbr dbt:Cite_book dbt:Cite_journal dbt:Cite_web dbt:More_footnotes dbt:Short_description dbt:Isbn
has 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. (en) 吴消元法，又称吴特征列方法，是吴文俊院士创立的将多元多项式方程组简化然后求解的机械化算法。吴消元法可用，是的基础。 (zh)
gold:hypernym	Algorithm
prov:wasDerivedFrom	wikipedia-en:Wu's_method_of_characteristic_set?oldid=1011821194&ns=0
page length (characters) of wiki page	12011 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Wu's_method_of_characteristic_set
is Link from a Wikipage to another Wikipage of	Joseph Ritt Triangular decomposition List of Chinese discoveries Regular chain System of polynomial equations Wu Wenjun Characteristic set Zhu Shijie Wu method Wu's method
is Wikipage redirect of	Wu method Wu's method
is foaf:primaryTopic of	wikipedia-en:Wu's_method_of_characteristic_set

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 54 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software