OrbiCalc: Bridging the Gap Between Pen-and-Paper and Automated CAS
by
Claudio Emmrich
→
Europe/Berlin
Abbeanum/1-HS2 - Straubel-HS (TPI, FSU Jena)
Abbeanum/1-HS2 - Straubel-HS
TPI, FSU Jena
50
Description
In theoretical physics, manual derivations preserve insight but are error-prone and rapidly become unmanageable due to complexity. Conversely, standard CAS tools like Mathematica act as opaque "black boxes" lacking control, are difficult to structure systematically. Furthermore, results are often difficult to use directly.
I will introduce OrbiCalc, a tool designed to solve these issues. It creates a semi-automated environment where you retain full control by applying self-defined rules in a strictly rule-based and data-driven framework. It is not meant to replace any other approach, but to complement them.
The presentation covers:
The Philosophy: Why we need "Computer-Assisted, Human-Directed" derivations.
The Workflow (Live Demo): Managing documents, hierarchies of formulas and rules, deriving new rules, AI advice, and LaTeX export.
Comparison: Mitigating manual error rates without losing control.
Outlook: Current status, possible future, and an invitation to collaborate
