Plane Euclidean reasoning (Q4946079)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1421055
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Plane Euclidean reasoning |
scientific article; zbMATH DE number 1421055 |
Statements
16 August 2001
0 references
perpendicularity
0 references
orientation
0 references
maps
0 references
similitudes
0 references
0 references
Plane Euclidean reasoning (English)
0 references
It is better to quote from the author's abstract: An automatic reasoning system for plane Euclidean geometry should handle the wide variety of geometric concepts: points, vectors, angles, circles, parallelism, area, orientation, inside and outside, sine,\dots. It should be able to construct and transform geometric objects, to compute geometric quantities and to prove geometric theorems. In this paper a type of ring generated by points and numbers is presented which may provide a formal basis for reasoning systems that meet these requirements. The claim is that this simple algebraic structure embodies all the concepts and properties that are investigated in the many different theories of the Euclidean plane. For the entire collection see [Zbl 0929.00067].
0 references
