Uniqueness of Steiner laws on cubic curves

zbMATH Open1112.14067MaRDI QIDQ860106FDOQ860106

William McCune, R. Padmanabhan

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

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• Uniqueness Theorems for Parametrized Algebraic Curves
• On the uniqueness of algebraic curves
• On the exceptional points of cubic curves
• On finite Steiner surfaces
• A Sylvester-Gallai theorem for cubic curves
• On a theorem of Jacob Steiner

zbMATH Keywords

uniqueness theoremsautomated reasoninginference rulesgeometric constructionsOtter

Mathematics Subject Classification ID

Projective techniques in algebraic geometry (14N05) Computational aspects of algebraic curves (14Q05) Elliptic curves (14H52) (n)-ary systems ((nge 3)) (20N15) Geometric constructions in real or complex geometry (51M15)

Cited In (1)

• A Geometric Procedure with Prover9

Uses Software

• OTTER
• Mace4

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q860106)