
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. Bestinclass 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 realtime 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]
 numericalgraphical 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...