research
∙
04/27/2023
Multiplicity Problems on Algebraic Series and Context-Free Grammars
In this paper we obtain complexity bounds for computational problems on ...
share
research
∙
03/23/2022
Terms of Lucas sequences having a large smooth divisor
We show that the Kn–smooth part of a^n-1 for an integer a>1 is a^o(n) fo...
research
∙
02/16/2022
Identity Testing for Radical Expressions
We study the Radical Identity Testing problem (RIT): Given an algebraic ...
research
∙
07/26/2020
Cyclotomic Identity Testing and Applications
We consider the cyclotomic identity testing (CIT) problem: given a polyn...
research
∙
07/13/2018
On the Complexity of Value Iteration
Value iteration is a fundamental algorithm for solving Markov Decision P...
research
∙
07/13/2018