RAGlib

swMATH774MaRDI QIDQ13522

No author found.

Related Items (68)

Variant real quantifier elimination ⋮ Toward effective detection of the bifurcation locus of real polynomial maps ⋮ Unnamed Item ⋮ Dual Certificates and Efficient Rational Sum-of-Squares Decompositions for Polynomial Optimization over Compact Sets ⋮ Characterizing positively invariant sets: inductive and topological methods ⋮ A probabilistic algorithm for computing data-discriminants of likelihood equations ⋮ 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 ⋮ Reaching generalized critical values of a polynomial ⋮ The “Seven Dwarfs” of Symbolic Computation ⋮ Symbolic computation in hyperbolic programming ⋮ 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 ⋮ Real root finding for low rank linear matrices ⋮ An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination ⋮ Unnamed Item ⋮ On the determination of cusp points of 3-RPR parallel manipulators ⋮ Generating exact nonlinear ranking functions by symbolic-numeric hybrid method ⋮ Related solutions to the perspective three-point pose problem ⋮ An algorithm for finding repeated solutions to the general perspective three-point pose problem ⋮ Real root finding for determinants of linear matrices ⋮ Border basis relaxation for polynomial optimization ⋮ A concise proof of the Kronecker polynomial system solver from scratch ⋮ Variant quantifier elimination ⋮ Computing rational solutions of linear matrix inequalities ⋮ Computing real radicals and \(S\)-radicals of polynomial systems ⋮ Optimizing \(n\)-variate \((n+k)\)-nomials for small \(k\) ⋮ Algorithms of intrinsic complexity for point searching in compact real singular hypersurfaces ⋮ Solving parametric piecewise polynomial systems ⋮ A probabilistic symbolic algorithm to find the minimum of a polynomial function on a basic closed semialgebraic set ⋮ Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients ⋮ Algebra and Geometry in the Study of Enzymatic Cascades ⋮ Solving parametric polynomial systems ⋮ Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials ⋮ Proving inequalities and solving global optimization problems via simplified CAD projection ⋮ Directing Functionals and De Branges Space Completions in Almost Pontryagin Spaces ⋮ A systematic approach for doing an a priori identifiability study of dynamical nonlinear models ⋮ Testing sign conditions on a multivariate polynomial and applications ⋮ A fundamentally new view of the perspective three-point pose problem ⋮ Intrinsic complexity estimates in polynomial optimization ⋮ Certified non-conservative tests for the structural stability of discrete multidimensional systems ⋮ Sweeping algebraic curves for singular solutions ⋮ Constructing the Exact Voronoi Diagram of Arbitrary Lines in Three-Dimensional Space ⋮ Properness defects and projections and computation of at least one point in each connected component of a real algebraic set ⋮ Algorithms in real algebraic geometry ⋮ On the geometry of polar varieties ⋮ A note on optimization with Morse polynomials ⋮ Determining a rotation of a tetrahedron from a projection ⋮ Constructing Two-Dimensional Voronoi Diagrams via Divide-and-Conquer of Envelopes in Space ⋮ Algorithms in real algebraic geometry ⋮ Properness defects of projection and minimal discriminant variety ⋮ On the intrinsic complexity of point finding in real singular hypersurfaces ⋮ On exact Reznick, Hilbert-Artin and Putinar's representations ⋮ Sign conditions for injectivity of generalized polynomial maps with applications to chemical reaction networks and real algebraic geometry ⋮ Detecting bifurcation values at infinity of real polynomials ⋮ Triangulations of Line Segment Sets in the Plane ⋮ Rational univariate reduction via toric resultants ⋮ Thirty years of polynomial system solving, and now? ⋮ On the Generation of Positivstellensatz Witnesses in Degenerate Cases ⋮ Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems ⋮ The Voronoi diagram of three lines ⋮ Exact Algorithms for Linear Matrix Inequalities ⋮ Coercive Polynomials and Their Newton Polytopes ⋮ Degeneracy loci and polynomial equation solving ⋮ The hierarchy of local minimums in polynomial optimization ⋮ Algebraic systems biology: a case study for the Wnt pathway ⋮ Solving parametric systems of polynomial equations over the reals through Hermite matrices ⋮ Computing real witness points of positive dimensional polynomial systems

This page was built for software: RAGlib