𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Recent advances in program verification through computer algebra

✍ Scribed by Yang, Lu ;Zhou, Chaochen ;Zhan, Naijun ;Xia, Bican

Book ID
107475651
Publisher
Higher Education Press and Springer
Year
2010
Tongue
English
Weight
241 KB
Volume
4
Category
Article
ISSN
1673-7350

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Phase Behavior of Polymer-Containing Sys
Phase Behavior of Polymer-Containing Systems: Recent Advances Through Computer Simulation
✍ Kurt Binder; M. MΓΌller; R. L. C. Vink πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 596 KB

## Abstract Computer simulations dealing with the phase transitions and phase diagrams of polymer solutions, polymer mixtures, and polymers in heterogeneous environments are still a methodological challenge, since nontrivial structure occurs from the Angstrom‐scale of covalent chemical bonds to the

Recent advances in computational aerodyn
Recent advances in computational aerodynamics
✍ Ramesh K. Agarwal; Jerry E. Desse πŸ“‚ Article πŸ“… 1991 πŸ› Elsevier Science 🌐 English βš– 656 KB

The current state of the art in computational aerodynamics is described. Recent advances in the discretization of surface geometry, grid generation, and flow simulation algorithms have led to flowfield predictions for increasingly complex and realistic configurations. As a result, computational aer