
Matlab
 Referenced in 12074 articles
[sw00558]
 systems, test and measurement, computational finance, and computational biology. More than a million engineers...

LMI toolbox
 Referenced in 1419 articles
[sw06383]
 tools in areas ranging from control engineering to system identification and structural design...

REDUCE
 Referenced in 739 articles
[sw00789]
 interest to mathematicians, scientists and engineers. Computer algebra system (CAS). It has been produced...

Mathematica
 Referenced in 5883 articles
[sw00554]
 hedgefund trading website or publishing interactive engineering textbooks, to developing embedded imagerecognition algorithms ... deployed individual or enterprise solutions. Computer algebra system...

ABAQUS
 Referenced in 1452 articles
[sw04215]
 engineering work groups are able to consider full vehicle loads, dynamic vibration, multibody systems, impact/crash...

dBase
 Referenced in 195 articles
[sw30472]
 system includes the core database engine, a query system, a forms engine, and a programming...

SVMlight
 Referenced in 260 articles
[sw04076]
 occur in applications like search engines and recommender systems. Futhermore, this version includes an algorithm...

PL/I
 Referenced in 174 articles
[sw25845]
 programming language designed for scientific, engineering, business and system programming uses. It has been used...

GAToolBox
 Referenced in 75 articles
[sw08681]
 Department of Automatic Control and Systems Engineering of The University of Sheffield, UK, in order ... control engineer within the framework of a existing computeraided control system design package...

Risa/Asir
 Referenced in 107 articles
[sw00806]
 whole libraries of a computer algebra system (CAS) which is under development at FUJITSU LABORATORIES ... Risa is as follows.  The basic algebraic engine This is the part which performs basic ... library of ordinary UNIX system. The algebraic engine is written mainly in C language ... standard language interface of Risa’s algebraic engine. It is one of the possible language...

SDPLIB
 Referenced in 60 articles
[sw00838]
 applications, including truss topology design, control systems engineering, and relaxations of combinatorial optimization problems...

PRISM
 Referenced in 406 articles
[sw01186]
 Analysis is performed through model checking such systems against specifications written in the probabilistic temporal ... tool features three model checking engines: one symbolic, using BDDs (binary decision diagrams) and MTBDDs ... service properties for a range of systems, including randomized distributed algorithms, manufacturing systems and workstation...

Mathcad
 Referenced in 133 articles
[sw04210]
 spend more time engineering and less time documenting. Computer Algebra system...

SciPy
 Referenced in 492 articles
[sw06293]
 opensource software for mathematics, science, and engineering. It is also the name ... Together, they run on all popular operating systems, are quick to install, and are free ... world’s leading scientists and engineers. If you need to manipulate numbers on a computer...

GAUSS
 Referenced in 116 articles
[sw00322]
 Statistical System is a fast matrix programming language widely used by scientists, engineers, statisticians, biometricians...

Aztec
 Referenced in 83 articles
[sw12817]
 large sparse linear systems arising in scientific and engineering applications. It is a standalone ... preconditioners in order to solve a linear system. The Aztec library is written...

Smodels
 Referenced in 238 articles
[sw04631]
 Smodels system is an Answer Set Programming (ASP) implementation based on the stable model semantics ... problem by letting a logic program engine to find the answer sets of the program...

LabVIEW
 Referenced in 53 articles
[sw04369]
 highly productive development environment that engineers and scientists use for graphical programming and unprecedented hardware ... deploy measurement and control systems. Within this flexible platform, engineers scale from design to test...

DAGH
 Referenced in 16 articles
[sw04162]
 Systems engineering for high performance computing software: The HDDA/DAGH infrastructure for implementation of parallel structured ... paper defines, describes and illustrates a systems engineering process for development of software systems implementing ... meshes, the HDDA/DAGH package. The fundamental systems engineering principles used (hierarchical abstractions based on separation...