Results 1 to 20 of 66
Sort by:

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