1. On consistency of finite difference approximations to the Navier–Stokes equations;Amodio,2013
2. Algorithmic Thomas decomposition of algebraic and differential systems;Bächler;J. Symbolic Comput.,2012
3. Mimetic Discretization Methods;Castillo,2013
4. Consistency analysis of finite difference approximations to PDE systems;Gerdt,2012
5. Involution and difference schemes for the Navier–Stokes equations;Gerdt,2009