The following pages link to (Q2716051):
Displaying 48 items.
- Determination and (re)parametrization of rational developable surfaces (Q256765) (← links)
- Automated derivation of the conservation laws for nonlinear differential-difference equations (Q394413) (← links)
- An improved algorithm for deciding semi-definite polynomials (Q404554) (← links)
- Algorithms for computing the global infimum and minimum of a polynomial function (Q424330) (← links)
- Algorithmic Thomas decomposition of algebraic and differential systems (Q432753) (← links)
- Global minimization of multivariate polynomials using nonstandard methods (Q453625) (← links)
- A test for monomial containment (Q512370) (← links)
- Involutive characteristic sets of algebraic partial differential equation systems (Q547816) (← links)
- Analysis of codimension 2 bifurcations for high-dimensional discrete systems using symbolic computation methods (Q668564) (← links)
- Semi-algebraically connected components of minimum points of a polynomial function (Q741867) (← links)
- A potential constraints method of finding nonclassical symmetry of PDEs based on Wu's method (Q781150) (← links)
- On the probability of the number of solutions for the P4P problem (Q851815) (← links)
- Stability analysis for Lotka-Volterra systems based on an algorithm of real root isolation (Q869558) (← links)
- Equality-constrained minimization of polynomial functions (Q892787) (← links)
- Application of Sturm theorem in the global controllability of a class of high dimensional polynomial systems (Q905141) (← links)
- Complete numerical isolation of real roots in zero-dimensional triangular systems (Q1025386) (← links)
- Differential characteristic set algorithm for the complete symmetry classification of partial differential equations (Q1030397) (← links)
- An algorithm for solving partial differential parametric systems. (Q1421488) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. (Q1426143) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry. (Q1426144) (← links)
- Computing \(\mu\)-bases from algebraic ruled surfaces (Q1632504) (← links)
- Generalizing Morley's and other theorems with automated realization (Q1655490) (← links)
- Characteristic decomposition: from regular sets to normal sets (Q1730299) (← links)
- Self-evident automated proving based on point geometry from the perspective of Wu's method identity (Q1730304) (← links)
- On \(n\)-sectors of the angles of an arbitrary triangle (Q1995812) (← links)
- Solving the equality-constrained minimization problem of polynomial functions (Q2010089) (← links)
- An algorithmic method for showing existence of nontrivial non-classical symmetries of partial differential equations without solving determining equations (Q2019059) (← links)
- Symbolic computation for the qualitative theory of differential equations (Q2080988) (← links)
- Certified numerical real root isolation for bivariate nonlinear systems (Q2156364) (← links)
- Algebraic analysis of stability and bifurcation of a self-assembling micelle system (Q2249013) (← links)
- Applications of differential form Wu's method to determine symmetries of (partial) differential equations (Q2333752) (← links)
- Computer aided solving the high-order transition probability matrix of the finite Markov chain (Q2369093) (← links)
- A mechanical algorithm for solving ordinary differential equation (Q2369118) (← links)
- A new mechanical algorithm for solving the second kind of Fredholm integral equation (Q2369239) (← links)
- Determination of the limits for multivariate rational functions (Q2445506) (← links)
- Mechanical algorithm for solving the second kind of Volterra integral equation (Q2489467) (← links)
- The number of independent Kruppa constraints from \(N\) images (Q2508384) (← links)
- Bounding the number of limit cycles for parametric Liénard systems using symbolic computation methods (Q2656065) (← links)
- Automated discovery of geometric theorems based on vector equations (Q2666956) (← links)
- Intersection theory in differential algebraic geometry: Generic intersections and the differential Chow form (Q2847119) (← links)
- Thomas Decomposition of Algebraic and Differential Systems (Q3589061) (← links)
- Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems (Q3599200) (← links)
- Analysis of Snapback Repellers Using Methods of Symbolic Computation (Q4632158) (← links)
- Decomposition of polynomial sets into characteristic pairs (Q4960083) (← links)
- Algebraic Analysis of Bifurcations and Chaos for Discrete Dynamical Systems (Q5014672) (← links)
- Finding Fuzzy Inverse Matrix Using Wu’s Method (Q5076676) (← links)
- The invertibility of rational univariate representations (Q6052531) (← links)
- Self-evident automated geometric theorem proving based on complex number identity (Q6149590) (← links)
