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