## Foundation of Thermodynamics

The fundamental mathematical ideas behind thermodynamics

Read moreThe fundamental mathematical ideas behind thermodynamics

Read moreSome notes on the elementary properties of the exponential families

Read moreA proof of the divergence of the harmonic series with the Coq proof assistant.

Read moreA companion matrix is a matrix with a prescribed characteristic polynomial. I would like to show them from a broader perspective: companion matrices are the matrix version of a shift operator.

Read moreType logic is the logic directly associated to types. It turns out that one can go quite far with regards to proving statements with Haskell. I show how to do that, and even how to prove statements in classical logic with Haskell.

Read moreMy goal is to derive Maxwell's equations of electromagnetism with almost no effort at all.
As often in mathematics, things look simpler when there is *less* structure.
Here, as in mechanics, we do not assume any prior metric, so the geometry of the space at hand is very simple.

I would like to explain how I carry out testing when I write code for scientific computing. It's partly using techniques that are common to the general philosophy of testing, and partly techniques that are specific to scientific computing.

Read moreAnother Haskell version of Peter Norvig's spelling corrector, illustrating list monads, type classes and polymorphic programming.

Read more