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 the normal view instead:
scientific article; zbMATH DE number 718809
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7926682233810425
0 references
0.7916781902313232
0 references
0.7827537059783936
0 references
0.7553350925445557
0 references
0.7518458366394043
0 references
