Mathematical Knowledge Management
by Andrea Asperti, Bruno Buchberger, James Harold Davenport
Mathematics, data processingInformation storage and retrieval systemsAutomatic theorem proving
Writing a summary for young readers…
For young readers
Book data: Open Library