research
∙
06/05/2020
Leveraging the Information Contained in Theory Presentations
A theorem prover without an extensive library is much less useful to its...
share
research
∙
02/12/2020
The Space of Mathematical Software Systems – A Survey of Paradigmatic Systems
Mathematical software systems are becoming more and more important in pu...
research
∙
04/29/2018
