• ALF

  • Referenced in 62 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...
  • 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 ... best-fit partitioning schemes and nucleotide substitution models. These methods allow millions of partitioning schemes...
  • Global Arrays

  • Referenced in 9 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...
  • 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 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...
  • 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 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...
  • 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 high-level language and interactive...
  • NTL

  • Referenced in 187 articles [sw00638]
  • NTL is a high-performance, portable C++ library...