Extracting theory graphs from Aldor libraries

DOI10.1007/978-3-031-42753-4_24MaRDI QIDQ6118849zbMATH OpenOpenAlexFDO

Authors Florian Rabe, Stephen M. Watt

Publication date 28 February 2024

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-42753-4_24

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Recommendations

• Mathematical knowledge management in Foc
• Leveraging the information contained in theory presentations
• The Coq library as a theory graph
• Domains and expressions: an interface between two approaches to computer algebra
• Logic and dependent types in the Aldor computer algebra system

Cites work

• A scalable module system
• Experiences from exporting major proof assistant libraries
• scientific article; zbMATH DE number 1263389 (Why is no real title available?)
• Theories as types

This page was built for publication: Extracting theory graphs from Aldor libraries

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6118849)