3 packages found

M
Q
P

Description

Integrate a system of ODEs using the Euler method

Keywords

Publisher

published 1.0.63 years ago
M
Q
P

Description

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

Keywords

Publisher

published 1.0.63 years ago
M
Q
P

Description

A first-order logic proof verifier

Keywords

Publisher

published 0.1.14 years ago