The following pages link to Epsilon (Q13007):
Displaying 46 items.
- Solution of center-focus problem for a class of cubic systems (Q270173) (← links)
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Infinite orders and non-\(D\)-finite property of 3-dimensional lattice walks (Q311562) (← links)
- Model reduction of chemical reaction systems using elimination (Q359898) (← 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)
- A normal form algorithm for regular differential chains (Q541963) (← 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)
- Computing differential characteristic sets by change of ordering (Q1034554) (← links)
- Symbolic computation of the orthogonal projection of rational curves onto rational parameterized surfaces (Q1665584) (← links)
- Complexity of triangular representations of algebraic sets (Q1714872) (← 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)
- Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition (Q2109980) (← links)
- Generalizing the Steiner-Lehmus theorem using the Gröbner cover (Q2229890) (← links)
- Algebraic analysis of stability and bifurcation of a self-assembling micelle system (Q2249013) (← 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)
- An algorithm for solving zero-dimensional parametric systems of polynomial homogeneous equations (Q2876420) (← links)
- Doing Algebraic Geometry with the RegularChains Library (Q2879164) (← links)
- Finding solutions of fuzzy polynomial equations systems by an Algebraic method (Q2988589) (← links)
- (Q3052184) (← links)
- (Q3054943) (← 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)
- Thomas Decomposition of Algebraic and Differential Systems (Q3589061) (← links)
- (Q4823164) (← links)
- Decomposition of polynomial sets into characteristic pairs (Q4960083) (← links)
- An algorithmic approach to Chevalley’s Theorem on images of rational morphisms between affine varieties (Q5018379) (← links)
- Algorithm for computing differential char sets efficiently (Q5034617) (← links)
- Characteristic sets verses generalized characteristic sets (Q5035097) (← links)
- (Q5253567) (← links)
- Chordal Networks of Polynomial Ideals (Q5347294) (← links)
- Computational Origami Construction as Constraint Solving and Rewriting (Q5403476) (← links)
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry (Q5453491) (← links)
- On computing absolutely irreducible components of algebraic varieties with parameters (Q5962004) (← links)
