Wu's method and its application to perspective viewing (Q1115642): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q197074 |
||
Property / reviewed by | |||
Property / reviewed by: Geert Molenberghs / rank | |||
Revision as of 18:27, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Wu's method and its application to perspective viewing |
scientific article |
Statements
Wu's method and its application to perspective viewing (English)
0 references
1988
0 references
Wu developed a method to prove automatically geometric theorems. Hundreds of, - at times non trivial, - theorems in plane geometry have been proven, by using certain implementations of the method. It rests upon an algebraic approach, namely the translation of both hypotheses and conjectures into polynomial equations. The authors describe the method and give as applications proving properties of perspective viewing, relevant to image understanding, and handling nonlinear inequalities.
0 references
automatic theorem proving
0 references
plane geometry
0 references
polynomial equations
0 references
perspective viewing
0 references