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 series of computer programs is presented which enables the analysis of fish body shape and mass distributions, spine positions, spine curvatures and coordinates for the ...

The authors present two examples of the application of the Multiple Scales solution procedure to single-degree-of-freedom systems (the pendulum equation, and Duffing ...

The non-linear minimal surface equation is expressed as an ideal of differential forms. The isovector fields of the ideal are constructed using its transport property under ...

On constructing CPM propagators with an abundant number of terms by Mathematica, we have shown that the CPM[N,Q], where N is the number of polynomial terms by which the ...

Rules automatically generating the classical shape functions and finite difference patterns are developed. Finite difference solutions of Laplace equation, Fourier equation, ...

Presents basic optimization theory and computational algorithms in an informal style for undergraduate and graduate students in engineering, operations research, and ...

Discusses functional, rule-based, procedural, and object-oriented programming with Mathematica. Also covers graphics programming and writing Mathematica packages.

This book provides a practical reference for solving difficult problems involving ordinary and partial differential equations and boundary value problems using Mathematica. A ...

A fast way of developing, prototyping and deploying numerical algorithms that can take advantage of CUDA capable systems is available in Mathematica 8. Over the past year, ...