• ALF

  • Referenced in 67 articles [sw08603]
  • Löf’s Monomorphic Type Theory with Explicit Substitution. This thesis describes the implementation ... Martin-Lö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 implicit-explicit predictor-(multi)corrector scheme is used ... nonlinear implicit solution algorithms available include: successive substitutions, Newton-Raphson, modified Newton and quasi-Newton...
  • 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 ... best-fit partitioning schemes and nucleotide substitution models. These methods allow millions of partitioning schemes...
  • qFunctions

  • Referenced in 5 articles [sw30803]
  • recurrences for given q-series 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 multi-dimensional arrays, without need for explicit cooperation by other processes. Unlike other shared ... have been designed to complement rather than substitute for the message-passing 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 protein-coding ... ratio of nonsynonymous to synonymous substitutions. Here, we present MACSE v2, a major update with...
  • IBCN

  • Referenced in 3 articles [sw03452]
  • quantities factored-out. 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]
  • evolutionary-oriented deep generative models do not explicitly consider the underlying evolutionary dynamics of biological ... tuned for continuous-time 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 Maple-based “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...