When we face constrained dynamical systems—whether incompressible fluids, restricted mechanical systems, or gauge field theories—traditional methods always treat constraints as "external restrictions.

If you already know how to use cabal packages or Nix flakes, and how to use Pandoc filters, you can skip directly to the tutorial. Note: Flakes must be enabled in your Nix or NixOS installation. One ...

Graduate students and advanced undergraduates interested in attending Genes, Geometry, and Development (Fri Nov 12) are invited to an hour of introductory material and informal discussion led by ...

This paper presents a semi-automated methodology for generating geometric proof problems of the kind found in a high-school curriculum. We formalize the notion of a geometry proof problem and describe ...

MR. LYDON'S book, which is meant for young pupils, has many good points and a few bad ones. Like many other very recent books on geometry, it ignores Euclid's order, method, and language. In this way ...

Educational Studies in Mathematics, Vol. 94, No. 1 (January 2017), pp. 37-54 (18 pages) This paper reports the results of an international comparative study on the nature of proof to be taught in ...