
MAMBO
 Referenced in 1 article
[sw07685]
 attractive computer simulation and animation programs. The instructional objectives are to prepare the student ... Technology in Stockholm, Sweden. This excellent research exposition deserves a wide distribution and acceptance...

CXSC
 Referenced in 103 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

LAPACK
 Referenced in 1438 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Mathematica
 Referenced in 4833 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 8412 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

EISPACK
 Referenced in 453 articles
[sw04208]
 EISPACK is a collection of Fortran subroutines that...

LINPACK
 Referenced in 454 articles
[sw04209]
 LINPACK is a collection of Fortran subroutines that...

Logisim
 Referenced in 2 articles
[sw06979]
 Logisim is a free and open source educational...

STACK
 Referenced in 8 articles
[sw07549]
 STACK: System for Teaching and Assessment using a...

Z
 Referenced in 259 articles
[sw10291]
 Using Z. Specification, refinement, and proof. The book...

PASCALXSC
 Referenced in 94 articles
[sw18863]
 PASCALXSC: PASCAL for Extended Scientific Computing. The...