
Mathematica
 Referenced in 6337 articles
[sw00554]
 developing embedded imagerecognition algorithms or teaching calculus. Mathematica is renowned as the world...

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

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

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

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

Z
 Referenced in 282 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 381 articles
[sw04203]
 joins geometry, algebra, tables, graphing, statistics and calculus in one easytouse package...

Pesca
 Referenced in 160 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...

JML
 Referenced in 189 articles
[sw04597]
 languages, with some elements of the refinement calculus...

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

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

CafeOBJ
 Referenced in 171 articles
[sw06232]
 properties of infinitestate systems using predicate calculus in the settheoretic iterative calculation...

LCF
 Referenced in 158 articles
[sw08360]
 inspired by Milner’s Calculus of Communicating Systems...

LEGO
 Referenced in 107 articles
[sw09685]
 systems  the Edinburgh Logical Framework (LF), the Calculus of Constructions (CC), the Generalized Calculus...

Featherweight Java
 Referenced in 91 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 lambdacalculus does to languages such...

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

SLMC
 Referenced in 74 articles
[sw04604]
 Checker is a tool for verifying πcalculus systems against safety, liveness, and structural properties ... tools for verifying systems modeled in πcalculus...

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

pcalg
 Referenced in 90 articles
[sw06072]
 using the IDA algorithm (based on docalculus of Judea Pearl) are provided for CPDAGs...

Circus
 Referenced in 90 articles
[sw21828]
 imperative CSP, Z, and the refinement calculus. We describe the language of Circus...