Automated reasoning about cubic curves (Q1343392)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Automated reasoning about cubic curves |
scientific article; zbMATH DE number 718809
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated reasoning about cubic curves |
scientific article; zbMATH DE number 718809 |
Statements
Automated reasoning about cubic curves (English)
0 references
2 February 1995
0 references
This papers provides automated reasoning about incidence theorems on projective curves without referring for geometry or topology of the curves. For this purpose, a first-order property is extracted from the geometry of curves, and implemented in the computer program OTTER for proving theorems stated in first-order logic with equality. The computer program is available by electronic mail to otter\(\@\)mcs.anl.gov.
0 references
automated reasoning
0 references
incidence theorems on projective curves
0 references
