The Algorithmization of Physics: Math Between Science and Engineering

摘要

I give a concise description of my personal view on symbolic computation, its place within mathematics and its relation to algebra. This view is exemplified by a recent result from my own research: a new symbolic solution method for linear two-point boundary value problems. The essential features of this method are discussed with regard to a potentially novel line of research in symbolic computation.