Software Presentations

List of Accepted Software Presentations

  1. Miguel Abanades, Francisco Botana, Zoltan Kovacs, Tomas Recio, Csilla Solyom-Gecse. Development of automatic reasoning tools in GeoGebra.
  2. Erhard Aichinger, Rika Yatchak. SONATA: a GAP tool for nearring computations.
  3. Parisa Alvandi, Mahsa Kazemi, Marc Moreno Maza. Computing Limits with the RegularChains and PowerSeries libraries: From Rational Functions to Zariski Closure.
  4. Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Robert M.C. Moir, Marc Moreno Maza, Ning Xie, Yuzhen Xie. Basic Polynomial Algebra Subprograms.
  5. Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato. CGSQE/SyNRAC - A real quantifier elimination package based on the computation of comprehensive Groebner systems.
  6. A. Whitman Groves, Daniel S. Roche. Sparse Polynomials in FLINT.
  7. Christoph Koutschan. Motion Polynomials and Planar Linkages.
  8. Anton Leykin. Polynomial Homotopy Continuation in Macaulay2.
  9. Elias Tsigaridas. SLV a software package for real root isolation.