Epsilon
From MaRDI portal
Epsilon Q13007
Cited in
(76)- Computing differential characteristic sets by change of ordering
- CASA
- Kronecker
- ZariskiFrames
- Locales
- DifferentialElimination
- PGB
- Projective Noether
- RAEEM
- RATH
- RegularChains
- MEDLAR
- Symbolic computation of the orthogonal projection of rational curves onto rational parameterized surfaces
- Cabri-geometry
- Complexity of triangular representations of algebraic sets
- Geometry Expressions
- DISCOVERER
- On n-sectors of the angles of an arbitrary triangle
- A \textit{Maple} package for finding interaction solutions of nonlinear evolution equations
- DifferentialThomas
- BLAD
- Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
- Wsolve
- Generalizing the Steiner-Lehmus theorem using the Gröbner cover
- Algebraic analysis of stability and bifurcation of a self-assembling micelle system
- Complexity of solving parametric polynomial systems
- LocalizeRingForHomalg
- Generic regular decompositions for generic zero-dimensional systems
- Multiplicity-preserving triangular set decomposition of two polynomials
- PDESpecialSolutions
- A concise proof of the Kronecker polynomial system solver from scratch
- DDESpecialSolutions
- Computing singular points of plane rational curves
- DifferentialAlgebra
- MILONGA
- A simple method for implicitizing rational curves and surfaces
- Automated discovery of geometric theorems based on vector equations
- An algorithmic approach to small limit cycles of nonlinear differential systems: the averaging method revisited
- Solution of center-focus problem for a class of cubic systems
- Geometrix
- Automated theorem proving in GeoGebra: current achievements
- An algorithm for solving zero-dimensional parametric systems of polynomial homogeneous equations
- Doing algebraic geometry with the RegularChains library
- Finding solutions of fuzzy polynomial equations systems by an Algebraic method
- New exact solutions for higher-order nonlinear Schrödinger equation
- scientific article; zbMATH DE number 5812809 (Why is no real title available?)
- On one method of proving inequalities in automated way
- Infinite orders and non-D-finite property of 3-dimensional lattice walks
- Extension of Simson-Wallace theorem on skew quadrilaterals and further properties
- Thomas decomposition of algebraic and differential systems
- Model reduction of chemical reaction systems using elimination
- Chordal
- Symbolic computation of strongly nonlinear periodic oscillations
- CAP
- Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases
- Stacks Project
- TDDS
- COMBOS
- AlgebraicGeometryTools
- scientific article; zbMATH DE number 2110642 (Why is no real title available?)
- Decomposition of polynomial sets into characteristic pairs
- An algorithmic approach to Chevalley’s Theorem on images of rational morphisms between affine varieties
- Algorithm for computing differential char sets efficiently
- Characteristic sets verses generalized characteristic sets
- scientific article; zbMATH DE number 6440241 (Why is no real title available?)
- Chordal networks of polynomial ideals
- Computational origami construction as constraint solving and rewriting
- A normal form algorithm for regular differential chains
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
- On computing absolutely irreducible components of algebraic varieties with parameters
- ATFM
- Morley's theorem revisited: origami construction and automated proof
- Symbolic computation of hyperbolic tangent solutions for nonlinear differential-difference equations
- On protocols for the automated discovery of theorems in elementary geometry
- Generic regular decompositions for parametric polynomial systems
- On decomposition of algebraic PDE systems into simple subsystems
This page was built for software: Epsilon
