
KernSmooth
 Referenced in 880 articles
[sw04586]
 data sets without the imposition of a parametric model. The main goal of this book ... book only a basic knowledge of statistics, calculus and matrix algebra is assumed...

Church
 Referenced in 48 articles
[sw08946]
 based on the Lisp model of lambda calculus, containing a pure Lisp as its deterministic ... enables simple description of many complex nonparametric models. We illustrate language features through several...

KeYmaera
 Referenced in 40 articles
[sw03709]
 KeYmaera implements a generalized freevariable sequent calculus and automatic proof strategies that decompose ... tool is particularly suitable for verifying parametric hybrid systems and has been used successfully...

xTensor
 Referenced in 26 articles
[sw04984]
 xTensor extends Mathematica capabilities in abstract tensor calculus, specially in General Relativity. It works with ... computes covariant derivatives, Lie derivatives and parametric derivatives. It allows the presence of a metric...

Moby/DC
 Referenced in 5 articles
[sw01395]
 checking parametric realtime specifications. We define an operational subset of Duration Calculus, called phase...

CoqMTU
 Referenced in 3 articles
[sw19138]
 parametrized by a decidable firstorder theory. e study a complex type theory, a Calculus...

TemplateCoq
 Referenced in 2 articles
[sw27569]
 derive parametricity properties [3], and to extract Coq terms to a CBV $lambda$calculus ... generalize it to handle the entire Calculus of Inductive Constructions (CIC), as implemented ... examples of implemented plugins, including a parametricity translation. We also advocate the use of Template...

LBS
 Referenced in 14 articles
[sw12372]
 with modularity. It is based on the Calculus of Biochemical Systems (CBS) which affords modular ... syntax and a general semantics which is parametric on a structure pertaining to the specific...

Graphmatica
 Referenced in 1 article
[sw05930]
 numerical and calculus features: Graph Cartesian functions, relations, and inequalities, plus polar, parametric, and ordinary ... anything from highschool algebra through college calculus...

Advanced Grapher
 Referenced in 0 articles
[sw05933]
 functions, tables, polar, parametric, implicit functions, inequalities etc.), calculus features (regression, integration, derivatives etc), lots...

DeadLine
 Referenced in 0 articles
[sw05974]
 optimization problems: find local extremaintegrate functions numericallysolve parametric equationsobtain an indepth analysis ... functionsave results: equations, graphs, roots and extremasolve Calculus assignments in your own language...

LocUsT
 Referenced in 1 article
[sw20430]
 Usages are expressed in a simple process calculus, and overapproximate all the resource accesses ... patterns, represented through a finite state automaton parametrized over resources. Finally, LocUsT decides whether some...

Sofia
 Referenced in 1 article
[sw30125]
 this paper we propose a new calculus, called hyperS tableaux, which overcomes substantial drawbacks ... support of the socalled parametrized theorems, which makes the prover able to give compound...

ACL2
 Referenced in 275 articles
[sw00060]
 ACL2 is both a programming language in which...

AXIOM
 Referenced in 169 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

CGAL
 Referenced in 344 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CoCoA
 Referenced in 607 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1758 articles
[sw00161]
 Coq is a formal proof management system. It...

FGb
 Referenced in 235 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

GAP
 Referenced in 2735 articles
[sw00320]
 GAP is a system for computational discrete algebra...