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. Edouard Rousseau, Luca De Feo, and Hugues Randriambololona. 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.