The following pages link to (Q4823164):
Displaying 32 items.
- Solution of center-focus problem for a class of cubic systems (Q270173) (← links)
- Symbolic computation of strongly nonlinear periodic oscillations (Q390390) (← links)
- Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases (Q426175) (← links)
- Algorithmic Thomas decomposition of algebraic and differential systems (Q432753) (← links)
- Morley's theorem revisited: origami construction and automated proof (Q633087) (← links)
- Symbolic computation of hyperbolic tangent solutions for nonlinear differential-difference equations (Q709568) (← links)
- On protocols for the automated discovery of theorems in elementary geometry (Q846167) (← links)
- Generic regular decompositions for parametric polynomial systems (Q905159) (← links)
- On decomposition of algebraic PDE systems into simple subsystems (Q941643) (← links)
- Properties of regular systems and algorithmic improvements for regular decomposition (Q971615) (← links)
- Symbolic computation of the orthogonal projection of rational curves onto rational parameterized surfaces (Q1665584) (← links)
- On \(n\)-sectors of the angles of an arbitrary triangle (Q1995812) (← links)
- A \textit{Maple} package for finding interaction solutions of nonlinear evolution equations (Q2012718) (← links)
- Generalizing the Steiner-Lehmus theorem using the Gröbner cover (Q2229890) (← links)
- Complexity of solving parametric polynomial systems (Q2256707) (← links)
- Generic regular decompositions for generic zero-dimensional systems (Q2335932) (← links)
- Multiplicity-preserving triangular set decomposition of two polynomials (Q2341596) (← links)
- A concise proof of the Kronecker polynomial system solver from scratch (Q2427141) (← links)
- Computing singular points of plane rational curves (Q2474248) (← links)
- A simple method for implicitizing rational curves and surfaces (Q2643545) (← links)
- Automated discovery of geometric theorems based on vector equations (Q2666956) (← links)
- An algorithmic approach to small limit cycles of nonlinear differential systems: the averaging method revisited (Q2674022) (← links)
- On One Method of Proving Inequalities in Automated Way (Q3102741) (← links)
- Extension of Simson–Wallace Theorem on Skew Quadrilaterals and Further Properties (Q3452279) (← links)
- Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems (Q3599200) (← links)
- Decomposition of polynomial sets into characteristic pairs (Q4960083) (← links)
- Algorithm for computing differential char sets efficiently (Q5034617) (← links)
- Characteristic sets verses generalized characteristic sets (Q5035097) (← links)
- Computational Origami Construction as Constraint Solving and Rewriting (Q5403476) (← links)
- On computing absolutely irreducible components of algebraic varieties with parameters (Q5962004) (← links)
- Discussion on: ``Comparison of different multivariable control design methods applied on half car test setup'' (Q5971350) (← links)
- The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs (Q6043324) (← links)
