This paper decribes the Automated Complexity Analysis prototype (ACAp) system for autmated complexity analysis of functional programs synthesized with the Nuprl proof ...

Recently, the trivial two-channel stereo systems, which did dominate the last ten years are currently and gradually replaced by multi-channel stereoscopic devices, which ...

Within the lowest-order Born approximation, we present an exact calculation of the time dynamics of the spin-boson model in the ohmic regime. We observe non-Markovian effects ...

In case of considerable nonlinearity. i.e. in geodesy, photogrammetry, robotics, it is difficult to find proper initial values to solve the parameter estimation problem of 3D ...

This book can help overcome the widely observed math-phobia and math-aversion among undergraduate students in these subjects. The book can also help them understand why they ...

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 ...

The main goal of this paper is to show how the computer algebra system Mathematica allows us to study and to develop some topics on Operator Theory. In particular, some ...

The present study shows how the direct Gibbs free energy minimization technique is sometimes superior to the reaction coordinates—equilibrium constants method when the ...

Many very difficult problems in applied mathematics and other scientific disciplines can- not be solved without powerful computational systems, such as symbolic computation ...

Quantum chemistry, the branch of physical chemistry which applies quantum mechanical principles to the study of chemical systems, has become an integral part of the study of ...