
M2Z
 Referenced in 1 article
[sw00532]
 This paper discusses the design of a tool for translating a natural language software specification into a formal specification. The input to the tool are ...

M3DC
 Referenced in 7 articles
[sw09200]
 M3D is a Multilevel, 3D, parallel, plasma simulation code developed by a multiinstitution collaboration. It is suitable for performing linear and nonlinear calculations of plasmas ...

M3RK
 Referenced in 10 articles
[sw00533]
 Algorithm 553: M3RK, an explicit time integrator for semidiscrete parabolic equations

M3Set
 Referenced in 1 article
[sw01567]
 M3Set  A language for handling of distributed and persistent sets of objects. We claim that distributed objectoriented systems must provide a higher level of ...

M4RI
 Referenced in 8 articles
[sw00534]
 M4RI is a library for fast arithmetic with dense matrices over F2. It was started by Gregory Bard, is maintained by Martin Albrecht. Several people ...

M4RIE
 Referenced in 3 articles
[sw11541]
 The M4RIE library for dense linear algebra over small fields with even characteristic. We describe algorithms and implementations for linear algebra with dense matrices over ...

MA27
 Referenced in 25 articles
[sw12393]
 The sparse indefinite solver MA27 from the Harwell subroutine library.

MA28
 Referenced in 26 articles
[sw17582]
 MA28  A Set of Fortran Subroutines for Sparse Unsymmetric Linear Equations.

MA32
 Referenced in 23 articles
[sw13174]
 MA32 A package for solving sparse unsymmetric systems using the frontal method.

MA41
 Referenced in 1 article
[sw13146]
 MA41 Sparse unsymmetric system: unsymmetric multifrontal method. To solve a sparse unsymmetric system of linear equations. Given an unsymmetric square sparse matrix A of order ...

MA42
 Referenced in 16 articles
[sw13134]
 MA42 a new frontal code for solving sparse unsymmetric systems. We describe the design, implementation, and performance of a frontal code for the solution of ...

MA47
 Referenced in 29 articles
[sw13133]
 MA47, a fortran code for direct solution of indefinite sparse symmetric linear systems.

MA48
 Referenced in 16 articles
[sw00535]
 The design of MA48: A code for the direct solution of sparse unsymmetric linear systems of equations We describe the design of a new code ...

MA57
 Referenced in 43 articles
[sw00536]
 MA57a code for the solution of sparse symmetric definite and indefinite systems. We introduce a new code for the direct solution of sparse symmetric linear ...

MA62
 Referenced in 4 articles
[sw13135]
 MA62 a frontal code for sparse positivedefinite symmetric systems from finiteelement applications. We describe the design, implementation, and performance of a frontal code for the ...

MAANOVA
 Referenced in 4 articles
[sw08357]
 MAANOVA: A Software Package for the Analysis of Spotted cDNA Microarray Experiments. We describe a software package called MAANOVA (MicroArray ANalysis Of VAriance). MAANOVA is ...

MABS
 Referenced in 1 article
[sw14816]
 MABS: spreadsheetbased decision support for precision marketing. We describe a decision support system developed for automatically scheduling and optimising broadcasts of advertisements to mobile phones ...

MABSys
 Referenced in 3 articles
[sw13398]
 A method for semirectifying algebraic and differential systems using scaling type Lie point symmetries with linear algebra We present two new algorithms based on Lie ...

Macaulay2
 Referenced in 933 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting research in algebraic geometry and commutative algebra, whose creation has been funded by the National Science Foundation ...

macc
 Referenced in 0 articles
[sw17553]
 R package macc. Mediation Analysis of Causality under Confounding. Performs causal mediation analysis under confounding or correlated errors. This package includes a single level mediation ...