1 citations · 1 across the 2 of their papers we have counts for
3 papers
math.GT2018
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…
math.GT2017★ 1 cited
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…
math.LO2012
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…