是否有一个计算科学研究领域可以在铅笔和纸上完成（结果稍后会以期刊形式写出来）？

我想知道是否正在为计算科学开发基于抽象证明的线性代数或抽象代数对象。如果存在这样的研​​究领域，似乎真的很有趣。