This notebook discusses possible future ingredients of math systems. Various aspects and demonstrations of Theorema are given, including proofs in set theory, PCS, Pappus' ...

The increasing number and variety of extrasolar planets illustrates the importance of characterizing planetary perturbations. Planetary orbits are typically described by ...

This book presents practical demonstrations of numerically calculating or obtaining Fourier Transform. In particular, the authors demonstrate how to obtain frequencies that ...

In a world of pep rallies, proms, and six-period days, where does Mathematica fit in? Students in high school math classes are equipped with a textbook, pencil, paper, and ...

In many-particle problems involving interacting fermions or bosons, the most natural language for expressing the Hamiltonian, the observables, and the basis states is the ...

Mechanical Expressions is new symbolic mechanics software which allows the user to draw a mechanical system and which outputs symbolic expressions for static, kinematic and ...

Two-wheeled self-balancing vehicle system is a kind of naturally unstable underactuated system with high-rank unstable multivariable strongly coupling complicated dynamic ...

High levels of penetration of distributed generation and aggressive reactive power compensation may result in the reversal of power flows in future distribution grids. The ...

Students learn in different ways. Many mathematical concepts require dynamic thinking for deep understanding and this can be challenging for students. The new interactive ...

A circle is rolling along a fixed circle without slipping. The locus of a point on the circumference of the rolling circle is called epicycloid, if the rolling circle is ...