When mathematicians solve a differential equation, they are usually converting unbounded operators (such as differentiation) which are represented in the equation into bounded operators (such as integration) which represent the solutions.  It is rarely possible to give a solution explicitly, but general theory can often show whether a solution exists, whether it is unique, and what properties it has.  For this, one often needs to apply suitable (bounded) functions $f$ to unbounded operators $A$ and obtain bounded operators $f(A)$ with good properties.&

Automating "human-like" example-use in mathematics
Pease, A Martin, U CEUR Workshop Proceedings volume 2261 6-15 (01 Jan 2018)

Statistical mechanics (or thermodynamics) is a way of understanding large systems of interacting objects, such as particles in fluids and gases, chemicals in solution, or people meandering through a crowded street. Large macroscopic systems require prohibitively large systems of equations, and so equilibrium thermodynamics gives us a way to average out all of these details and understand the typical behaviour of the large scale system.

Knots are isotopy classes of smooth embeddings of $S^1$ in to $S^3$. Intuitively a knot can be thought of as an elastic closed curve in space, that can be deformed without tearing. Oxford Mathematician Daniele Celoria explains.

"Knots are ubiquitous in the study of the topological and geometrical properties of manifolds with dimension $3$ and $4$. This is due to the fact that they can be used to prescribe the attachment instructions for the "building blocks" of these spaces, through a process known as surgery.

Subscribe to