GRAMY: A Geometry Theorem Prover Capable of Construction
Year: 2004
Type: article
Source: Journal of Automated Reasoning
Authors: Noboru Matsuda, Kurt VanLehn
Institution: University of Pittsburgh
Language: English
Topic: Mathematics and Applications
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2073911647