An enumeration proof is a proof that generates and then analyzes all possible cases for a problem or some aspect of a problem. If the number of cases is large, computer ...

The forthcoming Museum of Mathematics doesn't have a logo. It has an infinite family of logos implemented with Mathematica. The logos the museum actually uses will be ...

Describes the principles and applications of advanced numerical methods for solving PDEs. Also shows how Mathematica can be used for the analytic investigation of such ...

In this paper by means of computer experiment we study advantages and disadvantages of the heuristical method of "parallel integrator". For this purpose we describe and use ...

Mathematica has been used in a novel application to produce music from algorithmic strings derived from the Fibonacci string and from amino acid sequences found in the ...

A 1961 conjecture of Baker, Gammel and Wills asserts that if a function f is meromorphic in the unit ball, and analytic at zero, then a subsequence of its diagonal Padé ...

This MathSource review begins the fourth year of these reviews in this journal. As such, it might be appropriate to update concepts examined in past reviews. In that vein, ...

Wolfram Research offers a number of specialized packages for control design and analysis as well as for DSP design and code generation. Nevertheless, it is instructive to see ...

In this MathSource review, we examine a Mathematica version of Eliza, as adapted from a Prolog program and submitted to MathSource by Matthew Markert. Popularized thirty ...

In this paper we aim to show a Mathematica notebook based on a package built to demonstrate the working of Linear Time Independent Systems (LTI Systems). This notebook lets ...