PADL
2012
Springer
12 years 7 days ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
CORR
2004
Springer
13 years 4 months ago
2004
Springer
This is an example of C++ code of Clifford algebra calculations with the GiNaC computer algebra system. This code makes both symbolic and numeric computations. It was used to produ...
STOC
2004
ACM
14 years 5 months ago
2004
ACM