Transcendental functions and mechanical theorem proving in elementary geometries (Q805606): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
| (3 intermediate revisions by 2 users not shown) | |||
| Property / author | |||
| Property / author: Xiao-Shan Gao / rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Josef Šajda / rank | |||
| Property / author | |||
| Property / author: Xiao-Shan Gao / rank | |||
Normal rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Josef Šajda / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/bf00244356 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2080260105 / rank | |||
Normal rank | |||
Latest revision as of 12:02, 30 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Transcendental functions and mechanical theorem proving in elementary geometries |
scientific article |
Statements
Transcendental functions and mechanical theorem proving in elementary geometries (English)
0 references
1990
0 references
A new approach to prove theorems of Euclidean geometry is presented and then extended to other, non-Euclidean geometries. The approach is based on Wu's method of transforming problems with trigonometric and hyperbolic functions to algebraic polynomial equations. The transformation expressions are presented and their use is illustrated by many appropriate examples. Based on this approach, some non-trivial meta- theorems are established for four non-Euclidean geometries.
0 references
Euclidean geometry
0 references
non-Euclidean geometries
0 references
Wu's method
0 references
