Is there an area of computational science research that can be done on pencil and paper (with results written up for a journal format later on)?
I'm wondering if there is abstract proof-based linear algebra or abstract algebraic objects being developed for computational science. Seems like it would be really fun if such an area of research existed.