• 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...
  • C-XSC

  • Referenced in 103 articles [sw00181]
  • C-XSC. 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 high-level 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...
  • PASCAL-XSC

  • Referenced in 94 articles [sw18863]
  • PASCAL-XSC: PASCAL for Extended Scientific Computing. The...