Computer proofs in Group Theory

1990 ◽  
Vol 6 (3) ◽  
Author(s):  
Yuan Yu
Keyword(s):  
Author(s):  
Pierre Ramond
Keyword(s):  

2011 ◽  
Author(s):  
Kieran C. Molloy
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document