1 citations · 2 across the 4 of their papers we have counts for
4 papers
Unknot Recognition Through Quantifier Elimination
Syed Mohammed Meesum, T. V. H Prathamesh
Unknot recognition is one of the fundamental questions in low dimensional topology. In this work, we show that this problem can be encoded as a validity problem in the existential…
On Rack Invariants Of Legendrian Knots
Dheeraj Kulkarni, T. V. H. Prathamesh
In this article, we introduce rack invariants of oriented Legendrian knots in the 3-dimensional Euclidean space endowed with the standard contact structure, which we call Legendria…
Elementary equivalence in Artin groups of finite type
Arpan Kabiraj, T. V. H. Prathamesh, Rishi Vyas
Irreducible Artin groups of finite type can be parametrized via their associated Coxeter diagrams into six sporadic examples and four infinite families, each of which is further pa…
Knots, Braids and First Order Logic
Siddhartha Gadgil, T. V. H. Prathamesh
Determining when two knots are equivalent (more precisely isotopic) is a fundamental problem in topology. Here we formulate this problem in terms of Predicate Calculus, using the f…