Rishi Vyas

According to our database¹, Rishi Vyas authored at least 2 papers between 2018 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

Formalizing Free Groups in Isabelle/HOL: The Nielsen-Schreier Theorem and the Conjugacy Problem.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

2018

Elementary equivalence in Artin groups of finite type.

[BibT_eX]

[DOI]

Int. J. Algebra Comput., 2018