• 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 non-parametric models. We illustrate language features through several...
  • KeYmaera

  • Referenced in 40 articles [sw03709]
  • KeYmaera implements a generalized free-variable 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 real-time specifications. We define an operational subset of Duration Calculus, called phase...
  • CoqMTU

  • Referenced in 3 articles [sw19138]
  • parametrized by a decidable first-order theory. e study a complex type theory, a Calculus...
  • Template-Coq

  • 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 high-school 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 in-depth 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 over-approximate 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 so-called 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...