Title: Progress in Computing
Subjects: Logic, symbolic and mathematical, Differential equations, data processing