swMATH7741MaRDI QIDQ19758FDOQ19758
Author name not available (Why is that?)
Official website: http://www.maplesoft.com/support/help/Maple/view.aspx?path=RootFinding/Isolate
Cited In (only showing first 100 items - show all)
- Logcf: an efficient tool for real root isolation
- A concise proof of the Kronecker polynomial system solver from scratch
- Multiplicities of tensor eigenvalues
- A softly optimal Monte Carlo algorithm for solving bivariate polynomial systems over the integers
- Solving bivariate systems using rational univariate representations
- Modular composition modulo triangular sets and applications
- Genus 2 point counting over prime fields
- Algebraic approaches to stability analysis of biological systems
- Root isolation for bivariate polynomial systems with local generic position method
- Bit-size estimates for triangular sets in positive dimension
- A Gröbner free alternative for polynomial system solving
- On the asymptotic and practical complexity of solving bivariate systems over the reals
- Solving zero-dimensional systems through the rational univariate representation
- Semidefinite characterization and computation of zero-dimensional real radical ideals
- Moments, positive polynomials and their applications
- On solving systems of bivariate polynomials
- On the complexity of computing with zero-dimensional triangular sets
- An elimination method for solving bivariate polynomial systems: eliminating the usual drawbacks
- Complexity of solving parametric polynomial systems
- ACETAF
- CHABIS
- Epsilon
- FGb
- intpakX
- Kronecker
- LEDA
- Mathemagix
- Title not available (Why is that?)
- 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
- Moment matrices, border bases and real radical computation
- 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
- Algorithms – ESA 2005
- SegreClasses
- NumericalCertification
- tinygb
- SqFreeEVAL: An (almost) optimal real-root isolation algorithm
- Computer Algebra in Scientific Computing
- Design, analysis, and implementation of a multiprecision polynomial rootfinder
- The SARAG library: some algorithms in real algebraic geometry
- Automated Deduction in Geometry
- A parametric representation of totally mixed Nash equilibria
- A survey on the complexity of solving algebraic systems
This page was built for software: ISOLATE
