• SAS

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

  • Referenced in 6445 articles [sw00554]
  • only development platform fully integrating computation into complete workflows, moving you seamlessly from initial ideas ... deployed individual or enterprise solutions. Computer algebra system...
  • Macaulay2

  • Referenced in 1958 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting research in algebraic geometry and commutative algebra ... decomposition of ideals, integral closure of rings, and more. Computer algebra system...
  • XPPAUT

  • Referenced in 464 articles [sw05543]
  • routines. Differential equations, maps, stochastic systems, delay equations, integral equations, and other systems are easily...
  • ode23

  • Referenced in 335 articles [sw06600]
  • 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...
  • bvp4c

  • Referenced in 307 articles [sw06178]
  • equations. sol = bvp4c(odefun,bcfun,solinit) integrates a system of ordinary differential equations...
  • ABAQUS

  • Referenced in 1616 articles [sw04215]
  • consider full vehicle loads, dynamic vibration, multibody systems, impact/crash, nonlinear static, thermal coupling, and acoustic ... using a common model data structure and integrated solver technology. Best-in-class companies...
  • PVS

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

  • Referenced in 791 articles [sw06293]
  • numerical integration and optimization. Together, they run on all popular operating systems, are quick...
  • Simulink

  • Referenced in 820 articles [sw04348]
  • systems, including communications, controls, signal processing, video processing, and image processing. Simulink is integrated with...
  • Uppaal

  • Referenced in 658 articles [sw04702]
  • integrated tool environment for modeling, simulation and verification of real-time systems, developed jointly...
  • Xilinx

  • Referenced in 96 articles [sw07491]
  • only programmable logic design, but programmable systems integration. Xilinx has transformed from an FPGA company ... software programmable ARM® processing systems and beyond. Xilinx offers development tools that support programmable platforms...
  • AUTO

  • Referenced in 958 articles [sw01059]
  • systems of ordinary differential equations of the form ... subject to initial conditions, boundary conditions, and integral constraints. Here p denotes one or more ... therefore it is applicable to rather large systems of differential equations...
  • CRACK

  • Referenced in 58 articles [sw07754]
  • CRACK in the classification of integrable systems. The classifications of integrable systems are obtained ... equations for large bilinear algebraic systems is presented. The integrable polynomial vector evolution equations, quadratic ... enables the obtaining of solutions of algebraic systems, ordinary, or partial differential equations with...
  • Turbo Pascal

  • Referenced in 366 articles [sw16451]
  • software development system that includes a compiler and an integrated development environment...
  • GiNaC

  • Referenced in 80 articles [sw01609]
  • designed to allow the creation of integrated systems that embed symbolic manipulations together with more...
  • TRANSFAC

  • Referenced in 74 articles [sw17201]
  • TRANSFAC: an integrated system for gene expression regulation. TRANSFAC is a database on transcription factors ... types, have been extended and are increasingly integrated with the TRANSFAC data sources...
  • Pict

  • Referenced in 73 articles [sw08929]
  • communication, and concurrent objects. The type system integrates a number of features found in recent...
  • MACSYMA

  • Referenced in 721 articles [sw01209]
  • numerical-graphical mathematics software product. Computer algebra system (CAS). You can use it to solve ... line commands (such as finding the indefinite integral of a function), or to perform very...
  • KEGG

  • Referenced in 281 articles [sw13866]
  • computer representation of the biological system, consisting of molecular building blocks of genes and proteins ... integrated with the knowledge on molecular wiring diagrams of interaction, reaction and relation networks (systems...