In this letter we report the formal verification of encryption and decryption circuits. After we describe algebraically a simple modular arithmetic circuit at both function ...

A fast new method for tropospheric delay predictions is discussed. It uses Mathematica for critical functional fits to refractivity profiles, and a critical closed-form ...

What is the best way to compute determinants of numeric and symbolic matrices? It depends on which version of Mathematica you use. This column summarizes a discussion that ...

Probability plots and animation are used to explore data structures and distributional properties. Graphical techniques for identifying statistical distributions are ...

It's been called the Watergate of science, pitting Congress against an elite in-group of biomedical researchers. The Woodward and Bernstein of the scandal are two scientists ...

This notebook discusses methods of solving the simple pendulum equation. It is the first in a series of notebooks showing how Mathematica can be used to find exact power ...

In this talk, we will present we will present upcoming Mathematica-based packages AceGen and AceFEM. An overview of the functioning and features of the product will be given, ...

We show how to program Mathematica to automatically produce a test with random problems and their annotated solutions for classroom use. To illustrate the key concepts, we ...

Mathematica package L3toHorosphere has three main features: projection of hyperbolic polyhedron onto horosphere, visualization of the polyhedron and its projection in ...

Statistical formulary to use in Bachelor's degree program, with particular focus on professional studies. Includes basic formulas for Bayesian techniques, as well as for ...