Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Cover of the book

1980 | ReviewPaper | Chapter

Using meta-theoretic reasoning to do algebra

Authors : Luigia Aiello, Richard W. Weyhrauch

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

Publisher: Springer Berlin Heidelberg

Included in: Professional Book Archive

Get Access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

next chapter Generating contours of integration: An application of PROLOG in symbolic computing
Metadata
Title
Using meta-theoretic reasoning to do algebra
Authors
Luigia Aiello
Richard W. Weyhrauch
Copyright Year
1980
Publisher
Springer Berlin Heidelberg
Book
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 Year: 1980

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

Premium Partner

    Image Credits