Results 1 to 20 of 1057
Sort by:

  • Matlab
  • Referenced in 13559 articles [sw00558]
  • high-level language and interactive environment for numerical computation, visualization, and programming. Using MATLAB...

  • Coq
  • Referenced in 1898 articles [sw00161]
  • theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications...

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

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

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

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

  • Schwarz-Christoffel
  • Referenced in 235 articles [sw00833]
  • language, exploits the high-level functions, interactive environment, visualization tools, and graphical user interface elements...

  • MACSYMA
  • Referenced in 720 articles [sw01209]
  • report-quality graphics interactive scientific notebooks a user programming environment...

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

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

  • SAS/IML
  • Referenced in 82 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...

  • Cinderella
  • Referenced in 153 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...

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

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

  • MOCHA

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

  • Pyomo
  • Referenced in 72 articles [sw04910]
  • line interface and within Python’s interactive command environment, which makes it easy to create...

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

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

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

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