First-order | npm.io

Integrate a system of ODEs using the Second Order Runge-Kutta (Midpoint) method

scijs ode midpoint runge-kutta integration differential-equations calculus first-order

1.0.6 • Published 9 years ago

Integrate a system of ODEs using the Euler method

scijs ode euler integration differential-equations calculus first-order

1.0.6 • Published 9 years ago

A first-order logic proof verifier

fol folproof proof logic language first-order

0.1.1 • Published 10 years ago

👉 https://hyper.fun/c/fa-first-order/1.3.0

hyper-function-component hfc fa font-awesome first-order

1.3.0 • Published 2 years ago