def definition def or abbrev

`rk4Step`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

 153def rk4Step (f : ℝ → ℝ) (x h : ℝ) : ℝ :=

proof body

Definition body.

 154  let k1 := f x
 155  let k2 := f (x + (h / 2) * k1)
 156  let k3 := f (x + (h / 2) * k2)
 157  let k4 := f (x + h * k3)
 158  x + rk4Increment h k1 k2 k3 k4
 159

used by (2)

From the project-wide theorem graph. These declarations reference this one in their body.

rk4Step_deviation_le in IndisputableMonolith.Physics.RGTransport decl_use
rk4Step_eq_self_of_zero in IndisputableMonolith.Physics.RGTransport decl_use

depends on (1)

Lean names referenced from this declaration's body.

rk4Increment in IndisputableMonolith.Physics.RGTransport decl_use