Mathematics catalogue
Provisional editorial order for Top Open Problems: Millennium Prize Problems first, followed by assessed difficulty tiers; the unassessed remainder keeps its previous catalogue order. About rankings
Browse by subject
Search this collection by problem ID, title, classification, subject, provider, or model.
Search results
No matching problems. Try another search or clear a filter.
6,343 records · Search and filter
- Math-5151 An access-validity workflow certificate for online assessment
- Math-5152 A dependence-robust certificate for informal learning
- Math-5153 A transport-and-adaptation certificate for structured pedagogy
- Math-5154 Auditable collaborative reinvention without false authorship claims
- Math-5155 A versioned research spine for curriculum innovation
- Math-5156 Construct-preserving portability beyond mathematics
- Math-5157 A versioned localization and transport certificate
- Math-5158 Participation-task dual randomization for contributor support and task evaluation
- Math-5159 Observation sufficiency for non-computational mathematical work
- Math-5160 A purpose-indexed evidence certificate for mathematical tasks
- Math-5161 A versioned robustness certificate for positive task impact
- Math-5162 Calibration-preserving encouragement in assessment feedback
- Math-5163 Sharp claim bounds for mathematical engagement
- Math-5164 A causal and decision framework for engaging institutions
- Math-5165 Certified open-world routing for a database of databases
- Math-5166 A censored lineage-and-cut audit for open-source sustainability
- Math-5167 A replicable and inclusive developer on-ramp
- Math-5168 A certifiable registry profile for mathematical visualizations
- Math-5169 A typed plural-paper certificate for mathematical communication
- Math-5170 A semantics-bound certified bridge between Lean and computer algebra
- Math-5171 A scope-locked robust decision certificate for Space Math
- Math-5172 Ordered proof traces for sound educational interoperability
- Math-5173 A claim-limited audit contract for open knowledge tracing
- Math-5174 A dual-fiber adequacy contract for the LaTeX ecosystem
- Math-5175 Provenance-closed workbook extraction
- Math-5176 Version-pinned workspace semantics for activities
- Math-5177 Context closure for stand-alone PreTeXt worksheets
- Math-5178 Context-closed fragments and version-pinned overlays
- Math-5179 A commuting dual-output contract for worksheet exercises
- Math-5180 A query-complete syllabus model for PreTeXt
- Math-5181 A role-separated worksheet portability contract
- Math-5182 Two closure tests for one-file sharing
- Math-5183 Certified landing-page staging for PreTeXt
- Math-5184 A semantic contract for journal-style theorem output
- Math-5185 A loss-accounted PreTeXt-to-JATS contract
- Math-5186 A contract for a truthful PreTeXt conversion atlas
- Math-5187 A sound resolver contract for links from extracted documents to a full PreTeXt publication
- Math-5188 Coherent numbering for extracted PreTeXt content
- Math-5189 Destination-aligned text for extracted cross-references
- Math-5190 A certifiable bridge for intermediate PreTeXt users
- Math-5191 A version-pinned audit of unfinished Guide signals
- Math-5192 An edge-complete certificate for type-specific quick starts
- Math-5193 Witnessed discovery for PreTeXt samples
- Math-5194 Residual-context certificates for PreTeXt snippets
- Math-5195 Closure-certified copyable PreTeXt starters
- Math-5196 Certified LaTeX/Markdown import into PreTeXt
- Math-5197 Context-aware certified selection conversion
- Math-5198 A dependency-closed LaTeX subset for certified PreTeXt import
- Math-5199 Profile-scoped evidence for PreTeXt interactivity and accessibility
- Math-5200 A certified component-scaffolding contract for course syllabi and worksheets