A c-version of minimal boolean sum-of-product forms
Neural network approach to computing matrix inversion
Monotone enclosure for nonlinear PDEs using multigrid techniques
Detecting Hamiltonian cycles
Quadratically convergent numerical schemes for nonstandard initial value problems
Solutions of nonstandard nth order initial value problems
Differential equations with singular coefficients
An abstract spectral approximation theorem from the theory of semigroups
Application of interval analysis to impulsive differential equations
A computer-aided method for solvents and spectral factors of matrix polynomials
Microscopic and macroscopic aspects of epidemics
Level-constrained programming
The form of life. I. It is possible but not necessary