ISOLATE
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Complex Links and Hilbert–Samuel Multiplicities
- Affine solution sets of sparse polynomial systems
- Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping
- On the complexity of real root isolation using continued fractions
- Rational univariate reduction via toric resultants
- Fast computation of a rational point of a variety over a finite field
- An FGLM-like algorithm for computing the radical of a zero-dimensional ideal
- Improved projection for cylindrical algebraic decomposition
- Numerical analysis of a bisection-exclusion method to find zeros of univariate analytic functions
- On solving systems of bivariate polynomials
- A formal study of Bernstein coefficients and polynomials
- On the determination of cusp points of 3-RPR parallel manipulators
- On the complexity of computing with zero-dimensional triangular sets
- ACETAF
- CHABIS
- Epsilon
- FGb
- intpakX
- Kronecker
- LEDA
- Mathemagix
- MPFI
- NTL
- PHCpack
- Projective Noether
- QEPCAD
- RAGlib
- RegularChains
- RFSFNS
- SARAG
- SingSurf
- SYNAPS
- POLSYS_PLP
- ZEBEC
- LOOK
- EXACUS
- MAPC
- MPSolve
- PNM
- logcf
- Axel
- Bertini
- modpn
- Xcas
- Juno-2
- alphaCertified
- SqFreeEVAL
- REACH
- DISCOVERER
- DIFFALG
- INTPAK
- Bertini_real
- Wsolve
- Algebraic kernel
- Kinetic Framework
- rootsb
- na20
- na10
- Eigensolve
- MILONGA
- Xalci
- ESOLID
- SPECTRA
- galeDuality
- ANewDsc
- FMPIntersectionTheory
- THERIAK-DOMINO
- SLV
- IRIT
- insulate
- Chordal
- SOS.m2
- libtropicana
- RS3
- NumericSolutions
- CylindricalAlgebraicDecompose
- primdecSYCI.lib
- syci.m2
- Lgp
- F5C
- parametric GCD
- Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients
- SegreClasses
- NumericalCertification
- tinygb
- Improved explicit estimates on the number of solutions of equations over a finite field
- On computing absolutely irreducible components of algebraic varieties with parameters
- Complexity of solving parametric polynomial systems
- An elimination method for solving bivariate polynomial systems: eliminating the usual drawbacks
- Khovanskii-Rolle continuation for real solutions
- Computational algebraic number theory
- scientific article; zbMATH DE number 5168255 (Why is no real title available?)
- scientific article; zbMATH DE number 1947391 (Why is no real title available?)
- scientific article; zbMATH DE number 1745032 (Why is no real title available?)
- Certified approximation of parametric space curves with cubic \(B\)-spline curves
- Computer Algebra in Scientific Computing
- Separating linear forms and rational univariate representations of bivariate systems
- Root refinement for real polynomials using quadratic interval refinement
- Computing real roots of real polynomials
- Design of Marx generators as a structured eigenvalue assignment
This page was built for software: ISOLATE
