Home Research Books and Papers Software Posters Talks Teaching Students Scholarly Activities

Software

I have developed mathematical software packages and libraries for three different computer algebra systems, namely AXIOM, ALDOR and Maple. These include low-level routines for fast polynomial arithmetic written in C. Most of these packages and libraries implement algorithms that I have designed myself or with my students. Currently, my main software projects are the RegularChains and Modpn libraries which are shipped with Maple.

• The SemiAlgebraicSetTools Module of the RegularChains Library
  by C. Chen, F. Lemaire, M. Moreno Maza, B. Xia, R. Xiao and Y. Xie
  In Maple 13, Maplesoft, Canada, 2009
  The Maplesoft web site
• The Modpn Library
  by X. Li, M. Moreno Maza and W. Pan
  In Maple 13, Maplesoft, Canada, 2009
  The Maplesoft web site
• The FastArithmeticTools Module of the RegularChains Library
  by X. Li, M. Moreno Maza, W. Pan and Y. Xie
  In Maple 13, Maplesoft, Canada, 2009
  The Maplesoft web site
• The ConstructibleSetTools and ParametricSystemTools Modules of the RegularChains Library
  by C. Chen, F. Lemaire, L. Li, M. Moreno Maza, W. Pan and Y. Xie
  In Maple 12, Maplesoft, Canada, 2008
  The Maplesoft web site
• The RegularChains library in Maple 10
  by F. Lemaire, M. Moreno Maza and Y. Xie
  Maplesoft, Canada, 2005
  The Maplesoft web site
• Modular Algorithms for the RegularChains Library
  by F. Lemaire, M. Moreno Maza, É. Schost, W. Wu and Y. Xie
  In Maple 11, Maplesoft, Canada, 2007
  The Maplesoft web site
• Aldor version 1.0.3
  by aldor.org
  University of Western Ontario, Canada, 2004
  The Aldor compiler web site
• Aldor version 1.0.2
  by aldor.org
  University of Western Ontario, Canada, 2004
  The Aldor compiler web site
• Aldor version 1.0.1
  by aldor.org
  University of Western Ontario, Canada, 2002
  The Aldor compiler web site
• AXIOM2.3
  by the Computational Mathematics Group
  NAG Ltd, Oxford, UK, 2000
  The AXIOM Computer Algebra System at NAG ltd
  The Open AXIOM Computer Algebra System
  
• AXIOM2.2
  by the Computational Mathematics Group
  NAG Ltd, Oxford, UK, 1998
  The AXIOM Computer Algebra System at NAG ltd
  The Open AXIOM Computer Algebra System
  
• The BasicMath library
  by the Computational Mathematics Group
  NAG Ltd, Oxford, UK, 1998
  The European project FRISCO