Jagadish Bapanapally

According to our database, Jagadish Bapanapally authored at least 3 papers in 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A Free Group of Rotations of Rank 2.

Jagadish Bapanapally, Ruben Gamboa

Proceedings of the Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, 2022

A Complete, Mechanically-Verified Proof of the Banach-Tarski Theorem in ACL2(R).

Jagadish Bapanapally, Ruben Gamboa

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

A Formal Proof of the Banach-Tarski Theorem in ACL2(r).

Jagadish Bapanapally, Ruben Gamboa

Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), 2022