Automated reasoning about cubic curves

DOI10.1016/0898-1221(94)00214-6zbMath0828.68110OpenAlexW1980473779MaRDI QIDQ1343392

William W. McCune, R. Padmanabhan

Publication date: 2 February 1995

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0898-1221(94)00214-6

zbMATH Keywords

automated reasoningincidence theorems on projective curves

Mathematics Subject Classification ID

Computational aspects of algebraic curves (14Q05)

Related Items (2)

On the configurations of nine points on a cubic curve ⋮ A Geometric Procedure with Prover9

Uses Software

• OTTER

Cites Work

• Quasi-affine algebras
• Single axioms for groups and abelian groups with various operations
• Logic of Equality in Geometry
• Quasigroups and cubic curves
• Linear algebraic groups.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automated reasoning about cubic curves