• 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 general-purpose systems like Mathematica. Rings is available from http://ringsalgebra.io...
  • pycellerator

  • Referenced in 1 article [sw34299]
  • Pycellerator: an arrow-based reaction-like 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 Mathematica-based 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...
  • C-XSC

  • Referenced in 107 articles [sw00181]
  • C-XSC. 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...