Here we create a full list of formatted references contained in our .bib file using

```@bibliography
```

References

CK1994

Mark H Carpenter, Christopher A Kennedy, Fourth-order $2N$-storage Runge–Kutta schemes, Technical Report NASA TM-109112, National Aeronautics and Space Administration, Langley Research Center, Hampton, VA, 1994.

Heun1900

Karl Heun, Neue Methoden zur approximativen Integration der Differentialgleichungen einer unabhängigen Veränderlichen, Z. Math. Phys, 45, 23–38, 1900.

Mayer2012

H. C. Mayer, R. Krechetnikov, Walking with coffee: Why does it spill?, Physical Review E, 85, 046117, 2012.

useful_proof

Alfred North Whitehead, Bertrand Russell, Principia Mathematica, Cambridge University Press, Cambridge, 1925.