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

Data availability:

Comments

Comment on this book

Cited by 5

Automated Proof Compression by Invention of New Definitions
Authors: Jiří Vyskočil, David Stanovský, Josef Urban
Methods to Access and Retrieve Mathematical Content in ActiveMath
Authors: Paul Libbrecht, Erica Melis
Experimenting with Deduction Modulo
Authors: Guillaume Burel

See all cited by

Term Indexing

Read this book at

Related collections

Long Covid Research Collection

Comments

Comment on this book

Similar content 2,502

Cited by 5