A New Export of the Mizar Mathematical Library.

Colin Rothgang Artur Kornilowicz Florian Rabe

Published in: CICM (2021)

Keyphrases

computer assisted
public libraries
three dimensional
database systems
cooperative
image analysis
data model
open source
mathematical expressions