Automatic Concept Formation in Pure Mathematics

Automatic Concept Formation in Pure Mathematics (1999)

by Simon Colton , Alan Bundy , Toby Walsh

Citations:

37 - 28 self

User correction supplied by mph

Datum	Value	Source
TITLE	Automatic Concept Formation in Pure Mathematics	user correction - Legacy Corrections
AUTHOR NAME	Simon Colton	user correction
AUTHOR AFFIL	Edinburgh EH1 1HN, Scotland.	user correction
AUTHOR NAME	Alan Bundy	user correction
AUTHOR AFFIL	Edinburgh EH1 1HN, Scotland.	user correction
AUTHOR NAME	Toby Walsh	user correction
AUTHOR AFFIL	University of Strathclyde	user correction
AUTHOR ADDR	Glasgow G1 1XH, Scotland.	user correction
ABSTRACT	The HR program forms concepts and makes conjectures in domains of pure mathematics and uses theorem prover OTTER and model generator MACE to prove or disprove the conjectures. HR measures properties of concepts and assesses the theorems and proofs involving them to estimate the interestingness of each concept and employ a best first search. This approach has led HR to the discovery of interesting new mathematics and enables it to build theories from just the axioms of finite algebras.	user correction
YEAR	1999	user correction - Legacy Corrections
CITATIONS	17 found	ParsCit 1.0