RAGlib

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