Self-evident automated geometric theorem proving based on complex number identity (Q6149590)
From MaRDI portal
scientific article; zbMATH DE number 7800191
Language | Label | Description | Also known as |
---|---|---|---|
English | Self-evident automated geometric theorem proving based on complex number identity |
scientific article; zbMATH DE number 7800191 |
Statements
Self-evident automated geometric theorem proving based on complex number identity (English)
0 references
6 February 2024
0 references
complex number identity
0 references
self-evident automated proving
0 references
complex number geometry
0 references
geometric theorems
0 references
elimination method
0 references
0 references
0 references
0 references
0 references