• Mathematica

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

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

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

  • Referenced in 1512 articles [sw04215]
  • using a common model data structure and integrated solver technology. Best-in-class companies...
  • PETSc

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

  • Referenced in 779 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 911 articles [sw01059]
  • subject to initial conditions, boundary conditions, and integral constraints. Here p denotes one or more...
  • Stata

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

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

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

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

  • Referenced in 640 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling, simulation and verification of real-time systems...
  • PVS

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

  • Referenced in 605 articles [sw06293]
  • numerical routines such as routines for numerical integration and optimization. Together, they...
  • HLLE

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

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

  • Referenced in 371 articles [sw01026]
  • programme are: flexibility in the integration schemes (subtriangles, subquadrilaterals, independent near-tip, and discontinuous quadrature ... rules); domain integral methods for homogeneous and bi-material interface cracks arbitrarily oriented with respect...
  • ode23

  • Referenced in 298 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...
  • Scikit

  • Referenced in 442 articles [sw08058]
  • python. Scikit-learn is a Python module integrating a wide range of state...
  • INTLAB

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