Ever since their introduction by Hoare in 1969, invariant assertions have, justifiably, played a key role in the analysis of while loops. In this paper, we discuss a distinct ...

This article introduces the software package TIDES and revisits the use of the Taylor series method for the numerical integration of ODEs. The package TIDES provides an ...

Dyson–Schwinger equations are important tools for non-perturbative analyses of quantum field theories. For example, they are very useful for investigations in quantum ...

The increasing number and variety of extrasolar planets illustrates the importance of characterizing planetary perturbations. Planetary orbits are typically described by ...

New forms of the modified successive overrelaxation (MSOR); MKSOR, MKSOR1 and MKSOR2 are introduced. These forms depend on the updated successive overrelaxation method (KSOR) ...

H(curl) conforming finite element discretizations are a powerful tool for the numerical solution of the system of Maxwell’s equations in electrodynamics. In this paper we ...

A novel CCTT-core split-winding integrated magnetic (IM) structure is presented in this paper. The IM device is optimized for use in high-power dc–dc converters. The IM ...

Nonlinear boundary value differential equations are usually solved with the "shooting method". In this technique, the initial conditions are adjusted until the boundary ...

A simple Mathematica (versions 7–9) code for computing S-state energies and wave functions of threeparticles systems is presented. The relevant systems include two-electron ...

Let G be a simple undirected graph on n vertices and let S(G) be the class of real symmetric n × n matrices whose nonzero off-diagonal entries correspond exactly to the ...