A Geometric Procedure with Prover9

DOI10.1007/978-3-642-36675-8_7zbMath1383.68080OpenAlexW2212590794MaRDI QIDQ4913864

Robert Veroff, R. Padmanabhan

Publication date: 16 April 2013

Published in: Automated Reasoning and Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36675-8_7

Mathematics Subject Classification ID

Elliptic curves (14H52) Computational aspects of algebraic curves (14Q05)

Related Items (1)

A Geometric Procedure with Prover9

Uses Software

• Prover9
• Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Uniqueness of Steiner laws on cubic curves
• Automated reasoning about cubic curves
• Logic of Equality in Geometry
• A Geometric Procedure with Prover9
• Solving open questions and other challenge problems using proof sketches

This page was built for publication: A Geometric Procedure with Prover9