the invenstion of a new kind of symblolic computer language that could for the first time manipulate the very wide range of objects involved in technical computing using only a fairly small number of ...

Physical science "derive" results by starting from the few postulates. "Theoretical coding" indicates the practice that derive algorith from the very beginning using few "abstraction notion" without ...