ON THE DECISION PROBLEM AND THE MECHANIZATION OF THEOREM-PROVING IN ELEMENTARY GEOMETRY

By W. Wu. 2008

207 citations recorded by the source corpus.

Subfields: Biomedical Engineering

View Paper: https://www.semanticscholar.org/paper/360ffc6237b48764e3be6fb349ca841f8b68d018

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Biomedical Engineering

1. Jrgen Richter-Gebert
2. Thang Luong
3. Yuqun Chen
4. Yuhuai Wu
5. He He
6. Quoc V. Le
7. Leonid A. Bokut
8. Trieu H. Trinh

Citations in the corpus

• Solving olympiad geometry without human demonstrations (2024, methodology): “The former is largely considered solved since the introduction of Wu’s method 21 , which can theoretically decide the truth value of any geometrical statement of equality type, building on specialized algebraic tools introduced in earlier works 54,55 .”
• Perspectives on Projective Geometry: A Guided Tour Through Real and Complex Geometry (2011, methodology): “(129) =⇒ [128][179] = +[127][189] (136) =⇒ [146][130] = −[134][160] (148) =⇒ [124][168] = −[128][146] (235) =⇒ [234][250] = −[245][230] (247) =⇒ [127][245] = −[124][257] (304) =⇒ [134][230] = +[130][234] (056) =⇒ [160][570] = +[150][670] (759) =⇒ [157][789] = −[179][578] (869) =⇒ [189][678] = −[168]”
• Gröbner–Shirshov bases and their calculation (2013, background): “For (commutative) differential polynomials an analogous, or better to say, closely related ‘basis’ is called a Ritt–Kolchin characteristic set, due to Ritt [193] 1950 and Kolchin [140] 1973, and rediscovered by Wu [219] 1978.”