• JoCaml

  • Referenced in 26 articles [sw02065]
  • JoCaml. JoCaml is an extension of the Objective Caml language. It extends OCaml with support ... JoCaml is based on the join calculus. This model is characterized by an explicit notion...
  • GAP

  • Referenced in 3003 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Macaulay2

  • Referenced in 1776 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 5220 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 253 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 6129 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12721 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • GeoGebra

  • Referenced in 375 articles [sw04203]
  • GeoGebra is free and multi-platform dynamic mathematics...
  • AspectJ

  • Referenced in 130 articles [sw04426]
  • aspect-oriented extension to the Java. AspectJ TM...
  • mctoolbox

  • Referenced in 1440 articles [sw04827]
  • The Matrix Computation Toolbox is a collection of...
  • z3

  • Referenced in 515 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • XQuery

  • Referenced in 123 articles [sw06669]
  • XML is a versatile markup language, capable of...
  • OEIS

  • Referenced in 3878 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • Pict

  • Referenced in 71 articles [sw08929]
  • Pict is a language in the ML tradition...
  • Pastry

  • Referenced in 107 articles [sw11775]
  • Pastry: Scalable, decentralized object location, and routing for...
  • TETRAD

  • Referenced in 399 articles [sw12177]
  • TETRAD is a program which creates, simulates data...
  • INGRES

  • Referenced in 64 articles [sw14901]
  • INGRES -A relational data base management system. ...
  • Intel TBB

  • Referenced in 64 articles [sw15025]
  • Intel® Threading Building Blocks (Intel® TBB). Widely used...
  • XPath

  • Referenced in 373 articles [sw15780]
  • XPath 2.0 is an expression language that allows...