US Army applying new areas of math

Also, some areas of math are predominantly filled with people interested in applications and some are not. The US Army is interested in applying some areas of math that you would normally think of as very pure, including homotopy type theory (HoTT). There are the usual suspects, such as (stochastic) PDEs, but also more ostensibly pure areas of math such as topology; the word “topological” appears 23 times in the document.

Source: www.johndcook.com