Titlebook: Design and Implementation of Symbolic Computation Systems; International Sympos John Fitch Conference proceedings 1993 Springer-Verlag Berl

sundowning

Design and Implementation of Symbolic Computation SystemsInternational Sympos

我不重要

Template-based formula editing in Kaava,rimental computer algebra system called Kaava. It demonstrates a data-driven structure editing style that partially accommodates the user‘s view of formulas as two-dimensional arrangements of symbols on the page.

generic

Algebraic simplification of multiple-valued functions,rove” equalities like ?1=1 in such systems. In fact, only a little elementary arithmetic is needed to devise what the correct simplifications should be. We detail some of these simplification rules, and outline a method for their incorporation into an algebra system.