
ALF
 Referenced in 67 articles
[sw08603]
 Löf’s Monomorphic Type Theory with Explicit Substitution. This thesis describes the implementation ... MartinLöf’s type theory with explicit substitutions. ALF is a general purpose proof assistant...

SUBSEXPL
 Referenced in 3 articles
[sw00923]
 SUBSEXPL used for simulating and comparing explicit substitutions calculi. The system allows the manipulation ... three different styles of explicit substitutions: the $\lambda\sigma$, the $\lambda ... provided for each style. Other explicit substitutions calculi can be easily incorporated into the system ... lambda$terms and terms of the explicit substitutions calculi are represented in its natural syntax...

LeoPARD
 Referenced in 6 articles
[sw13554]
 calculus with nameless spine notation, explicit substitutions, and perfect term sharing) with an ambitious multi...

MLOG
 Referenced in 2 articles
[sw02152]
 corollary, a strict λcalculus with explicit substitutions on named variables is shown...

Dynaflow
 Referenced in 13 articles
[sw34674]
 both static and transient analyses, an implicitexplicit predictor(multi)corrector scheme is used ... nonlinear implicit solution algorithms available include: successive substitutions, NewtonRaphson, modified Newton and quasiNewton...

Parsol
 Referenced in 20 articles
[sw00684]
 version of the algorithm is created by substituting some header files (to switch from sequential ... cons. Also, in ParSol, the programmer must explicitely specify the computational stencil in order...

Global Arrays
 Referenced in 10 articles
[sw07425]
 dense multidimensional arrays, without need for explicit cooperation by other processes. Unlike other shared ... have been designed to complement rather than substitute for the messagepassing programming model...

Partitionfinder
 Referenced in 2 articles
[sw23033]
 Partitionfinder: combined selection of partitioning schemes and substitution models for phylogenetic analyses. In phylogenetic analyses ... this, partitioning schemes are often chosen without explicit statistical justification. Here, we describe ... bestfit partitioning schemes and nucleotide substitution models. These methods allow millions of partitioning schemes...

qFunctions
 Referenced in 2 articles
[sw30803]
 recurrences for given qseries and fitting/finding explicit expressions for sequences of polynomials. This package ... greatest common divisor of recurrences, and formal substitutions. Here, we also extend the classical method...

XASP
 Referenced in 5 articles
[sw13876]
 XASP, clauses must be explicitly added to a store and evaluated; furthermore clauses ... user backtracks not only through answer substitutions for variables of Q, but also through...

RNAcode
 Referenced in 1 article
[sw11718]
 software. Our algorithm combines information from nucleotide substitution and gap patterns in a unified framework ... alignment and sequencing errors. It uses an explicit statistical model with no machine learning component...

IBCN
 Referenced in 3 articles
[sw03452]
 quantities factoredout. The paper also provides explicit and stably computable formulae for upper bounds ... features resembling homogeneous systems. The possibility to substitute an “equivalent” homogeneous system of reduced order...

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

gmp
 Referenced in 261 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Isabelle
 Referenced in 602 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LAPACK
 Referenced in 1600 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Magma
 Referenced in 2751 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 4977 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5766 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 11686 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...