Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Solomon, Ronald
2001.
A brief history of the classification of the finite simple groups.
Bulletin of the American Mathematical Society,
Vol. 38,
Issue. 3,
p.
315.
Gonthier, Georges
Mahboubi, Assia
Rideau, Laurence
Tassi, Enrico
and
Théry, Laurent
2007.
Theorem Proving in Higher Order Logics.
Vol. 4732,
Issue. ,
p.
86.
Gonthier, Georges
2011.
Interactive Theorem Proving.
Vol. 6898,
Issue. ,
p.
103.
Mahboubi, Assia
and
Cohen, Cyril
2012.
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination.
Logical Methods in Computer Science,
Vol. Volume 8, Issue 1,
Issue. ,
Mahboubi, Assia
2013.
Intelligent Computer Mathematics.
Vol. 7961,
Issue. ,
p.
1.
Gonthier, Georges
Asperti, Andrea
Avigad, Jeremy
Bertot, Yves
Cohen, Cyril
Garillot, François
Le Roux, Stéphane
Mahboubi, Assia
O’Connor, Russell
Ould Biha, Sidi
Pasca, Ioana
Rideau, Laurence
Solovyev, Alexey
Tassi, Enrico
and
Théry, Laurent
2013.
Interactive Theorem Proving.
Vol. 7998,
Issue. ,
p.
163.
Hales, Thomas C.
2014.
Turing's Legacy.
p.
253.
Kornai, András
2014.
Bounding the impact of AGI.
Journal of Experimental & Theoretical Artificial Intelligence,
Vol. 26,
Issue. 3,
p.
417.
Lyons, Richard
and
Guralnick, Robert M.
2014.
The Abel Prize 2008-2012.
p.
55.
Cecotti, Sergio
2023.
Introduction to String Theory.
p.
67.
Gadgil, Siddhartha
and
Tadipatri, Anand Rao
2024.
Formalizing Giles Gardam’s Disproof of Kaplansky’s Unit Conjecture.
p.
177.