[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] Openmath, Singular

From: Michael Brickenstein
Subject: [Axiom-developer] Openmath, Singular
Date: Fri, 30 Sep 2005 09:39:12 +0200


I am a member from the Singular team.
Singular is a computer algebra system for Algebraic Geometry/ Singularity Theory/Commutative Algebra.
It provides functionality with focus in the areas
Gröbner bases (even standard bases), primary decomposition, free resolutions, syzygies, polynomial equations.

We are working on providing our functionality to other systems via the openmath standard.
We base our work at the moment on the polyd content dictionary.
How is the status for openmath in Axiom?
Are you interested in connecting with Singular?
Can I test your Openmath functionality (maybe some examples, since I don't know axiom)?

At the moment I have written a prototype implementation for Singular, which has the core functionality of openmath and in especial provides the possibility to calculate Groebner Bases.

I hope, that this proposal could be the basis of a future cooperation.

Michael Brickenstein

reply via email to

[Prev in Thread] Current Thread [Next in Thread]