
CVBEM
 Referenced in 5 articles
[sw09603]
 implementation of these CVBEM modeling features on computer program Mathematica, in order to reduce programming ... requirements and to take advantage of Mathematica’s library of mathematical capabilities and graphics features...

mr
 Referenced in 2 articles
[sw22176]
 Model parameters. We present the C++ program library mr that allows us to reliably calculate ... running parameters in the Standard Model at high energy scales. The initial conditions are obtained ... also provide a Mathematica interface for this program library...

BisimDist
 Referenced in 1 article
[sw33110]
 Bisimilarity Distances for Markovian Models. This paper presents a library for exactly computing the bisimilarity ... magnitude. The tool is available as a Mathematica package library...

MpTheory
 Referenced in 1 article
[sw33000]
 enhance the modeling experience, beside a pure Java usage, the library can be directly used ... computing environments, such as MATLAB, GNU Octave, Mathematica...

Rings
 Referenced in 2 articles
[sw22196]
 briefly discuss Rings  an efficient lightweight library for univariate and multivariate polynomial arithmetic over arbitrary ... additionally brings powerful strongly typed functional programming model which allows to write short and expressive ... than in some generalpurpose systems like Mathematica. Rings is available from http://ringsalgebra.io...

pycellerator
 Referenced in 1 article
[sw34299]
 Pycellerator: an arrowbased reactionlike modelling language for biological simulations. Results: Cellerator reaction arrows ... libraries are completely independent of the old Cellerator software and do not require Mathematica. Availability...

DSR Open Lab
 Referenced in 1 article
[sw28467]
 mathematical software, for instance, MATLAB, Maple V, Mathematica, Derive, and Mathcad, which can be used ... authors’ idea of the typology of mathematical models. We also discuss the software user interface ... wizard” of mathematical model simulation. These models focus on the following mathematical structures: (1) systems ... vector space. Also we implemented a library of numeric algorithms for all mathematical structures mentioned...

Sigali
 Referenced in 1 article
[sw12303]
 equational representation of an automaton) as intermediate models for discrete event systems. It offers functionalities ... means of (predefined) functions using a Mathematicabased language. Using Sigali, one can create predicates ... functions, allowing, from example, to have libraries of functions dedicated to controller synthesis, optimal control...

ANSYS
 Referenced in 655 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

AXIOM
 Referenced in 170 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

Cinderella
 Referenced in 144 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

CLIFFORD
 Referenced in 79 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

Coq
 Referenced in 1784 articles
[sw00161]
 Coq is a formal proof management system. It...

Cuba
 Referenced in 57 articles
[sw00173]
 Cuba  a library for multidimensional numerical integration. The...

CXSC
 Referenced in 107 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

Gaalop
 Referenced in 27 articles
[sw00313]
 Gaalop – high performance parallel computing based on conformal...

GAP
 Referenced in 2850 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gfun
 Referenced in 132 articles
[sw00344]
 The gfun package provides tools for determining and...

KNITRO
 Referenced in 175 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...