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. , 
                                                
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    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.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Mahboubi, Assia
                                                  2013.
                                                  Intelligent Computer Mathematics.
                                                  
                                                  
                                                  
                                                  Vol. 7961, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    1.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    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.