A fully automatic problem solver with human-style output

Mohan Ganesalingam, W. T. Gowers

Type: Preprint

Publication Date: 2013-01-01

Citations: 17

DOI: https://doi.org/10.48550/arxiv.1309.4501

View Publication

Locations

arXiv (Cornell University) - View
DataCite API - View

Similar Works

Action	Title	Year	Authors
+	Automatic problem formulation using the metric properties of space	1971	James C. Howard
+ PDF Chat	Mathematica: a problem-centered approach	2011
+	Problem-solving in Non-Euclidean Geometry	2003	Jennifer Asmuth
+	CAMPUS: a generic framework for Computer Assisted Mathematical Problem Understanding and Solving	2005	Gilbert Busana Romain Martin
+	Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving	1998	Wen-tsün Wu
+ PDF Chat	Towards a Geometry Automated Provers Competition	2020	Nuno Baeta Pedro Quaresma Zoltán Kovács
+	Geometry : with applications and problem solving	1984	R Clemens Stanley Phares G. O'Daffer Thomas J. Cooney
+	Exploration with Mathematica	1990	Dana Scott
+	Challenging Theorem Provers with Mathematical Olympiad Problems in Solid Geometry	2016	Changpeng Shao Hongbo Li Lei Huang
+ PDF Chat	GOLD: Geometry Problem Solver with Natural Language Description	2024	Jiaxin Zhang Yashar Moshfeghi
+	Challenge: A Program for the Mathematically Talented	1985	Vincent H. Haag
+	Solving the space problem.	1985	Soo Tc
+	Notes on a Path to AI Assistance in Mathematical Reasoning	2023	Alex Kontorovich
+	Mathematical and Geometrical Tasks	2011	Esther Levenson Dina Tirosh Pessia Tsamir
+	Some Methods of Problem Solving in Elementary Geometry	2007	Thomas Hales
+	A review and prospect of readable machine proofs for geometry theorems	2012	Jian‐Guo Jiang Jingzhong Zhang
+	Solving the “Zebra Problem”	2007	Marc van Dongen
+	Mathematical Morsels: A Monthly Voyage of Problem Solving Goodness	2012	Chris A. Bolognese John Osinski
+	Geometry With Application And Problem Solving	1984	Stanlley R. Clemens Phares G. Oddafer Thomas J. Cooney
+	Real-life math problem solving	1999	Mark Illingworth

Works That Cite This (14)

Action	Title	Year	Authors
+ PDF Chat	Methodological Frames: Paul Bernays, Mathematical Structuralism, and Proof Theory	2020	Wilfried Sieg
+	Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry	2015	Sana Stojanović Julien Narboux Predrag Janičić
+ PDF Chat	A Vernacular for Coherent Logic	2014	Sana Stojanović Julien Narboux Marc Bezem Predrag Janičić
+ PDF Chat	Automated Generation of Illustrations for Synthetic Geometry Proofs	2021	Predrag Janičić Julien Narboux
+ PDF Chat	AUTO2, A Saturation-Based Heuristic Prover for Higher-Order Logic	2016	Bohua Zhan
+	Enhancing unsatisfiable cores for LTL with information on temporal relevance	2016	Viktor Schuppan
+	Towards the structure of mathematical proof	2014	Reinhard Kähle
+	Automatic Construction and Natural-Language Description of Nonparametric Regression Models	2014	James Robert Lloyd David Duvenaud Roger Grosse Joshua B. Tenenbaum Zoubin Ghahramani
+	A Vernacular for Coherent Logic	2014	Sana Stojanović Julien Narboux Marc Bezem Predrag Janičić
+	What is a Proof?	2014	Reinhard Kähle

Works Cited by This (5)

Action	Title	Year	Authors
+	Proof Planning: A Practical Approach to Mechanized Reasoning in Mathematics	1998	Manfred Kerber
+	Building Natural-Language Generation Systems	1996	Ehud Reiter Robert Dale
+	What do students learn while solving mathematics problems?	1985	Elizabeth Owen John Sweller
+ PDF Chat	Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques	1977	W. W. Bledsoe A. Michael Ballantyne
+	Mathematics and Plausible Reasoning, Volume 1: Induction and Analogy in Mathematics	1954	George Pólya