RIACA OpenMath Library
This is the main website for the RIACA OpenMath library.

It is now released through Sourceforge.net.

See the project pages for more information.

Copyright © 1999-2005 RIACA, Technische Universiteit Eindhoven (TU/e).
Copyright © 2005 OMLib @ Sourceforge.net. All Rights Reserved.