Epsilon
Epsilon is a library of functions implemented in Maple and Java for polynomial elimination and decomposition with (geometric) applications. It has 8 modules and contains more than 70 functions, which allow one to triangularize systems of multivariate (differential) polynomials, decompose polynomial systems into triangular systems of various kinds (regular, normal, simple, irreducible, or with projection property), decompose algebraic varieties into irreducible or unmixed subvarieties, decompose polynomial ideals into primary components, factorize polynomials over algebraic extension fields, solve systems of polynomial equations and inequations, and handle and prove geometric theorems automatically.
Keywords for this software
References in zbMATH (referenced in 36 articles , 1 standard article )
Showing results 1 to 20 of 36.
Sorted by year (- Amzallag, Eli; Sun, Mengxiao; Pogudin, Gleb; Vo, Thieu N.: Complexity of triangular representations of algebraic sets (2019)
- Cifuentes, Diego; Parrilo, Pablo A.: Chordal networks of polynomial ideals (2017)
- Boroujeni, Marziyeh; Basiri, Abdolali; Rahmany, Sajjad; Valibouze, Annick: Finding solutions of fuzzy polynomial equations systems by an algebraic method (2016)
- Du, Daniel K.; Hou, Qing-Hu; Wang, Rong-Hua: Infinite orders and non-(D)-finite property of 3-dimensional lattice walks (2016)
- Sang, Bo; Niu, Chuanze: Solution of center-focus problem for a class of cubic systems (2016)
- Xiazhi, Hao; Yinping, Liu; Xiaoyan, Tang; Zhibin, Li: A \textitMaplepackage for finding interaction solutions of nonlinear evolution equations (2016)
- Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon: Automated theorem proving in GeoGebra: current achievements (2015)
- Chen, Zhenghong; Tang, Xiaoxian; Xia, Bican: Generic regular decompositions for parametric polynomial systems (2015)
- Pech, Pavel: Extension of Simson-Wallace theorem on skew quadrilaterals and further properties (2015)
- Alvandi, Parisa; Chen, Changbo; Marcus, Steffen; Maza, Marc Moreno; Schost, Éric; Vrbik, Paul: Doing algebraic geometry with the regularchains library (2014)
- Cheng, Jin-San; Gao, Xiao-Shan: Multiplicity-preserving triangular set decomposition of two polynomials (2014)
- Pech, Pavel: On a 3D extension of the Simson-Wallace theorem (2014)
- Liu, Y. P.; Liao, S. J.; Li, Z. B.: Symbolic computation of strongly nonlinear periodic oscillations (2013)
- Ayad, Ali; Fares, Ali; Ayyad, Youssef: An algorithm for solving zero-dimensional parametric systems of polynomial homogeneous equations (2012)
- Niu, Wei; Wang, Dongming: Algebraic analysis of stability and bifurcation of a self-assembling micelle system (2012)
- Ayad, A.: Complexity of solving parametric polynomial systems (2011)
- Boulier, François; Lefranc, Marc; Lemaire, François; Morant, Pierre-Emmanuel: Model reduction of chemical reaction systems using elimination (2011)
- Huang, Yanli; Wang, Dongming: Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases (2011)
- Ida, Tetsuo; Kasem, Asem; Ghourabi, Fadoua; Takahashi, Hidekazu: Morley’s theorem revisited: origami construction and automated proof (2011)
- Pech, Pavel: On one method of proving inequalities in automated way (2011)