ubiquitous and indispensable high-speed computation representation/manipulation of mathematical formalisms databases modeling