Miguel Raz Guzmán Macedo
Physics Undergraduate based in Mexico City, UNAM. I enjoy handstands and coding in Julia.
Session
07-30
13:30
10min
Towards a symbolic integrator with Rubin.jl
Miguel Raz Guzmán Macedo
Rubin.jl will be a 100% Julia implementation of an integration term-rewriting system. The rule catalogue is taken from RUBI, a Mathematica-based integration engine that uses binary searches in a tree of mutually exclusive rewriting rules, which nets RUBI an order of magnitude speed improvement over Mathematica over an immense test suite. Rubin.jl hosts 99.5+% of RUBI's rules, and 99.9% of the test suite in a JSON format, spanning more than 72,000 single variable integration unit tests.
Red