Search Results - "Éric Schost"
-
1
An m-adic algorithm for bivariate Gröbner bases
Published in Journal of symbolic computation (01-05-2025)“…Let A be a domain, with m⊆A a maximal ideal, and let F⊆A[x,y] be any finite generating set of an ideal with finitely many roots (in an algebraic closure of the…”
Get full text
Journal Article -
2
Newton iteration for lexicographic Gröbner bases in two variables
Published in Journal of algebra (01-09-2024)“…We present an m-adic Newton iteration with quadratic convergence for lexicographic Gröbner basis of zero dimensional ideals in two variables. We rely on a…”
Get full text
Journal Article -
3
Bit complexity for computing one point in each connected component of a smooth real algebraic set
Published in Journal of symbolic computation (01-05-2023)“…We analyze the bit complexity of an algorithm for the computation of at least one point in each connected component of a smooth real algebraic set. This work…”
Get full text
Journal Article -
4
On the evaluation of some sparse polynomials
Published in Mathematics of computation (01-03-2018)“…for various choices of coefficients p_i. First, we take p_i=p^i, for some fixed p; in this case, we address the question of fast evaluation at a given point in…”
Get full text
Journal Article -
5
Drinfeld modules with complex multiplication, Hasse invariants and factoring polynomials over finite fields
Published in Journal of symbolic computation (01-07-2021)“…We present a novel randomized algorithm to factor polynomials over a finite field Fq of odd characteristic using rank 2 Drinfeld modules with complex…”
Get full text
Journal Article -
6
Genus 2 point counting over prime fields
Published in Journal of symbolic computation (01-04-2012)“…For counting points of Jacobians of genus 2 curves over a large prime field, the best known approach is essentially an extension of Schoof’s genus 1 algorithm…”
Get full text
Journal Article -
7
Computing roadmaps in unbounded smooth real algebraic sets I: Connectivity results
Published in Journal of symbolic computation (01-01-2024)“…Answering connectivity queries in real algebraic sets is a fundamental problem in effective real algebraic geometry that finds many applications in e.g…”
Get full text
Journal Article -
8
Subquadratic-Time Algorithms for Normal Bases
Published in Computational complexity (01-06-2021)“…For any finite Galois field extension K/F, with Galois group G = Gal (K/F), there exists an element α ∈ K whose orbit G · α forms an F-basis of K. Such an α is…”
Get full text
Journal Article -
9
A softly optimal Monte Carlo algorithm for solving bivariate polynomial systems over the integers
Published in Journal of Complexity (01-06-2016)“…We give an algorithm for the symbolic solution of polynomial systems in Z[X,Y]. Following previous work with Lebreton, we use a combination of lifting and…”
Get full text
Journal Article -
10
Computing minimal interpolation bases
Published in Journal of symbolic computation (01-11-2017)“…We consider the problem of computing univariate polynomial matrices over a field that represent minimal solution bases for a general interpolation problem,…”
Get full text
Journal Article -
11
A Quadratically Convergent Algorithm for Structured Low-Rank Approximation
Published in Foundations of computational mathematics (01-04-2016)“…Structured Low-Rank Approximation is a problem arising in a wide range of applications in Numerical Analysis and Engineering Sciences. Given an input matrix M…”
Get full text
Journal Article -
12
Homotopy techniques for solving sparse column support determinantal polynomial systems
Published in Journal of Complexity (01-10-2021)“…Let K be a field of characteristic zero with K¯ its algebraic closure. Given a sequence of polynomials g=(g1,…,gs)∈K[x1,…,xn]s and a polynomial matrix…”
Get full text
Journal Article -
13
Taking roots over high extensions of finite fields
Published in Mathematics of computation (01-01-2014)“…We present a new algorithm for computing m \mathbb{F}_q, with p any positive integer. In the particular case m=2 O(\mathsf {M}(n)\log (p) + \mathsf {C}(n)\log…”
Get full text
Journal Article -
14
Computing critical points for invariant algebraic systems
Published in Journal of symbolic computation (01-05-2023)“…Let K be a field and (f1,…,fs,ϕ) be multivariate polynomials in K[x1,…,xn] (with s<n) each invariant under the action of Sn, the group of permutations of…”
Get full text
Journal Article -
15
On the complexity of computing with zero-dimensional triangular sets
Published in Journal of symbolic computation (01-03-2013)“…We study the complexity of some fundamental operations for triangular sets in dimension zero. Using Las Vegas algorithms, we prove that one can perform such…”
Get full text
Journal Article -
16
Solving determinantal systems using homotopy techniques
Published in Journal of symbolic computation (01-05-2021)“…Let K be a field of characteristic zero and let K‾ be an algebraic closure of K. Consider a sequence of polynomials G=(g1,…,gs) in K[X1,…,Xn] with s<n, a…”
Get full text
Journal Article -
17
On semiring complexity of Schur polynomials
Published in Computational complexity (01-12-2018)“…Semiring complexity is the version of arithmetic circuit complexity that allows only two operations: addition and multiplication. We show that semiring…”
Get full text
Journal Article -
18
A simple and fast online power series multiplication and its analysis
Published in Journal of symbolic computation (01-01-2016)“…This paper focuses on online (or relaxed) algorithms for the multiplication of power series over a field and their complexity analysis. We propose a new online…”
Get full text
Journal Article -
19
Interpolation of polynomials given by straight-line programs
Published in Theoretical computer science (28-06-2009)“…We give an algorithm for the interpolation of a polynomial A given by a straight-line program. Its complexity is polynomial in τ , log ( d ) , L , n , where τ…”
Get full text
Journal Article -
20
Modular Composition Modulo Triangular Sets and Applications
Published in Computational complexity (01-09-2013)“…We generalize Kedlaya and Umans’ modular composition algorithm to the multivariate case. As a main application, we give fast algorithms for many operations…”
Get full text
Journal Article