
ECELL
 Referenced in 22 articles
[sw07917]
 biochemical and genetic simulation has isolated wellcharacterized pathways for detailed analysis, but methods ... CELL system allows a user to define functions of proteins, proteinprotein 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 Dmodule ... 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 firstclass (linear) contexts and an equational theory of context joins that can otherwise ... functions, and assumptions. We describe a decidable typetheoretic 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 BuckleyLeverett 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 pseudohybrid 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 matrixoptimization 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 highlevel language and interactive...

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