• Mathematical proofs illuminate truth the way the aurora reveals the hidden beauty of the night sky.

  • Proof reveals the structure of mathematics; computation lets us climb its vast landscape.

Blog

Classical Problems in Optimal Control — and a Quantum Solution
Classical Problems in Optimal Control — and a Quantum Solution

Optimal control problems arise when we want to determine a control variable that optimizes an objective functi...