Login / Signup
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar.
Grzegorz Bancerek
Czeslaw Bylinski
Adam Grabowski
Artur Kornilowicz
Roman Matuszewski
Adam Naumowicz
Karol Pak
Published in:
J. Autom. Reason. (2018)
Keyphrases
</>
computer assisted
mathematical proofs
software engineering
case study
theorem prover
learning algorithm
mathematical knowledge
theorem proving
information systems
databases
rapid development
design principles
user interaction
future development
support systems
product configuration
mathematical expressions