npm

3 packages found

M
Q
P

Description

Integrate a system of ODEs using the Euler method

Keywords

Publisher

published 1.0.64 years ago
M
Q
P

Description

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

Keywords

Publisher

published 1.0.64 years ago
M
Q
P

Description

A first-order logic proof verifier

Keywords

Publisher

published 0.1.15 years ago