• E-CELL

• Referenced in 22 articles [sw07917]
• biochemical and genetic simulation has isolated well-characterized pathways for detailed analysis, but methods ... CELL system allows a user to define functions of proteins, protein-protein interactions, protein ... cell behavior by numerically integrating the differential equations described implicitly in these reaction rules...

• PurityFiltration

• Referenced in 10 articles [sw07656]
• standard computer algebra systems. Moreover, this characterization of grade filtration is shown to induce ... formed by equidimensional diagonal blocks. The linear functional system associated with the left D-module ... cascade by successively solving inhomogeneous linear functional systems defined by equidimensional homogeneous linear systems ... underdetermined/overdetermined linear systems of partial differential equations can be explicitly integrated by the Maple package...

• CkAnalytic

• Referenced in 6 articles [sw19313]
• varying regularity. This work treats a functional analytic framework for computer assisted Fourier analysis which ... numerical approximations of solutions of differential equations. An abstract a posteriori theorem is employed ... exponential decay rates in order to characterize the regularity of our results. We illustrate...

• Lincx

• Referenced in 1 article [sw20270]
• with first-class (linear) contexts and an equational theory of context joins that can otherwise ... functions, and assumptions. We describe a decidable type-theoretic foundation for Lincx that only characterizes ... canonical forms and show that our equational theory of context joins is associative and commutative...

• MOL

• Referenced in 2 articles [sw08682]
• slope limiters, the choice between several monitor functions, automatic grid adaptation to the initial condition ... problems characterized by solutions with steep moving fronts, including the Buckley-Leverett equation...

• AAPL

• Referenced in 1 article [sw27882]
• symmetry analysis, it solves the Boltzmann transport equation to obtain κℓ, and allows a fully ... characterized by strong electron localization and correlation. Combining AAPL with the pseudo-hybrid functional ACBN0...

• ANSYS

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

• ATLAS

• Referenced in 197 articles [sw00056]
• This paper describes the Automatically Tuned Linear Algebra...

• complib

• Referenced in 30 articles [sw00149]
• COMPlib: COnstraint matrix-optimization problem library–a collection...

• Concepts

• Referenced in 20 articles [sw00151]
• The authors show how mathematical concepts can be...

• FEMLAB

• Referenced in 56 articles [sw00274]
• COMSOL Multiphysics, vormals FEMLAB, ist eine Software zur...

• GAP

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

• Gmsh

• Referenced in 576 articles [sw00366]
• Gmsh is a 3D finite element grid generator...

• ISOGAT

• Referenced in 281 articles [sw00457]
• A tutorial 2D MATLAB code for solving elliptic...

• Macaulay2

• Referenced in 1658 articles [sw00537]
• Macaulay2 is a software system devoted to supporting...

• Magma

• Referenced in 2857 articles [sw00540]
• Computer algebra system (CAS). Magma is a large...

• Maple

• Referenced in 5040 articles [sw00545]
• The result of over 30 years of cutting...

• Mathematica

• Referenced in 5883 articles [sw00554]
• Almost any workflow involves computing results, and that...

• Matlab

• Referenced in 12074 articles [sw00558]
• MATLAB® is a high-level language and interactive...

• mclust

• Referenced in 257 articles [sw00563]
• R package mclust: Normal Mixture Modeling for Model...