Sort by: Order: Results:

  • NYAPATHI, HARSHA (2020-04)
    In this project, I have studied the basics of type theory, as a foundation for mathematics and a basis for theorem provers, using which we can formalize mathematical objects and proofs, and check their validity as well. ...
  • 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 ...

Search Repository

Advanced Search


My Account