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/23/2019
Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal
Over the last decades, a class of important mathematical results have re...
research
∙
04/04/2019
Towards Specifying Symbolic Computation
Many interesting and useful symbolic computation algorithms manipulate m...
research
∙
06/03/2018
A New Style of Mathematical Proof
Mathematical proofs will play a crucial role in building a universal dig...
research
∙
04/29/2018
Biform Theories: Project Description
A biform theory is a combination of an axiomatic theory and an algorithm...
research
∙
02/01/2018
HOL Light QE
We are interested in algorithms that manipulate mathematical expressions...
research
∙
06/09/2011