A Geometric Procedure with Prover9

DOI10.1007/978-3-642-36675-8_7MaRDI QIDQ4913864zbMATH OpenOpenAlexFDO

Authors R. Padmanabhan, Robert Veroff

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)

Recommendations

• scientific article; zbMATH DE number 1745036
• Geometric theorem proving by integrated logical and algebraic reasoning
• On geometric theorem proving with null geometric algebra
• Proof and computation in geometry
• A generalized Euclidean algorithm for geometry theorem proving
• scientific article; zbMATH DE number 4110159
• Proving geometry theorems with rewrite rules

Cites work

• A Geometric Procedure with Prover9
• Automated reasoning about cubic curves
• scientific article; zbMATH DE number 53994 (Why is no real title available?)
• scientific article; zbMATH DE number 108344 (Why is no real title available?)
• scientific article; zbMATH DE number 3353452 (Why is no real title available?)
• Logic of Equality in Geometry
• Solving open questions and other challenge problems using proof sketches
• Uniqueness of Steiner laws on cubic curves

Cited in

(3)

• Automated reasoning about cubic curves
• Automated deduction in equational logic and cubic curves
• A Geometric Procedure with Prover9

Describes a project that uses

Uses Software

• OTTER
• Prover9

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

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