Rishi Vyas

Available identifiers

zbMath Open vyas.rishiMaRDI QIDQ392165

List of research outcomes

Publication	Date of Publication	Type
Formalizing free groups in Isabelle/HOL: the Nielsen-Schreier theorem and the conjugacy problem	2024-02-28	Paper
Weakly stable torsion classes	2019-12-17	Paper
Weak proregularity, weak stability, and the noncommutative MGM equivalence	2018-09-24	Paper
Torsion, torsion length and finitely presented groups	2018-09-04	Paper
Elementary equivalence in Artin groups of finite type	2018-04-12	Paper
A Note on Torsion Length	2015-10-26	Paper
A homological reformulation of the link condition.	2015-06-25	Paper
Ore localization and minimal injective resolutions.	2014-01-13	Paper

Research outcomes over time

This page was built for person: Rishi Vyas