The following pages link to (Q4282674):
Displaying 50 items.
- Algebraic phase unwrapping along the real axis: extensions and stabilizations (Q336021) (← links)
- Real ideal and the duality of semidefinite programming for polynomial optimization (Q351462) (← links)
- An improved algorithm for deciding semi-definite polynomials (Q404554) (← links)
- Algorithms for computing triangular decomposition of polynomial systems (Q413407) (← links)
- Elliptic curves and Fibonacci numbers arising from Lindenmayer system with symbolic computation (Q429747) (← links)
- Algorithmic Thomas decomposition of algebraic and differential systems (Q432753) (← links)
- Classification of direct kinematics to planar generalized Stewart platforms (Q448982) (← links)
- Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification (Q462854) (← links)
- The \texttt{modpn} library: bringing fast polynomial arithmetic into \texttt{Maple} (Q540337) (← links)
- An algorithm for determining copositive matrices (Q636239) (← links)
- Difference algebra and system identification (Q644245) (← links)
- Is every nonsingular matrix diagonally equivalent to a matrix with all distinct eigenvalues? (Q648930) (← links)
- Lack-of-contact conditions for a penny-shaped crack under a polynomial normal loading (Q671211) (← links)
- RATH: A Maple package for finding travelling solitary wave solutions to nonlinear evolution equations (Q709343) (← links)
- A geometric index reduction method for implicit systems of differential algebraic equations (Q719759) (← links)
- Semi-algebraically connected components of minimum points of a polynomial function (Q741867) (← links)
- Montgomery's method of polynomial selection for the number field sieve (Q745185) (← links)
- Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick (Q783254) (← links)
- Interpolation and model checking for nonlinear arithmetic (Q832268) (← links)
- Graph compression and the zeros of polynomials (Q834888) (← links)
- On the probability of the number of solutions for the P4P problem (Q851815) (← links)
- A new approach for constructing subresultants (Q864796) (← links)
- Quantifier elimination for the reals with a predicate for the powers of two (Q868941) (← links)
- Equality-constrained minimization of polynomial functions (Q892787) (← links)
- Differential elimination by differential specialization of Sylvester style matrices (Q895967) (← links)
- On decomposition of algebraic PDE systems into simple subsystems (Q941643) (← links)
- Inclusion dynamics hybrid automata (Q999262) (← links)
- Sign determination in residue number systems (Q1274813) (← links)
- Notes on the complexity of exact view graph algorithms for piecewise smooth algebraic surfaces (Q1275661) (← links)
- Gröbner bases of characteristic ideals of LRS over UFD (Q1286694) (← links)
- A solution to Kronecker's problem (Q1335137) (← links)
- Minimal involutive bases (Q1404737) (← links)
- Equilibrium behavior in markets and games: Testable restrictions and identification. (Q1428156) (← links)
- Testable restrictions on the equilibrium manifold under random preferences. (Q1428164) (← links)
- Observable implications of equilibrium behavior on finite data. (Q1428167) (← links)
- An effective decision method for semidefinite polynomials (Q1432891) (← links)
- Computing triangular systems and regular systems (Q1582304) (← links)
- Computer algebra and algebraic geometry -- achievements and perspectives (Q1587227) (← links)
- Computing with quadratic forms over number fields (Q1635279) (← links)
- Symbolic computation of the orthogonal projection of rational curves onto rational parameterized surfaces (Q1665584) (← links)
- A deductive approach towards reasoning about algebraic transition systems (Q1666122) (← links)
- Word problems in Elliott monoids (Q1669037) (← links)
- Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL (Q1725844) (← links)
- Elimination theory in differential and difference algebra (Q1730314) (← links)
- A new algorithm for symbolic integration with application (Q1765837) (← links)
- Gröbner bases, invariant theory and equivariant dynamics (Q1808673) (← links)
- Normal parametrizations of algebraic plane curves (Q1864900) (← links)
- Parameter identifiability of nonlinear systems: The role of initial conditions. (Q1868074) (← links)
- Multibasic and mixed hypergeometric Gosper-type algorithms (Q1974697) (← links)
- Deformation techniques for efficient polynomial equation solving. (Q1977143) (← links)
