nLab David Osten

Redirected from "theorem prover".
Selected writings

Selected writings

On sigma-models for super p-branes via exceptional generalized geometry:

On heterotic double field theory:

Realizing the integrble Manakov-Zakharov-Ward model as a limit of the M2-brane sigma-model:

category: people

Last revised on November 26, 2025 at 15:10:34. See the history of this page for a list of all contributions to it.