Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Taylor polynomial expansions in one and several independent variables.
Julia 390 55
Library for validated numerics using interval arithmetic
Julia 331 71
ODE integration using Taylor's method, and more, in Julia
Julia 140 24
Library for finding the roots of a function using interval arithmetic
Julia 132 27
High-fidelity orbit determination and propagation for Near-Earth Objects, in Julia
Julia 30 5
Rigorous function approximation using Taylor models in Julia
Julia 64 18
There was an error while loading. Please reload this page.