• Isar

  • Referenced in 145 articles [sw04599]
  • quite independent of the underlying logic, and integrates a broad range of automated proof methods ... consists either of proper document constructors, or improper auxiliary commands (for diagnostics, exploration etc.). Proof ... built-in. The Isar subsystem is tightly integrated into the Isabelle/Pure meta-logic implementation. Theories...
  • EMLCLLER

  • Referenced in 2 articles [sw09164]
  • analytical numerical approach for evaluating the improper integrals occurring in the expressions of EM field...
  • AMGKQ

  • Referenced in 1 article [sw27197]
  • integrals over a common domain simultaneously. Improper integrals are addressed through singularity weakening coordinate transformations...
  • WAVES-L

  • Referenced in 1 article [sw29045]
  • wavefield are computed using the numerical integration of improper contour integrals. The calculation of dispersion...
  • MetaboAnalyst

  • Referenced in 3 articles [sw28993]
  • MetaboAnalyst - statistical, functional and integrative analysis of metabolomics data. The purpose of MetaboAnalyst ... than 10) will cause some functions work improperly...
  • Cadabra

  • Referenced in 92 articles [sw00097]
  • Cadabra is a powerful computer program for the...
  • CASA

  • Referenced in 111 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • CoCoA

  • Referenced in 659 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC 2.0

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • GAP

  • Referenced in 3221 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • KANT/KASH

  • Referenced in 157 articles [sw00481]
  • KASH/KANT is a computer algebra system (CAS) for...
  • LSQR

  • Referenced in 410 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • Macaulay2

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

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

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

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

  • Referenced in 100 articles [sw00604]
  • Algorithm 835: MultRoot - a Matlab package for computing...
  • Octave

  • Referenced in 312 articles [sw00646]
  • GNU Octave is a high-level language, primarily...