
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 ... builtin. The Isar subsystem is tightly integrated into the Isabelle/Pure metalogic 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...

WAVESL
 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 specialpurpose 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...

CXSC 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 highlevel 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 highlevel language, primarily...