swMATH8613MaRDI QIDQ20619FDOQ20619
Author name not available (Why is that?)
Official website: http://www-sop.inria.fr/members/Evelyne.Hubert/diffalg/
Cited In (86)
- Title not available (Why is that?)
- Parametric quantified SAT solving
- Algorithms for Bernstein-Sato polynomials and multiplier ideals
- Thomas decomposition of algebraic and differential systems
- Computing specified generators of structured matrix inverses
- Yet another block Lanczos algorithm: how to simplify the computation and reduce reliance on preconditioners in the small field case
- On some decidable and undecidable problems related to \(q\)-difference equations with parameters
- Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Seidenberg's method
- Consistency of finite difference approximations for linear PDE systems and its algorithmic verification
- Degree bounds for Gröbner bases of low-dimensional polynomial ideals
- Resolvent representation for regular differential ideals
- Decomposition of generic multivariate polynomials
- A Strassen-like matrix multiplication suited for squaring and higher power computation
- Algorithmic Thomas decomposition of algebraic and differential systems
- Solving Bezout-like polynomial equations for the design of interpolatory subdivision schemes
- Black-box/white-box simplification and applications to quantifier elimination
- Computation with semialgebraic sets represented by cylindrical algebraic formulas
- Randomized NP-completeness for p -adic rational roots of sparse polynomials in one variable
- Lagrangian curves in a 4-dimensional affine symplectic space
- Probabilistic algorithms for computing resolvent representations of regular differential ideals
- TrIm
- Solving recurrence relations using local invariants
- Iterative Toom-Cook methods for very unbalanced long integer multiplication
- Output-sensitive decoding for redundant residue systems
- Symbolic integration at compile time in finite element methods
- Computing canonical representatives of regular differential ideals
- The DMM bound: multivariate (aggregate) separation bounds
- Algebraic and symbolic computation methods in dynamical systems. Based on articles written for the invited sessions of the 5th symposium on system structure and control, IFAC, Grenoble, France, February 4--6, 2013 and of the 21st international symposium on mathematical theory of networks and systems (MTNS 2014), Groningen, the Netherlands, July 7--11, 2014
- Global optimization of polynomials using generalized critical values and sums of squares
- Random polynomials and expected complexity of bisection methods for real solving
- Simultaneously row- and column-reduced higher-order linear differential systems
- Ginv
- Composition collisions and projective polynomials: statement of results
- ALLTYPES
- Kan
- OreModules
- On symbolic approaches to integro-differential equations
- Formal algorithmic elimination for PDEs
- Janet
- BLAD
- DifferentialThomas
- Jets
- Milne
- primdec
- AlgebraicThomas
- OreMorphisms
- AIDA
- Vessiot
- Indiff
- MABSys
- DifferentialAlgebra
- InvolutiveBases
- STURM
- DiffRes
- NLControl
- OreAlgebraicAnalysis
- A new algorithm for computing comprehensive Gröbner systems
- Differential elimination by differential specialization of Sylvester style matrices
- Differential invariants of conformal and projective surfaces
- A distribution input-output polynomial approach for estimating parameters in nonlinear models. Application to a chikungunya model
- NumericalSchubertCalculus
- A slice algorithm for corners and Hilbert-Poincaré series of monomial ideals
- A new incremental algorithm for computing Groebner bases
- When can we detect that a P-finite sequence is positive?
- Liouvillian solutions of irreducible second order linear difference equations
- Partial denominator bounds for partial linear difference equations
- Real and complex polynomial root-finding with eigen-solving and preprocessing
- Finding all Bessel type solutions for linear differential equations with rational function coefficients
- Complexity of creative telescoping for bivariate rational functions
- Polynomial integration on regions defined by a triangle and a conic
- Blind image deconvolution via fast approximate GCD
- Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals
- Triangular decomposition of semi-algebraic systems
- Differential algebra for derivations with nontrivial commutation rules
- Solving Schubert problems with Littlewood-Richardson homotopies
- NumGfun: a package for numerical and analytic computation with D-finite functions
- Easy composition of symbolic computation software: a new lingua franca for symbolic computation
- A method for semi-rectifying algebraic and differential systems using scaling type Lie point symmetries with linear algebra
- An equivalence theorem for regular differential chains
- Linear sparse differential resultant formulas
- Differential invariants of a Lie group action: syzygies on a generating set
- An in-place truncated Fourier transform and applications to polynomial multiplication
- Computing the singularities of rational space curves
- Computing loci of rank defects of linear matrices using Gröbner bases and applications to cryptology
- Absolute factoring of non-holonomic ideals in the plane
- Chebyshev interpolation polynomial-based tools for rigorous computing
This page was built for software: DIFFALG
