ε

Epsilon是一个用Maple和Java实现的函数库,用于多项式消除和分解(几何)应用程序。它有8个模块,包含70多个函数,可以将多元(微分)多项式系统三角化,将多项式系统分解为各种类型(正则、正态、简单、不可约或具有投影性质)的三角系统,将代数簇分解为不可约或不混合的子簇,将多项式理想分解为主成分,在代数扩张域上分解多项式,解多项式方程组和不等式组,自动处理和证明几何定理。


zbMATH中的参考文献(参考文献44条,1标准件)

显示第1到第20个结果,共44个。
按年份排序(引用)
  1. 阿夫扎尔,法尔坎达;阿克兰,萨菲亚;阿希克,穆罕默德;阿夫扎尔,迪巴;坎坎,穆拉特;Ediz,Süleyman:特征集与广义特征集(2021)
  2. 彭西成;陈启航;张敬忠;陈茂:基于向量方程的几何定理自动发现(2021)
  3. 坎坎,穆拉特;阿夫扎尔,法尔坎达;阿伊莎,玛克布尔;Afzal,Deeba:有效计算微分字符集的算法(2020)
  4. 王东明;东,瑞娜;牟晨琦:多项式集分解为特征对(2020)
  5. 王东明;黄、博;陈晓宇:关于(n)-任意三角形角的扇形(2020)
  6. 埃利,阿姆扎拉格;孙孟晓;波古丁,格勒布;Vo,Thieu N.:代数集三角表示的复杂性(2019)
  7. Cifuntes,迭戈;Parrilo,Pablo A.:多项式理想的弦网络(2017)
  8. 博罗耶尼,马尔齐耶;巴西里,阿卜杜拉利;拉赫曼,萨贾德;Valibouze,Annick:用代数方法寻找模糊多项式方程组的解(2016)
  9. 杜,丹尼尔K。;侯庆虎;王荣华:三维格行走的无穷阶与非(D)-有限性(2016)
  10. 桑,波;牛传泽:一类立方系统中心焦点问题的求解(2016)
  11. 夏至、郝;刘银平;唐小燕;李志斌:求解非线性演化方程相互作用解的软件包(2016)
  12. 博塔纳,旧金山;霍亨瓦特,马库斯;贾尼契奇,普雷特拉格;科瓦茨,佐坦;彼得罗维奇,伊万;累西奥,汤玛斯;西蒙•韦茨霍夫:《GeoGebra中的自动定理证明:当前成就》(2015)
  13. 陈正红;唐小仙;Xia,Bican:参数多项式系统的一般正则分解(2015)
  14. 甘志旺;周孟:有理曲线在有理参数化曲面上正交投影的符号计算(2015)
  15. Pech,Pavel:Simson-Wallace定理在斜四边形上的推广和进一步性质(2015)
  16. 阿尔万迪,巴黎;陈昌波;马库斯,斯特芬;马扎,马克·莫雷诺;肖斯特,埃里克;保罗·维比克:《用正则链库做代数几何》(2014)
  17. 程金三;高小山:两个多项式的保多重三角集分解(2014)
  18. 蒙特斯,安东尼奥;Recio,Tomás:使用Gröbner覆盖推广Steiner-Lehmus定理(2014)
  19. 佩奇,帕维尔:关于西姆森-华莱士定理的三维扩展(2014)
  20. 唐小仙;陈正红;一般零维系统(An-Xia,2014)