
Maple
 Referenced in 5199 articles
[sw00545]
 functions, Maple offers the breadth, depth, and performance to handle every type of mathematics. Maple ... multiple styles of interaction, from Clickable Math™ tools to a sophisticated programming language. Using...

CUDA
 Referenced in 1230 articles
[sw03258]
 GPUs, math libraries, and tools for debugging and optimizing the performance of your applications...

Scilab
 Referenced in 168 articles
[sw00834]
 continuous and discrete optimization problems. Statistics: Tools to perform data analysis and modeling Control System...

Esterel
 Referenced in 163 articles
[sw20012]
 explicit or BDDbased verification tools that perform either bisimulation reduction or safety property checking...

PRISM
 Referenced in 423 articles
[sw01186]
 this paper we describe PRISM, a tool being developed at the University of Birmingham ... continuoustime Markov chains. Analysis is performed through model checking such systems against specifications written ... probabilistic temporal logics PCTL and CSL. The tool features three model checking engines: one symbolic ... been successfully used to analyse probabilistic termination, performance, and quality of service properties...

IPython
 Referenced in 66 articles
[sw15655]
 projects. Easy to use, high performance tools for parallel computing...

FEniCS
 Referenced in 648 articles
[sw04314]
 development of innovative concepts and tools for automated scientific computing, with a particular focus ... comprehensive library of finite elements, high performance linear algebra and many more...

z3
 Referenced in 515 articles
[sw04887]
 highperformance theorem prover being developed at Microsoft Research.Z3 supports linear real and integer arithmetic ... number of program analysis, testing, and verification tools from Microsoft Research. These include: VCC, Spec...

PEPA
 Referenced in 116 articles
[sw10692]
 PEPA: Performance Evaluation Process Algebra. PEPA tools: The PEPA process algebra is supported ... Plugin contains a PEPA editor and performance analysers which use Markov chain...

SimpleScalar
 Referenced in 57 articles
[sw12226]
 publicly available simulation tools that offer both detailed and highperformance simulation of modern microprocessors ... release offers more tools and capabilities, precompiled binaries, cleaner interfaces, better documentation, easier installation, improved ... higher performance. This paper contains a complete description of the tool set, including retrieval...

NSDTST
 Referenced in 78 articles
[sw10818]
 method and without the tools themselves affecting the performance of the method. [For the algorithm...

STDTST
 Referenced in 78 articles
[sw10819]
 method and without the tools themselves affecting the performance of the method. [For the algorithm...

SU2
 Referenced in 45 articles
[sw19896]
 source collection of C++ based software tools for performing Partial Differential Equation (PDE) analysis...

gfun
 Referenced in 138 articles
[sw00344]
 package provides tools for determining and manipulating generating functions. You can perform computations with generating...

SPARSKIT
 Referenced in 227 articles
[sw07692]
 which we provide a number of tools. Among other things the package provides programs ... matrix, plotting a matrix pro le, performing basic linear algebra operations with sparse matrices...

SHARPE
 Referenced in 42 articles
[sw03100]
 Symbolic Hierarchical Automated Reliability and Performance Evaluator) is a tool for specifying and analyzing performance...

JuMP
 Referenced in 91 articles
[sw16108]
 unique functionality while achieving performance on par with commercial modeling tools for standard tasks...

Kronos
 Referenced in 263 articles
[sw01270]
 KRONOS is a tool developed with the aim to verify complex realtime systems. Real ... time systems are systems that must perform a task within strict time deadlines. Embedded controllers...

PHCpack
 Referenced in 222 articles
[sw00705]
 variety of rootcounting methods among its tools. The outline of one blackbox solver ... report is given on its performance on a large database of test problems. The software...

DAISY
 Referenced in 45 articles
[sw09059]
 DAISY: A new software tool to test global identifiability of biological and physiological systems ... before investing resources, time and effort in performing actual biomedical experiments. Many interesting biological models ... describe a software tool implementing a differential algebra algorithm to perform parameter identifiability analysis ... and/or difficult to perform. Practical examples of use of the software tool DAISY are presented...