T. V. H. Prathamesh
According to our database1,
T. V. H. Prathamesh
authored at least 7 papers
between 2015 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Formalizing Free Groups in Isabelle/HOL: The Nielsen-Schreier Theorem and the Conjugacy Problem.
Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023
2019
A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL.
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019
2018
Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018
2016
2015
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015