• 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 10 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 27 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 47 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 1000 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 ...