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 library, Basic Polynomial Algebra Subprograms (BPAS), CUda MODular Polynomial (CUMODP) and The Meta_Fork Framework.

	BPAS
	CUMODP
	Meta_Fork
	RegularChains Library





Below are links to other software projects that I am developing

• The Z-Polyhedra Library
  With Rui-Juan Jing.
  University of Western Ontario, Canada, 2017
  The Z-Polyhedra Library download page
• The PowerSeries Library
  With Parisa Alvandi
  University of Western Ontario, Canada, 2016
  The PowerSeries Library download page
• The ProgramAnalysis Library
  With Vincent Fuentes and Rong Xiao.
  University of Western Ontario, Canada, 2014
  Shipped with the 2016 release of Maple. Overview of the ProgramAnalysis Library in Maple
• The PolyhedraSets Library
  With Rong Xiao.
  University of Western Ontario, Canada, 2014
  Shipped with the 2015 release of Maple. Overview of the PolyhedraSets Library in Maple





Older software projects to which I have participated

• 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
  
• AXIOM
  AXION The Scientific Computation System and OpenAxiom: The Open Scientific Computation Platform
• The BasicMath library
  by the Computational Mathematics Group
  NAG Ltd, Oxford, UK, 1998
  The European project FRISCO