Software Presentations

List of Accepted Software Presentations

  1. Victor Magron and Mohab Safey El Din. RealCertify: a Maple package for certifying non-negativity.
  2. David J. Jeffrey, Robert M. Corless, and David R. Stoutemyer. Comprehensive anti-derivatives and parametric continuity.
  3. Luca De Feo, Hugues Randriambololona, and Edouard Rousseau. Lattices of compatibly embedded finite fields.



The accepted poster/software abstracts will be printed and distributed at the conference as well as published in an upcoming issue of the ACM SIGSAM Communications in Computer Algebra (CCA).

An award will be presented to the best poster/software presentation.