Wu's method and its application to perspective viewing (Q1115642): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/0004-3702(88)90048-3 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2013727939 / rank | |||
Normal rank | |||
Revision as of 20:20, 19 March 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
