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

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

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

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

ABAQUS
 Referenced in 1561 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 263 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 78 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 114 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 64 articles
[sw00838]
 applications, including truss topology design, control systems engineering, and relaxations of combinatorial optimization problems...

PRISM
 Referenced in 434 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...

SciPy
 Referenced in 677 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...

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

TensorFlow
 Referenced in 498 articles
[sw15170]
 TensorFlow was originally developed by researchers and engineers working on the Google Brain Team within ... deep neural networks research, but the system is general enough to be applicable...

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

LabVIEW
 Referenced in 56 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...

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 239 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...