Abstraction, reformulation, and approximation

by Jean-Daniel Zucker, Lorenza Saitta