Jagadish Bapanapally
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2022–2022
Best venue rank
National
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ISAIM | A Formal Proof of the Banach-Tarski Theorem in ACL2(r). | Jagadish Bapanapally, Ruben Gamboa |
| 2022 | ITP | A Complete, Mechanically-Verified Proof of the Banach-Tarski Theorem in ACL2(R). | Jagadish Bapanapally, Ruben Gamboa |