正规链

枫树10的正规连锁图书馆。RegularChains库提供了用多项式方程组进行符号计算的工具。特别是,它允许计算一组代数关系的模。自动案例讨论(和重组)处理零除数和参数。这允许多项式方程的三角分解


zbMATH中的参考文献(参考文献79篇文章,1标准件)

显示79个结果中的1到20个。
按年份排序(引用)
  1. Ábrahám,埃里卡;达文波特,詹姆斯H。;英格兰,马修;Kremer,Gereon:用圆柱代数覆盖确定非线性实数运算约束与冲突驱动搜索的一致性(2021)
  2. 阿穆尔,亚辛;赫尔默,马丁;Tellander,Felix:关于正交域的唯一性问题(2021)
  3. 东,瑞娜;王东明:用Gröbner基计算强正则特征对(2021)
  4. 马格伦,维克多;萨菲·艾尔丁(Safey El-Din),莫哈布:论雷兹尼克、希尔伯特·阿丁和普蒂纳的精确表述(2021)
  5. Mohammadali Asadi,Alexander Brandt,Mahsa Kazemi,Marc Moreno Maza,Erik Postma:Maple的多元幂级数(2021)阿尔十四
  6. 王东明;徐娟:分离某些根表达式实根的符号数值算法(2021)
  7. 布拉德福德,拉塞尔;达文波特,詹姆斯H。;英格兰,马修;埃拉米,哈桑;格特,弗拉基米尔;格里戈里耶夫,迪玛;霍伊特,查尔斯;科斯塔,马雷克;拉杜列斯库,奥维迪乌;斯图姆,托马斯;韦伯,安德烈亚斯:识别某些生物网络多稳态的参数发生率(2020)
  8. 英格兰,马修;布拉德福德,拉塞尔;Davenport,James H.:带等式约束的柱形代数分解(2020)
  9. 郭、冯;酸碱度m、 Ti'n-Son:实多项式函数的退化临界点类型(2020)
  10. 克莱默,格雷恩;Ábrahám,Erika:全增量圆柱代数分解(2020)
  11. 兰格黑格曼,马库斯;Daniel Robertz:Thomas分解与非线性控制系统(2020)
  12. 样方,阿尔班(编辑);泽兹,伊娃(编):动力系统中的代数和符号计算方法。根据为第五届系统结构与控制研讨会(IFAC,法国格勒诺布尔,2013年2月4日至6日)和第21届网络与系统数学理论国际研讨会(MTNS 2014)特邀会议撰写的文章,荷兰格罗宁根,2014年7月7日至11日(2020年)
  13. 埃利,阿姆扎拉格;孙孟晓;波古丁,格勒布;Vo,Thieu N.:代数集三角表示的复杂性(2019)
  14. 英格兰,马修;Florescu,Dorian:比较机器学习模型以选择圆柱形代数分解的变量顺序(2019)
  15. 哈里斯,科里;米查埃克,马特乌斯;Sertöre计算多项式(2019年)
  16. 黄宗炎;英格兰,马修;威尔逊,大卫J。;布里奇,詹姆斯;达文波特,詹姆斯H。;Paulson,Lawrence C.:使用机器学习改进圆柱代数分解(2019)
  17. 施瑞克,帕斯卡:关于直尺和罗盘构造的机械化(2019)
  18. 蒙特斯,安东尼奥:格里布纳封面(2018)
  19. Cifuntes,迭戈;Parrilo,Pablo A.:多项式理想的弦网络(2017)
  20. 科里斯,罗伯特M。;莫雷诺马扎,马克;Thornton,Steven E.:Jordan canonical form with parameters from Frobenius form with parameters(2017)中的带参数的Jordan canonical form from Frobenius form with parameters(2017年)

更多出版物请访问:http://www.regularchains.org/publications.html