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