Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 5.


Lisitsa, Alexei and Vernitski, Alexei
(2017) Automated Reasoning for Knot Semigroups and  $$\pi $$ π -orbifold Groups of Knots. .


Khan, Abdullah, Vernitski, Alexei and Lisitsa, Alexei
(2022) Reinforcement learning algorithms for the Untangling of Braids. .


Khan, Abdullah, Lisitsa, Alexei and Vernitski, Alexei
(2022) Training AI to Recognize Realizable Gauss Diagrams: The Same Instances Confound AI and Human Mathematicians. In: 14th International Conference on Agents and Artificial Intelligence, 2022-2-3 - 2022-2-5.


Lisitsa, A, Fish, Andrew and Vernitski, Alexei
(2018) Visual Algebraic proofs for Unknot Detection. In: Diagrams 2018, Edinburgh.


Lisitsa, A, Fish, Andrew and Vernitski, Alexei
(2018) Visual Algebraic proofs for Unknot Detection. In: Diagrams, Edinburgh.

This list was generated on Wed Jan 24 20:35:32 2024 GMT.