T. V. H. Prathamesh

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

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
Elementary equivalence in Artin groups of finite type.
Int. J. Algebra Comput., 2018

Unknot Recognition Through Quantifier Elimination.
Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018

2016
Knot Theory.
Arch. Formal Proofs, 2016

Tensor Product of Matrices.
Arch. Formal Proofs, 2016

2015
Formalising Knot Theory in Isabelle/HOL.
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015


  Loading...