Uniqueness of Steiner laws on cubic curves

zbMath1112.14067MaRDI QIDQ860106

R. Padmanabhan, William W. McCune

Publication date: 22 January 2007

Published in: Beiträge zur Algebra und Geometrie (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/230027

zbMATH Keywords

automated reasoninginference rulesuniqueness theoremsgeometric constructionsOtter

Mathematics Subject Classification ID

Related Items (1)

A Geometric Procedure with Prover9

Uses Software

• OTTER
• Mace4

This page was built for publication: Uniqueness of Steiner laws on cubic curves