A computer algebra user interface manifesto
David R. Stoutemyer

TL;DR
This paper proposes an interactive wizard interface for computer algebra systems that simplifies complex transformations, offering detailed control and usability features for both experts and amateurs.
Contribution
It introduces a comprehensive, user-friendly wizard interface integrating multiple control features and modes to enhance the usability of large computer algebra systems.
Findings
Improves user control over algebraic transformations.
Reduces complexity in selecting applicable transformations.
Supports multiple modes of interaction and exploration.
Abstract
Many computer algebra systems have more than 1000 built-in functions, making expertise difficult. Using mock dialog boxes, this article describes a proposed interactive general-purpose wizard for organizing optional transformations and allowing easy fine grain control over the form of the result even by amateurs. This wizard integrates ideas including: * flexible subexpression selection; * complete control over the ordering of variables and commutative operands, with well-chosen defaults; * interleaving the choice of successively less main variables with applicable function choices to provide detailed control without incurring a combinatorial number of applicable alternatives at any one level; * quick applicability tests to reduce the listing of inapplicable transformations; * using an organizing principle to order the alternatives in a helpful manner; * labeling…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Teaching and Learning Programming · Model-Driven Software Engineering Techniques
