sundowning
发表于 2025-4-1 01:57:16
Design and Implementation of Symbolic Computation SystemsInternational Sympos
我不重要
发表于 2025-4-1 09:17:40
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
发表于 2025-4-1 12:23:09
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.