The following pages link to RAGlib (Q13522):
Displaying 50 items.
- Algebraic systems biology: a case study for the Wnt pathway (Q257144) (← links)
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q384995) (← links)
- Generating exact nonlinear ranking functions by symbolic-numeric hybrid method (Q394460) (← links)
- Variant quantifier elimination (Q420753) (← links)
- Algorithms of intrinsic complexity for point searching in compact real singular hypersurfaces (Q431820) (← links)
- A probabilistic symbolic algorithm to find the minimum of a polynomial function on a basic closed semialgebraic set (Q464735) (← links)
- Proving inequalities and solving global optimization problems via simplified CAD projection (Q492036) (← links)
- On the determination of cusp points of 3-RPR parallel manipulators (Q612672) (← links)
- Optimizing \(n\)-variate \((n+k)\)-nomials for small \(k\) (Q633624) (← links)
- Solving parametric piecewise polynomial systems (Q651936) (← links)
- Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients (Q654030) (← links)
- A systematic approach for doing an a priori identifiability study of dynamical nonlinear models (Q669172) (← links)
- Properness defects and projections and computation of at least one point in each connected component of a real algebraic set (Q705131) (← links)
- Determining a rotation of a tetrahedron from a projection (Q714999) (← links)
- Properness defects of projection and minimal discriminant variety (Q719760) (← links)
- Related solutions to the perspective three-point pose problem (Q890120) (← links)
- Real root finding for determinants of linear matrices (Q898255) (← links)
- Border basis relaxation for polynomial optimization (Q898268) (← links)
- Sweeping algebraic curves for singular solutions (Q970416) (← links)
- On the intrinsic complexity of point finding in real singular hypersurfaces (Q990944) (← links)
- Thirty years of polynomial system solving, and now? (Q1006651) (← links)
- The Voronoi diagram of three lines (Q1028584) (← links)
- Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials (Q1733314) (← links)
- An algorithm for finding repeated solutions to the general perspective three-point pose problem (Q1932898) (← links)
- 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 o (Q1986483) (← links)
- Certified non-conservative tests for the structural stability of discrete multidimensional systems (Q2002386) (← links)
- On exact Reznick, Hilbert-Artin and Putinar's representations (Q2029015) (← links)
- Solving parametric systems of polynomial equations over the reals through Hermite matrices (Q2117425) (← links)
- Characterizing positively invariant sets: inductive and topological methods (Q2133909) (← links)
- Real root finding for low rank linear matrices (Q2175227) (← links)
- Computing real radicals and \(S\)-radicals of polynomial systems (Q2200311) (← links)
- A fundamentally new view of the perspective three-point pose problem (Q2251242) (← links)
- Intrinsic complexity estimates in polynomial optimization (Q2251913) (← links)
- On the geometry of polar varieties (Q2267371) (← links)
- Degeneracy loci and polynomial equation solving (Q2340506) (← links)
- The hierarchy of local minimums in polynomial optimization (Q2349136) (← links)
- Computing real witness points of positive dimensional polynomial systems (Q2357373) (← links)
- Toward effective detection of the bifurcation locus of real polynomial maps (Q2362291) (← links)
- Asymptotics of bivariate analytic functions with algebraic singularities (Q2403715) (← links)
- A concise proof of the Kronecker polynomial system solver from scratch (Q2427141) (← links)
- Solving parametric polynomial systems (Q2455750) (← links)
- Testing sign conditions on a multivariate polynomial and applications (Q2465578) (← links)
- Detecting bifurcation values at infinity of real polynomials (Q2512968) (← links)
- Rational univariate reduction via toric resultants (Q2517810) (← links)
- A probabilistic algorithm for computing data-discriminants of likelihood equations (Q2628325) (← links)
- Reaching generalized critical values of a polynomial (Q2636981) (← links)
- Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems (Q2819755) (← links)
- Exact Algorithms for Linear Matrix Inequalities (Q2834563) (← links)
- Variant real quantifier elimination (Q2883815) (← links)
- The “Seven Dwarfs” of Symbolic Computation (Q2912116) (← links)
