COMPUTER SOFTWARE FOR DATA PROCESSING, DATA MANAGEMENT, MODELING, GRAPHICAL REPRESENTATIONS, AND INTERACTIVE INTERFACING WITH DATABASES, FEATURING SYMBOLIC PROGRAMMING LANGUAGE FOR NUMERICAL, SYMBOLIC AND GRAPHICAL COMPUTATION

computer program for a mathematical writing language that facilitates the manipulation of mathematical objects in mathematically natural ways