Oberwolfach References on Mathematical Software

2 Search Results

Axiom

Axiom is a general purpose Computer Algebra system. It is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler.

More information

Kenzo

Kenzo is a program for effective algebraic topology

More information