research
∙
06/08/2023
Effective homology and periods of complex projective hypersurfaces
We provide an algorithm to compute an effective description of the homol...
share
research
∙
02/16/2023
A Direttissimo Algorithm for Equidimensional Decomposition
We describe a recursive algorithm that decomposes an algebraic set into ...
research
∙
10/25/2022
Axioms for a theory of signature bases
Twenty years after the discovery of the F5 algorithm, Gröbner bases with...
research
∙
02/28/2022
A Signature-based Algorithm for Computing the Nondegenerate Locus of a Polynomial System
Polynomial system solving arises in many application areas to model non-...
research
∙
10/21/2020
Rigid continuation paths II. Structured polynomial systems
We design a probabilistic algorithm that, given ϵ>0 and a polynomial sys...
research
∙
04/26/2019
Computing the volume of compact semi-algebraic sets
Let S⊂ R^n be a compact basic semi-algebraic set defined as the real sol...
research
∙
05/09/2018
Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions
Hermite reduction is a classical algorithmic tool in symbolic integratio...
research
∙
11/09/2017
Rigid continuation paths I. Quasilinear average complexity for solving polynomial systems
How many operations do we need on the average to compute an approximate ...
research
∙
06/22/2017
Computing the homology of basic semialgebraic sets in weak exponential time
We describe and analyze an algorithm for computing the homology (Betti n...
research
∙
01/31/2016
On p-adic differential equations with separation of variables
Several algorithms in computer algebra involve the computation of a powe...
research
∙
10/26/2015
Multiple binomial sums
Multiple binomial sums form a large class of multi-indexed sequences, cl...
research
∙
08/28/2015