There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 7

Record: found
Abstract: not found
Book Chapter: not found

Large Formal Wikis: Issues and Solutions

Jesse Alama, Kasper Brink, Lionel Mamane … (2011)

0 comments Cited 5 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Licensing the Mizar Mathematical Library

Jesse Alama, Michael Kohlhase, Lionel Mamane … (2011)

0 comments Cited 3 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar

Jesse Alama, Lionel Mamane, Josef Urban (2012)

0 comments Cited 3 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2015

Publication date (Online): June 23 2015

Pages: 261-279

DOI: 10.1007/978-3-319-20615-8_17

SO-VID: 9764495c-6af9-4708-8078-9c0c9f8ab354

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 11

See all cited by

Mizar: State-of-the-art and Beyond

Read this book at

Related collections

Cascading Disasters

Most cited references 7

Large Formal Wikis: Issues and Solutions

Licensing the Mizar Mathematical Library

Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,667

Cited by 11