The area method in the Wolfram language

DOI10.4204/EPTCS.352.7MaRDI QIDQ6653960

Jack Heimrath

Publication date: 17 December 2024

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The area method. A recapitulation
• Automated reasoning. Third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17--20, 2006. Proceedings
• Machine Proofs in Geometry
• Theorem Proving in Higher Order Logics

This page was built for publication: The area method in the Wolfram language

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