Demo: A functional EDSL for mathematics visualization that compiles to JavaScrip...
summary
Sylvester is an F# embedded EDSL that compiles F# quotations to JavaScript in a Jupyter kernel and provides one functional interface for symbolic math, SMT solving, and interactive visuals. It uses Maxima for symbolic algebra (differentiation, simplification, partial fractions), Z3 for SMT/optimization (example: maximize rectangle area with perimeter 100), and JSXGraph for 2D/3D interactive plots with sliders. It enforces dependent matrix types (3x3 example, type error for non‑conformable multiplication), includes a small ML proof assistant, and the demos render and interact as claimed.
AI-written summary · about
chapters (12)
- 0:00Sylvester introduction
- 0:44Maxima backend operations
- 2:11Linear algebra with types
- 3:59Z3 equation solvers
- 5:03Proof assistant in Sylvester
- 6:48Math function visualization
- 9:58Unified math language
- 12:46Sylvester visualization focus
- 13:51JSX Graph interactive API
- 16:21Custom visualizations in Sylvester
- 18:51Visualization API composability
- 20:56Visualization tools comparison
related talks
26mA Functional EDSL for Economics Concepts & Models
38m"Emmy: Moldable Physics and Lispy Microworlds"
48mDesigning composable functional libraries, not just for data visualization
19mInteractive Visualizations and UIs in Julia
28mEscher: democratizing beautiful visualizations
01h 01mLive Lambda Calculus
38mModeling Symposium
46mBuilding a Graphical IDE in Elm/Purescript (...)