A Fully Automatic Theorem Prover with Human-Style Output

This paper describes a program that solves elementary mathematical problems, mostly in metric space theory, and presents solutions that are hard to distinguish from solutions that might be written by human mathematicians.

Detalles Bibliográficos
Autores principales: Ganesalingam, M., Gowers, W. T.
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer Netherlands 2016
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6109770/
https://www.ncbi.nlm.nih.gov/pubmed/30174363
http://dx.doi.org/10.1007/s10817-016-9377-1
_version_ 1783350375730905088
author Ganesalingam, M.
Gowers, W. T.
author_facet Ganesalingam, M.
Gowers, W. T.
author_sort Ganesalingam, M.
collection PubMed
description This paper describes a program that solves elementary mathematical problems, mostly in metric space theory, and presents solutions that are hard to distinguish from solutions that might be written by human mathematicians.
format Online
Article
Text
id pubmed-6109770
institution National Center for Biotechnology Information
language English
publishDate 2016
publisher Springer Netherlands
record_format MEDLINE/PubMed
spelling pubmed-61097702018-08-31 A Fully Automatic Theorem Prover with Human-Style Output Ganesalingam, M. Gowers, W. T. J Autom Reason Article This paper describes a program that solves elementary mathematical problems, mostly in metric space theory, and presents solutions that are hard to distinguish from solutions that might be written by human mathematicians. Springer Netherlands 2016-06-11 2017 /pmc/articles/PMC6109770/ /pubmed/30174363 http://dx.doi.org/10.1007/s10817-016-9377-1 Text en © The Author(s) 2016 Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
spellingShingle Article
Ganesalingam, M.
Gowers, W. T.
A Fully Automatic Theorem Prover with Human-Style Output
title A Fully Automatic Theorem Prover with Human-Style Output
title_full A Fully Automatic Theorem Prover with Human-Style Output
title_fullStr A Fully Automatic Theorem Prover with Human-Style Output
title_full_unstemmed A Fully Automatic Theorem Prover with Human-Style Output
title_short A Fully Automatic Theorem Prover with Human-Style Output
title_sort fully automatic theorem prover with human-style output
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6109770/
https://www.ncbi.nlm.nih.gov/pubmed/30174363
http://dx.doi.org/10.1007/s10817-016-9377-1
work_keys_str_mv AT ganesalingamm afullyautomatictheoremproverwithhumanstyleoutput
AT gowerswt afullyautomatictheoremproverwithhumanstyleoutput
AT ganesalingamm fullyautomatictheoremproverwithhumanstyleoutput
AT gowerswt fullyautomatictheoremproverwithhumanstyleoutput

Ejemplares similares