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