T. V. H. Prathamesh

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 7

Top Topics

Quantifier Elimination

First Order Logic

Top Venues

Arch. Formal Proofs

Publications

Aabid Seeyal Abdul Kharim, T. V. H. Prathamesh, Shweta Rajiv, Rishi Vyas
Formalizing Free Groups in Isabelle/HOL: The Nielsen-Schreier Theorem and the Conjugacy Problem. CICM (2023)
Bertram Felgenhauer, Aart Middeldorp, T. V. H. Prathamesh, Franziska Rapp
A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL. CPP (2019)
Arpan Kabiraj, T. V. H. Prathamesh, Rishi Vyas
Elementary equivalence in Artin groups of finite type. Int. J. Algebra Comput. 28 (2) (2018)
Syed Mohammad Meesum, T. V. H. Prathamesh
Unknot Recognition Through Quantifier Elimination. SC-Square@FLOC (2018)
T. V. H. Prathamesh
Tensor Product of Matrices. Arch. Formal Proofs 2016 (2016)
T. V. H. Prathamesh
Knot Theory. Arch. Formal Proofs 2016 (2016)
T. V. H. Prathamesh
Formalising Knot Theory in Isabelle/HOL. ITP (2015)