Cited in
(98)- A probabilistic symbolic algorithm to find the minimum of a polynomial function on a basic closed semialgebraic set
- Properness defects and projections and computation of at least one point in each connected component of a real algebraic set
- Generating exact nonlinear ranking functions by symbolic-numeric hybrid method
- Related solutions to the perspective three-point pose problem
- Directing functionals and de Branges space completions in almost Pontryagin spaces
- On the intrinsic complexity of point finding in real singular hypersurfaces
- Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities
- Solving parametric piecewise polynomial systems
- Computing the global optimum of a multivariate polynomial over the reals
- Solving parametric polynomial systems
- Real root finding for low rank linear matrices
- Sign conditions for injectivity of generalized polynomial maps with applications to chemical reaction networks and real algebraic geometry
- Thirty years of polynomial system solving, and now?
- Algorithms of intrinsic complexity for point searching in compact real singular hypersurfaces
- The Voronoi diagram of three lines
- Algebra and geometry in the study of enzymatic cascades
- On the determination of cusp points of 3-RPR parallel manipulators
- Proving inequalities and solving global optimization problems via simplified CAD projection
- Sweeping algebraic curves for singular solutions
- scientific article; zbMATH DE number 2151204 (Why is no real title available?)
- Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials
- The Voronoi diagram of three lines
- Algorithms in real algebraic geometry
- Algorithms in real algebraic geometry
- A systematic approach for doing an a priori identifiability study of dynamical nonlinear models
- FGb
- Kronecker
- Projective Noether
- QEPCAD
- SARAG
- SYNRAC
- CliffMath
- CliffSymNil
- CliffOC
- QSopt-Exact
- StableBBasisNBM5
- Constructing two-dimensional Voronoi diagrams via divide-and-conquer of envelopes in space
- Real root finding for determinants of linear matrices
- A concise proof of the Kronecker polynomial system solver from scratch
- DISCOVERER
- ISOLATE
- AQCS
- Bertini.m2
- 2D Arrangement
- 3D envelopes
- 2D triangulations
- MILONGA
- Emscripten
- NLControl
- OreAlgebraicAnalysis
- Geomsolvex
- SPECTRA
- Triangulations of Line Segment Sets in the Plane
- Variant real quantifier elimination: algorithm and application
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- SOS.m2
- multivsos
- RealCertify
- univsos
- RS3
- Exact algorithms for linear matrix inequalities
- Algebraic systems biology: a case study for the Wnt pathway
- Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients
- On the Generation of Positivstellensatz Witnesses in Degenerate Cases
- Properness defects of projection and minimal discriminant variety
- Determining a rotation of a tetrahedron from a projection
- An algorithm for finding repeated solutions to the general perspective three-point pose problem
- A fundamentally new view of the perspective three-point pose problem
- Reaching generalized critical values of a polynomial
- The hierarchy of local minimums in polynomial optimization
- Rational univariate reduction via toric resultants
- Real quantifier elimination by computation of comprehensive Gröbner systems
- Variant quantifier elimination
- Optimizing \(n\)-variate \((n+k)\)-nomials for small \(k\)
- Border basis relaxation for polynomial optimization
- Computing real radicals and \(S\)-radicals of polynomial systems
- Testing sign conditions on a multivariate polynomial and applications
- On the geometry of polar varieties
- VerifyRealRoots
- Dual certificates and efficient rational sum-of-squares decompositions for polynomial optimization over compact sets
- Certified non-conservative tests for the structural stability of discrete multidimensional systems
- Symbolic computation in hyperbolic programming
- Detecting bifurcation values at infinity of real polynomials
- Solving parametric systems of polynomial equations over the reals through Hermite matrices
- Computing rational solutions of linear matrix inequalities
- Constructing the exact Voronoi diagram of arbitrary lines in three-dimensional space. With fast point-location
- On exact Reznick, Hilbert-Artin and Putinar's representations
- Characterizing positively invariant sets: inductive and topological methods
- Asymptotics of bivariate analytic functions with algebraic singularities
- Coercive Polynomials and Their Newton Polytopes
- Degeneracy loci and polynomial equation solving
- Computing real witness points of positive dimensional polynomial systems
- Intrinsic complexity estimates in polynomial optimization
- A note on optimization with Morse polynomials
- 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
- Toward effective detection of the bifurcation locus of real polynomial maps
- A probabilistic algorithm for computing data-discriminants of likelihood equations
- The ``Seven Dwarfs of symbolic computation
This page was built for software: RAGlib
