ISSAC

International Symposium on Symbolic and Algebraic Computation

• Home
• Program
• Invited Talks
• Tutorials
• Local Info
• Committees
• Papers
• Software presentations
• Posters
• Awards
• Registration
• Submission

• About ISSAC
• Past Conferences

Sponsored by:

Software Presentations

List of Accepted Software Presentations

• Arthur Norman and Stephen Watt
  Semi-Centennial REDUCE
• Rui-Juan Jing, Yuzhuo Lei, Christopher Frank Stephan Maligec, Marc Moreno Maza, and Chirantan Mukherjee
  Integer Hulls, Z-Polyhedra and Presburger Arithmetic in Action
• François Boulier
  The DenefLipshitz Algorithm
• Alexandre Guillemot
  Certified Algebraic Path Tracking with Algpath
• Ilias Kotsireas
  Meta-programming for Legendre Pairs
• Julien Alexandre Dit Sandretto
  Symbolic-Numeric Pipeline for Reachability Analysis of Differential Equations with B-series
• Raphaël Jolly
  meditor, the mathemagical editor