软件演示文稿

接受的软件演示列表

  1. 米格尔·阿巴纳德斯（Miguel Abanades）、弗朗西斯科·博塔纳（Francisco Botana）、佐尔坦·科瓦克斯（Zoltan Kovacs）、托马斯·雷西奥（Tomas Recio）、西拉索利奥姆·盖塞。GeoGebra中自动推理工具的开发。
  2. Erhard Aichinger，Rika Yatchak。SONATA：用于近环计算的GAP工具。
  3. 帕里萨·阿尔瓦迪（Parisa Alvandi）、马赫萨·卡泽米（Mahsa Kazemi）、马克·莫雷诺·马扎（Marc Moreno Maza）。用正则链和PowerSeries库计算极限：从有理函数到Zariske闭包。
  4. Chen Changbo、Svyatoslav Covanov、Farnam Mansouri、Robert M.C.Moir、Marc Moreno Maza、Ning Xie、Yuzhen Xie。基本多项式代数子程序。
  5. 藤崎良彦、岩井秀彦、佐藤义介。CGSQE/SyNRAC-一个基于综合Groebner系统计算的真正量词消除包。
  6. A.Whitman Groves，Daniel S.Roche。FLINT中的稀疏多项式。
  7. 克里斯托夫·库特尚（Christoph Koutschen）。运动多项式和平面连杆。
  8. 安东·莱金。Macaulay 2中的多项式同伦连续性。
  9. 埃利亚斯·齐加里达斯。SLV是一个用于真正根隔离的软件包。