Resource Note: Project-Based Undergraduate Research in Mathematics

Source object

Pamela E. Harris, Erik Insko, and Aaron Wootton, editors, A Project-Based Guide to Undergraduate Research in Mathematics: Starting and Sustaining Accessible Undergraduate Research, Birkhauser, 2020.

Why this source matters

This source is useful to the MATH-PROGRAMME because it treats mathematical research pedagogy as an artifact design problem. A chapter is not merely exposition. It is an entrance into a research programme.

The reusable pattern is:

prerequisites
  -> accessible exposition
  -> exercises and challenge problems
  -> specific research projects
  -> bibliography and further reading
  -> continuation into a sustainable programme

Grand Challenge adopts the pattern but adds stricter claim governance, fixture discipline, and certification boundaries.

Imported lessons

1. Accessibility is an engineering constraint

A topic may be sophisticated, but the entrance must be engineered. The guide must state what background is required, give the first examples, and show what the reader can do next.

2. Exercises should climb toward research

Exercises are not filler. They should form a ladder from definition use to example generation, then to fixture construction, then to lemma candidates.

3. Open problems need scaffolding

A problem is not accessible merely because it is stated. It becomes accessible when the reader has enough examples, tools, and local tests to begin honestly.

4. Sustainable programmes need lateral movement

A single problem becomes a programme when it reveals adjacent objects, related obstructions, reusable computations, or certification methods.

5. Bibliography is not authority

Further reading helps a reader enter the field. It does not by itself promote a claim. In Grand Challenge terms, bibliography belongs in source audit until dependencies are reconstructed.

Programme adaptation

Source pattern	Grand Challenge adaptation
Prerequisites	Prerequisite/refresher table with required, helpful, and deferred levels.
Expository chapter	Accessible Research Guide with object, obstruction, examples, and first fixture.
Exercises	Challenge ladder with completion tests.
Open problems	Restricted targets, Work Package seeds, and theorem-spine nodes.
Bibliography	Source audit separated from claim support.
Sustainable programme	Continuation graph and lateral movement rule.

Immediate use in active lanes

Lane	Adaptation
TROPIC-GROEBNER	Tropical arithmetic to tropical lines to initial ideals to exact certificate replay.
MATHCERT	Checker-first guides where every example points at a certification boundary.
TCM	Transfer-state examples, exact contraction fixtures, and replayable certificates.
Union-Closed	Beginner-safe finite examples, exact enumerators, and clear separation from Frankl-level claims.
Minderlings	Mnemonic roles can help readers remember the guide sections, but they remain pedagogical aids only.

Quarantine status

This resource is motivational and structural. It is not imported as mathematical authority. Any theorem, open-problem status, or domain claim taken from it must be reconstructed through the normal source-audit and claim-ledger routes.