- Record: found
- Abstract: not found
- Book Chapter: not found
Automated Reasoning
Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics
other
Read this book at
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 references19
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Random projection in dimensionality reduction
Ella Bingham, Heikki Mannila (2001)
- Record: found
- Abstract: not found
- Article: not found
A Revision of the Proof of the Kepler Conjecture
Thomas Hales, John Harrison, Sean McLaughlin … (2010)
- Record: found
- Abstract: not found
- Book Chapter: not found
Sine Qua Non for Large Theory Reasoning
Krystof Hoder, Andrei Voronkov (2011)