output
20122026
most citedComplex hyperbolic geometry of the figure eight knot

38 citations

Showing cs.SCShow all

7 papers · 1 filter

cs.SC2026

Solving parametric polynomial systems using Generic Rational Univariate Representation

Florent Corniquel

In this paper, we present a generic parametrization of generically zero-dimensional parametric polynomial systems. More specifically, we study the specialization properties of the…

cs.SC2025

Certificates for nonnegativity of multivariate integer polynomials under perturbations

Matías R Bender, Khazhgali Kozhasov, Elias Tsigaridas +1

We develop a general and unconditional framework for certifying the global nonnegativity of multivariate integer polynomials; based on rewriting them as sum of squares modulo their…

cs.SC2025

Computing Euler products and coefficients of classical modular forms for twisted L-functions

Pascal Molin

We describe a complete algorithm to compute millions of coefficients of classical modular forms in a few seconds. We also review operations on Euler products and illustrate our met…

cs.SC2023

-norm computation for linear time-invariant systems depending on parameters

Alban Quadrat, Fabrice Rouillier, Grace Younes

This paper focuses on representing the -norm of finite-dimensional linear time-invariant systems with parameter-dependent coefficients. Previous studies tackled the pro…

cs.SC2023

On Isolating Roots in a Multiple Field Extension

Christina Katsamaki, Fabrice Rouillier

We address univariate root isolation when the polynomial's coefficients are in a multiple field extension. We consider a polynomial , where is a multiple algebraic…

cs.SC2021

PTOPO: Computing the Geometry and the Topology of Parametric Curves

Christina Katsamaki, Fabrice Rouillier, Elias Tsigaridas

We consider the problem of computing the topology and describing the geometry of a parametric curve in . We present an algorithm, PTOPO, that constructs an abstract g…