
Mathematica
 Referenced in 6235 articles
[sw00554]
 only development platform fully integrating computation into complete workflows, moving you seamlessly from initial ideas...

Macaulay2
 Referenced in 1841 articles
[sw00537]
 projective varieties, primary decomposition of ideals, integral closure of rings, and more. Computer algebra system...

ABAQUS
 Referenced in 1561 articles
[sw04215]
 using a common model data structure and integrated solver technology. Bestinclass companies...

SAS
 Referenced in 1533 articles
[sw06377]
 Statistical Analysis System) is an integrated system of software products provided by SAS Institute...

PETSc
 Referenced in 1442 articles
[sw04012]
 parallel linear, nonlinear equation solvers and time integrators that may be used in application codes...

Excel
 Referenced in 782 articles
[sw06848]
 Excel 2003 includes a new set of integrated XML tools, enhanced list functionality, and improved ... create customized solutions with Excel that integrate a broad array of technologies, including XML, Microsoft...

AUTO
 Referenced in 922 articles
[sw01059]
 subject to initial conditions, boundary conditions, and integral constraints. Here p denotes one or more...

Stata
 Referenced in 825 articles
[sw06029]
 Stata is a complete, integrated statistical package that provides everything you need for data analysis...

Simulink
 Referenced in 799 articles
[sw04348]
 video processing, and image processing. Simulink is integrated with MATLAB®, providing immediate access...

REDUCE
 Referenced in 743 articles
[sw00789]
 extending program syntax; analytic differentiation and integration; factorization of polynomials; facilities for the solution...

MACSYMA
 Referenced in 718 articles
[sw01209]
 line commands (such as finding the indefinite integral of a function), or to perform very...

SciPy
 Referenced in 677 articles
[sw06293]
 numerical routines such as routines for numerical integration and optimization. Together, they...

Uppaal
 Referenced in 647 articles
[sw04702]
 Uppaal is an integrated tool environment for modeling, simulation and verification of realtime systems...

PVS
 Referenced in 627 articles
[sw03484]
 verification system: that is, a specification language integrated with support tools and a theorem prover...

HLLE
 Referenced in 604 articles
[sw06605]
 problem, which is only based on the integral form of the conservation laws...

z3
 Referenced in 562 articles
[sw04887]
 arrays, uninterpreted functions, and quantifiers. Z3 is integrated with a number of program analysis, testing...

ode23
 Referenced in 306 articles
[sw06600]
 odefun,tspan,y0) with tspan = [t0 tf] integrates the system of differential equations ... options) solves as above with default integration parameters replaced by property values specified in options ... each event function, you specify whether the integration is to terminate at a zero ... function. isterminal(i) = 1, if the integration is to terminate at a zero of this...

XFEM
 Referenced in 377 articles
[sw01026]
 programme are: flexibility in the integration schemes (subtriangles, subquadrilaterals, independent neartip, and discontinuous quadrature ... rules); domain integral methods for homogeneous and bimaterial interface cracks arbitrarily oriented with respect...

Scikit
 Referenced in 496 articles
[sw08058]
 python. Scikitlearn is a Python module integrating a wide range of state...

INTLAB
 Referenced in 457 articles
[sw04004]
 sequential approach, slow for many variables) verified integration of (simple) univariate functions univariate and multivariate...