Category:SPAD: Difference between revisions

Category:SPAD (view source)

4 bytes removed , 8 years ago

m

no edit summary

Anonymous user

Revision as of 01:28, 10 April 2016 (view source) rosettacode>Nilqed No edit summary ← Older edit		Latest revision as of 01:37, 10 April 2016 (view source) rosettacode>Nilqed mNo edit summary
(One intermediate revision by the same user not shown)
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 ~~can~~ is used in compiler - or interpreter mode.