search

AlgebraicJulia / GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)
https://algebraicjulia.github.io/GATlab.jl/
MIT License
24 stars 2 forks source link

Symbolic ODEs #122

Open jpfairbanks opened 11 months ago

jpfairbanks commented 11 months ago

@olynch can we resuscitate the demo of symbolic ODE that works on abstract numbers for the Boston Hackthon?