• k-Wave

• Referenced in 31 articles [sw07387]
• based reconstruction, time reversal is shown to be sufficiently general that it can also...

• FastTree

• Referenced in 9 articles [sw28979]
• FastTree uses the Jukes-Cantor or generalized time-reversible (GTR) models of nucleotide evolution...

• STL

• Referenced in 79 articles [sw11800]
• Compile-time advances of the C++ standard template library. The C++ Standard Template Library ... These scenarios are related to allocators and reverse iterators. We emit warnings while these constructs ... compiler. We also present a general approach to emit “customized” warnings. We support...

• Recodon

• Referenced in 3 articles [sw35372]
• implemented is an extension to the general time-reversible model of nucleotide substitution with...

• GARLI

• Referenced in 1 article [sw29598]
• performs heuristic phylogenetic searches under the General Time Reversible (GTR) model of nucleotide substitution...

• IBCN

• Referenced in 3 articles [sw03452]
• some extensions to the general theory applicable to superposed, time-reversible Markovian Rate Process ... with respect to the system parameters. The general framework is then carried over...

• REVEAL

• Referenced in 28 articles [sw36999]
• Reveal, a general reverse engineering algorithm for inference of genetic network architectures. Given the immanent ... state transition tables of Boolean nets, resemble time series of gene expression. By systematically analyzing...

• jacobi2.0

• Referenced in 5 articles [sw06052]
• test the Jacobi identity for a given generalized `Poisson’ bracket. Novel frameworks for nonequilibrium thermodynamics ... have been established, which require that the reversible part of motion of thermodynamically admissible models ... identity in order to ensure the full time-structure invariance of equations of motion...

• ADOL-C

• Referenced in 249 articles [sw00019]
• ADOL-C: Automatic Differentiation of C/C++. We present...

• ANSYS

• Referenced in 704 articles [sw00044]
• ANSYS offers a comprehensive software suite that spans...

• ASTA

• Referenced in 16 articles [sw00051]
• ASTA is a tool for research in predictions...

• BoomerAMG

• Referenced in 196 articles [sw00086]
• BoomerAMG: A parallel algebraic multigrid solver and preconditioner...

• cdd

• Referenced in 115 articles [sw00114]
• The program cdd+ (cdd, respectively) is a C...

• CGAL

• Referenced in 394 articles [sw00118]
• The goal of the CGAL Open Source Project...

• CoCoA

• Referenced in 654 articles [sw00143]
• CoCoA is a system for Computations in Commutative...

• Coq

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

• GAP

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

• GAUSS

• Referenced in 119 articles [sw00322]
• The GAUSS Mathematical and Statistical System is a...

• HSL

• Referenced in 279 articles [sw00418]
• HSL (formerly the Harwell Subroutine Library) is a...

• Isabelle

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