alphaCertified
From MaRDI portal
AlphaCertified
Cited in
(99)- HOM4PS
- Macaulay2
- MixedVol
- MPFI
- MultRoot
- PHCpack
- Polymake.jl
- tensegrity
- STRINGVACUA
- A heuristic method for certifying isolated zeros of polynomial systems
- Comparison of probabilistic algorithms for analyzing the components of an affine algebraic variety
- Certifying reality of projections
- PHoM
- Computing multiple zeros of polynomial systems: case of breadth one (invited talk)
- Certifying simple zeros of over-determined polynomial systems
- The convergence conditions of interval Newton's method based on point estimates
- Numerical algebraic geometry: a new perspective on gauge and string theories
- Bertini
- Robust certified numerical homotopy tracking
- Numerically computing real points on algebraic sets
- DISCOVERER
- SLA
- A new deflation method for verifying the isolated singular zeros of polynomial systems
- Solving decomposable sparse systems
- Paramotopy
- Hom4PS-3
- NAG4M2
- Euclidean distance degree and mixed volume
- Smooth points on semi-algebraic sets
- Exact solutions in log-concave maximum likelihood estimation
- On the equations defining some Hilbert schemes
- Bertini_real
- Necklaces count polynomial parametric osculants
- Mixed precision path tracking for polynomial homotopy continuation
- Seven mutually touching infinite cylinders
- rootsur.lib
- Homotopy techniques for tensor decomposition and perfect identifiability
- Computing complex and real tropical curves using monodromy
- Adaptive strategies for solving parameterized systems using homotopy continuation
- Real solutions to systems of polynomial equations and parameter continuation
- SchurRings
- Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\)
- PHCpack
- NumericalAlgebraicGeometry
- NodePy
- Algorithm 931
- A certified iterative method for isolated singular roots
- Machine learning the real discriminant locus
- Certified Hermite matrices from approximate roots
- The average condition number of most tensor rank decomposition problems is infinite
- gfanlib
- Real Root Isolation of Polynomial Equations Based on Hybrid Computation
- A note on global Newton iteration over Archimedean and non-Archimedean fields
- Certification of Approximate Roots of Exact Polynomial Systems
- pss5
- Validating the completeness of the real solution set of a system of polynomial equations
- Algorithm 921: alphaCertified: certifying solutions to polynomial systems
- galeDuality
- Software for the Gale transform of fewnomial systems and a Descartes rule for fewnomials
- DynamicPrevariety
- ellipticcovers.lib
- A primal-dual formulation for certifiable computations in Schubert calculus
- Statistics of stationary points of random finite polynomial potentials
- insulate
- HomotopyContinuation
- A certified numerical algorithm for the topology of resultant and discriminant curves
- MonodromySolver
- SOS.m2
- Book3264Examples
- libtropicana
- Experimentation in the Schubert calculus
- Using monodromy to avoid high precision in homotopy continuation
- Overdetermined Weierstrass iteration and the nearest consistent system
- Epsilon local rigidity and numerical algebraic geometry
- Polymake.jl: a new interface to \texttt{polymake}
- Foreword. What is numerical algebraic geometry?
- Mixed cell computation in HOM4ps
- Certifying solutions to square systems of polynomial-exponential equations
- A lifted square formulation for certifiable Schubert calculus
- Smooth points on semi-algebraic sets
- Effective certification of approximate solutions to systems of equations involving analytic functions
- Identifying the number of components in Gaussian mixture models using numerical algebraic geometry
- 96120: the degree of the linear orbit of a cubic surface
- Generic properties of dispersion relations for discrete periodic operators
- General witness sets for numerical algebraic geometry
- The Secant Conjecture in the Real Schubert Calculus
- 3264 conics in a second
- Rigid continuation paths I. Quasilinear average complexity for solving polynomial systems
- SegreClasses
- DecomposableSparseSystems
- NumericalCertification
- RealBitangents
- Solving polynomial systems via homotopy continuation and monodromy
- Probabilistic saturations and Alt's problem
- Certifying approximate solutions to polynomial systems on Macaulay2
- VerifyRealRoots
- Numerical elimination and moduli space of vacua
- Numerical polynomial homotopy continuation method and string vacua
- Certification for polynomial systems via square subsystems
This page was built for software: alphaCertified
