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

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

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

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 21 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 3 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 5 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...

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

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

MACSE
 Referenced in 1 article
[sw37902]
 multiple sequence alignment program that explicitly accounts for the underlying codon structure of proteincoding ... ratio of nonsynonymous to synonymous substitutions. Here, we present MACSE v2, a major update with...

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

EvoVGM
 Referenced in 1 article
[sw42445]
 evolutionaryoriented deep generative models do not explicitly consider the underlying evolutionary dynamics of biological ... tuned for continuoustime Markov chain substitution models such as JC69...

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

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

GeM
 Referenced in 100 articles
[sw00332]
 We present a recently developed Maplebased “GeM...

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

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

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