On the Computation of the Algebraic Closure of Finitely Generated Groups of Matrices. - Klara Nosan; Amaury Pouly; Mahsa Shirmohammadi; James Worrell 001 (CoRR, 2021)

The Membership Problem for Hypergeometric Sequences with Rational Parameters. - Klara Nosan; Amaury Pouly; Mahsa Shirmohammadi; James Worrell 001 (ISSAC, 2022)

On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices. - Klara Nosan; Amaury Pouly; Sylvain Schmitz; Mahsa Shirmohammadi; James Worrell 001 (ISSAC, 2022)

Identity Testing for Radical Expressions. - Nikhil Balaji; Klara Nosan; Mahsa Shirmohammadi; James Worrell 001 (LICS, 2022)

The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. - George Kenison; Klara Nosan; Mahsa Shirmohammadi; James Worrell 001 (ISSAC, 2023)

Multiplicity Problems on Algebraic Series and Context-Free Grammars. - Nikhil Balaji; Lorenzo Clemente; Klara Nosan; Mahsa Shirmohammadi; James Worrell 001 (LICS, 2023)

A parametric version of the Hilbert Nullstellensatz. - Rida Ait El Manssour; Nikhil Balaji; Klara Nosan; Mahsa Shirmohammadi; James Worrell 001 (SOSA, 2025)