A novel approach to symbolic algebra
Thomas Fischbacher
TL;DR
This paper introduces an extensible graphical system that combines pattern matching and nondeterministic evaluation to simplify tedious algebraic manipulations, automating tasks traditionally done manually.
Contribution
It presents a novel interactive graphical framework integrating pattern matching and nondeterministic evaluation for algebraic manipulation.
Findings
Prototype demonstrates effective algebraic manipulation
System reduces manual effort in algebraic tasks
Framework is extensible and user-friendly
Abstract
A prototype for an extensible interactive graphical term manipulation system is presented that combines pattern matching and nondeterministic evaluation to provide a convenient framework for doing tedious algebraic manipulations that so far had to be done manually in a semi-automatic fashion.
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
TopicsComputability, Logic, AI Algorithms · Logic, programming, and type systems · Mathematics, Computing, and Information Processing