• Mathematica

  • Referenced in 3917 articles [sw00554]
  • developing embedded image-recognition algorithms or teaching calculus. Mathematica is renowned as the world...
  • MACSYMA

  • Referenced in 667 articles [sw01209]
  • numeric manipulation and solution capabilities in algebra, calculus and numerical analysis 2D and 3D report...
  • KernSmooth

  • Referenced in 625 articles [sw04586]
  • book only a basic knowledge of statistics, calculus and matrix algebra is assumed...
  • Isabelle

  • Referenced in 378 articles [sw00454]
  • proving those formulas in a logical calculus. The main application is the formalization of mathematical...
  • Isabelle/HOL

  • Referenced in 364 articles [sw01569]
  • proving those formulas in a logical calculus. The main application is the formalization of mathematical...
  • Z

  • Referenced in 203 articles [sw10291]
  • with the exception of the natural deduction calculus, see below -- only introduction ... integration of $Z$ with the refinement calculus and data refinement. The overall presentation is fluent ... tedious exposition of the natural deduction calculus, which is not used further ... although all necessary notions from the relational calculus are introduced, its algebraic properties...
  • GeoGebra

  • Referenced in 266 articles [sw04203]
  • joins geometry, algebra, tables, graphing, statistics and calculus in one easy-to-use package...
  • JML

  • Referenced in 155 articles [sw04597]
  • languages, with some elements of the refinement calculus...
  • GOLOG

  • Referenced in 153 articles [sw02159]
  • extended version of the situation calculus. A prototype implementation in Prolog has been developed...
  • CafeOBJ

  • Referenced in 129 articles [sw06232]
  • properties of infinite-state systems using predicate calculus in the set-theoretic iterative calculation...
  • LISP

  • Referenced in 109 articles [sw07201]
  • notation of Alonzo Church’s lambda calculus. It quickly became the favored programming language...
  • LCF

  • Referenced in 105 articles [sw08360]
  • inspired by Milner’s Calculus of Communicating Systems...
  • Pesca

  • Referenced in 71 articles [sw13664]
  • PESCA = Proof Editor for Sequent Calculus: Pesca is a program that helps in the construction ... proofs in sequent calculus. It works both as a proof editor and as an automatic...
  • CRONE

  • Referenced in 98 articles [sw07382]
  • Matlab and Simulink Toolbox dedicated to fractional calculus. The original theoretical and mathematical concepts, developed...
  • SLMC

  • Referenced in 61 articles [sw04604]
  • Checker is a tool for verifying π-calculus systems against safety, liveness, and structural properties ... tools for verifying systems modeled in π-calculus...
  • Featherweight Java

  • Referenced in 50 articles [sw16204]
  • Featherweight Java: A minimal core calculus for Java and GJ. Several recent studies have introduced ... even assignment) to obtain a small calculus, Featherweight Java, for which rigorous proofs ... similar relation to Java as the lambda-calculus does to languages such...
  • DERIVE

  • Referenced in 56 articles [sw02964]
  • fields of arithmetic, algebra, trigonometry, calculus, linear algebra, and propositional calculus can be solved with...
  • LEGO

  • Referenced in 53 articles [sw09685]
  • systems - the Edinburgh Logical Framework (LF), the Calculus of Constructions (CC), the Generalized Calculus...
  • DIMSYM

  • Referenced in 71 articles [sw04279]
  • EXCALC so that all the machinery of calculus on manifolds can be utilised from within...
  • ConGolog

  • Referenced in 41 articles [sw01801]
  • concurrent programming language based on the situation calculus As an alternative to planning, an approach ... considered. A formal definition in the situation calculus of such a programming language is presented ... user-defined by axioms in the situation calculus. Some mathematical properties of the language...