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

• M3D-C

• Referenced in 8 articles [sw09200]
• M3D is a Multilevel, 3D, parallel, plasma simulation code developed by a multi-institution collaboration. It is suitable for performing linear and non-linear 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 object-oriented systems must provide a higher level of ...

• M4RI

• Referenced in 9 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 26 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 44 articles [sw00536]
• MA57---a 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 positive-definite symmetric systems from finite-element 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: spreadsheet-based 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 semi-rectifying algebraic and differential systems using scaling type Lie point symmetries with linear algebra We present two new algorithms based on Lie ...

• Macaulay2

• Referenced in 988 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 ...