Author

Sort by: Order: Results:

  • Proved Algorithms in Geometric Group Theory 
    TADIPATRI, ANAND RAO (2023-05)
    In the recent decades, computers have opened up novel ways of doing mathematics. The speed and raw power of computers has been used to perform searches over previously untractable spaces of objects and proofs, and ...
  • Formalizing Giles Gardam’s Disproof of Kaplansky’s Unit Conjecture 
    Gadgil, Siddhartha; TADIPATRI, ANAND RAO (Association for Computing Machinery, 2024-01)
    We describe a formalization in Lean 4 of Giles Gardam's disproof of Kaplansky's Unit Conjecture. This makes use of a combination of deductive proving and formally verified computation, using the nature of Lean 4 as a ...