Licensing the Mizar Mathematical Library.

Jesse Alama Michael Kohlhase Lionel Mamane Adam Naumowicz Piotr Rudnicki Josef Urban

Published in: Calculemus/MKM (2011)

Keyphrases

database
computer assisted
case study
cross platform
data sets
databases
mathematical models
mathematical expressions
artificial intelligence
high level
wireless sensor networks
public libraries