
ALF
 Referenced in 62 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...

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...

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...

Global Arrays
 Referenced in 9 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...

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...

qFunctions
 Referenced in 1 article
[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 3 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...

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 1696 articles
[sw00161]
 Coq is a formal proof management system. It...

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

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

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

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

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

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

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

NTL
 Referenced in 187 articles
[sw00638]
 NTL is a highperformance, portable C++ library...