T. V. H. Prathamesh

According to our database, T. V. H. Prathamesh authored at least 7 papers between 2015 and 2023.

Collaborative distances:

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

2023

Formalizing Free Groups in Isabelle/HOL: The Nielsen-Schreier Theorem and the Conjugacy Problem.

Aabid Seeyal Abdul Kharim, T. V. H. Prathamesh, Shweta Rajiv, Rishi Vyas

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.

Bertram Felgenhauer, Aart Middeldorp, T. V. H. Prathamesh, Franziska Rapp

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2018

Elementary equivalence in Artin groups of finite type.

Arpan Kabiraj, T. V. H. Prathamesh, Rishi Vyas

Int. J. Algebra Comput., 2018

Unknot Recognition Through Quantifier Elimination.

Syed Mohammad Meesum, T. V. H. Prathamesh

Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018

2016

Knot Theory.

T. V. H. Prathamesh

Arch. Formal Proofs, 2016

Tensor Product of Matrices.

T. V. H. Prathamesh

Arch. Formal Proofs, 2016

2015

Formalising Knot Theory in Isabelle/HOL.

T. V. H. Prathamesh

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015