Epsilon

swMATH244MaRDI QIDQ13007FDOQ13007

Author name not available (Why is that?)

Official website: http://www-spiral.lip6.fr/~wang/epsilon/

Cited In (70)

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

This page was built for software: Epsilon