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