The Mathematica function NDSolve is a general numerical differential equation solver. It can handle a wide range of ordinary differential equations as well as some partial ...

Compatible with Mathematica Version 2.2. Shows fundamental Mathematica techniques for the beginning user. Topics covered include calculus, linear algebra, differential ...

Showing the power of Mathematica for the static analysis of a sleeper is the main goal of this paper. It is part of a case for the Engineering Office of the Dutch Railways to ...

We use symbolic simulation for the verification of high level circuit specifications. We combine Mathematica for algebraic computation and ACL2 for branching decision to ...

The present paper is presenting a review of our applications of computer algebra systems (CAS) [10, 11, 40] to different problems: for analysis of random phenomena in ...

MathModelica System Designer is a modeling and simulation environment that allows creation of mathematical models in an intuitive and easy manner by using the ...

Second edition of this best-selling text. Incorporates the improvements and new functions of Mathematica Version 2. Includes complete Mathematica programs for graphics, ...

The ReplaceVariables package provides a tool for performing of functional replacement of dependent and independent variables in systems of (partial) differential and ...

In this article I introduce some commands and methods to solve some problems in calculus, like finding function domain and some analysis of functions algebraically, using ...

Mathematica functions Minimize and Maximize allow users to compute exact global extrema of functions on sets constrained by systems of equations and inequalities. When the ...