Current software projects have generally to deal with producing and managing large and complex software products. It is generally believed that applying software development method...
We present splitting methods for numerically solving a certain class of explicitly time-dependent linear differential equations. Starting from an efficient method for the autonom...
It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various ...
In [Z. Cai, C. Tong, P. S. Vassilevski, and C. Wang, Numer. Methods Partial Differential Equations, to appear], the authors developed and analyzed a mixed finite element method for...
This paper proposes a new predictor-corrector interior-point method for a class of semidefinite programs, which numerically traces the central trajectory in a space of Lagrange mul...