Interval computations are becoming a well-accepted method of rigorous mathematical proofs. We discuss some possibilities of deploying Mathematica into interval-computation ...

Background: The disordered Tubulin Polymerization Promoting Protein/p25 (TPPP/p25) modulates the dynamics and stability of the microtubule system. In this paper the role of ...

Defined benefit pension plans are the predominant method of retirement compensation for state government employees. They create entitlements to annuities whose value is ...

Background: Better understanding of aortic root geometry could improve diagnosis and reconstruction of pathologic aortic valves. In this study, a previous model of ...

We describe a simple implementation of the Takagi factorization of symmetric matrices A=U L UT with unitary U and diagonal L e T, e >= 0 in terms of the square root of an ...

We present a Mathematica package for simulation of spectral-angular distributions and energy spectra of planar channeling radiation of relativistic electrons and positrons ...

We prove that nearest-neighbor percolation in dimensions d  11 displays mean-field behavior by proving that the infrared bound holds, in turn implying the finiteness of the ...

This textbook takes a broad yet thorough approach to mechanics, aimed at bridging the gap between classical analytic and modern differential geometric approaches to the ...

Special functions first emerged as classical tools for solving difficult equations in mathematics and physics. With the rise of modern computation, their role has expanded ...

A new, very fast code, SSFPQL, which solves the steady state quasi-linear kinetic equation describing the ion distribution function during ion cyclotron heating in two ...