Using meta-theoretic reasoning to do algebra | springerprofessional.de

Springer Professional

nach oben

Erschienen in:

1980 | ReviewPaper | Buchkapitel

Using meta-theoretic reasoning to do algebra

verfasst von : Luigia Aiello, Richard W. Weyhrauch

Erschienen in: 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980

Verlag: Springer Berlin Heidelberg

Enthalten in: Professional Book Archive

Zugang erhalten

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

We report on an experiment in interactive reasoning with FOL. The subject of the reasoning is elementary algebra. The main point of the paper is to show how the use of meta-theoretic knowledge results in improving the quality of the resulting proofs in that, in this environment, they are both easier to find and easier to understand.

Nächstes Kapitel Generating contours of integration: An application of PROLOG in symbolic computing

Titel: Using meta-theoretic reasoning to do algebra
verfasst von: Luigia Aiello
Richard W. Weyhrauch
Verlag: Springer Berlin Heidelberg
Buch: 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980
Print ISBN: 978-3-540-10009-6

Electronic ISBN: 978-3-540-38140-2

Copyright-Jahr: 1980
DOI: https://doi.org/10.1007/3-540-10009-1_1

Springer Professional

Premium Partner