
Matlab
 Referenced in 11496 articles
[sw00558]
 highlevel language and interactive environment for numerical computation, visualization, and programming. Using MATLAB...

Coq
 Referenced in 1751 articles
[sw00161]
 theorems together with an environment for semiinteractive development of machinechecked proofs. Typical applications...

Maple
 Referenced in 4919 articles
[sw00545]
 interaction, from Clickable Math™ tools to a sophisticated programming language. Using the smart document environment...

Simulink
 Referenced in 694 articles
[sw04348]
 Simulink® is an environment for multidomain simulation and ModelBased Design for dynamic ... embedded systems. It provides an interactive graphical environment and a customizable set of block libraries...

MATCONT
 Referenced in 323 articles
[sw00551]
 this toolbox was to provide an interactive environment for the continuation and normal form analysis...

SchwarzChristoffel
 Referenced in 215 articles
[sw00833]
 language, exploits the highlevel functions, interactive environment, visualization tools, and graphical user interface elements...

Matplotlib
 Referenced in 203 articles
[sw06590]
 variety of hardcopy formats and interactive environments across platforms. matplotlib can be used in python...

MACSYMA
 Referenced in 714 articles
[sw01209]
 reportquality graphics interactive scientific notebooks a user programming environment...

ELLPACK
 Referenced in 131 articles
[sw01208]
 Interactive ELLPACK: An interactive problemsolving environment for elliptic partial differential equations ELLPACK ... process is best suited for an interactive environment, ELLPACK itself is batch oriented. With this...

LiE
 Referenced in 146 articles
[sw01075]
 containing many examples. LiE establishes an interactive environment from which commands can be given that...

Cinderella
 Referenced in 141 articles
[sw00127]
 program to a wide variety of interaction scenarios. Compared to the old version ... parts were added: CindyLab, an environment for doing interactive physical experiments, and CindyScript, a high...

SAS/IML
 Referenced in 70 articles
[sw03240]
 flexible programming language in a dynamic, interactive environment for programmers, statisticians, and researchers ... statistical analysis, then employ SAS/IML software’s interactive matrix language for more specific analysis...

Matita
 Referenced in 69 articles
[sw06140]
 algorithms and theorems cohexist, and an interactive environment keeping the current status of the proof...

MOCHA
 Referenced in 88 articles
[sw12935]
 Model Checking. MOCHA is a growing interactive software environment for system specification and verification...

SICStus
 Referenced in 61 articles
[sw12440]
 give an overview of our new interactive development environment, and describe a sample...

Idris
 Referenced in 33 articles
[sw20011]
 Cumulative universes; Totality checking; Hugs style interactive environment...

ASF+SDF
 Referenced in 32 articles
[sw11316]
 Metaenvironment is an interactive development environment for the automatic generation of interactive systems ... existing implementation of the ASF+SDF Metaenvironment started exhibiting more and more characteristics...

affy
 Referenced in 31 articles
[sw08345]
 Oligonucleotide Arrays. We describe an extensible, interactive environment for data analysis and exploration of Affymetrix...

Isar
 Referenced in 138 articles
[sw04599]
 Emacs interface for interactive proof assistants, we arrive at a reasonable environment for live proof...

LOTOS
 Referenced in 150 articles
[sw02961]
 processes which interact and exchange data with each other and with their environment. LOTOS...