Anonymous user
Category:SPAD: Difference between revisions
m
no edit summary
No edit summary |
mNo edit summary |
||
Line 4:
|gc=yes
|LCT=yes}}{{implementation|FriCAS,Axiom,OpenAxiom}}{{language programming paradigm|Declarative}}
[http://fricas.github.io/ SPAD] is programming language used by the Fricas Computer Algebra System (as well as by Axiom and OpenAxiom). It is a multiparadigm language with second order dependent types. It is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy and
SPAD libraries implement a hierarchy of algebraic structures (e.g. groups, rings, fields)
<br clear=all>
|