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-5101 An exact witness and certificate for a recorded negative answer
- Math-5102 Localization and Fourier coordinates beyond polynomial models
- Math-5103 Gaussian conditional independence as an algebraic minor
- Math-5104 Two-sided novelty certificates for sparse binomial output
- Math-5105 A scale-normalized robustness criterion for algebraic design fans
- Math-5106 Base-encoded monomial-curve designs
- Math-5107 Evaluation-rank explanation for the value of knockout time series
- Math-5108 Rank-profile compression for finite-field time-series models
- Math-5109 Exact sketches versus genuine dynamical reduction
- Math-5110 Specialized algebra kernels and certified interoperability
- Math-5111 Faithful interchange between computational algebra systems
- Math-5112 A certificate-first algebraic layer for R
- Math-5113 Four distinct reductions in the American min-put benchmark
- Math-5114 Degree bounds and the dependence on the modulus
- Math-5115 Deformation transport, Fesenko transforms, and a Riemann--Roch size barrier
- Math-5116 A format-sensitive genus barrier for Schoof-Pila
- Math-5117 Fields, orbits, and explicit torsion points
- Math-5118 Length-faithful algebraic and group-theoretic parameter screens for SL_n(F_p) hashing
- Math-5119 Semantic leakage barriers for learned group cryptanalysis
- Math-5120 A reproducible challenge-instance profile
- Math-5121 A capability-sound kernel for group-based protocol implementations
- Math-5122 An epimorphism audit for non-Hopfian cryptography
- Math-5123 A fiber--leakage--arity audit for group-theoretic cryptographic building blocks
- Math-5124 Dominating sets as marked centralizer covers in graph groups
- Math-5125 Correlation-gap certificates for noisy hidden shift
- Math-5126 Torsion-image leakage and rigidity in SIDH
- Math-5127 Explicit near-minimal units from the golden-ratio radical
- Math-5128 A rights-portability-cost rule for choosing educational assessment tools
- Math-5129 A deployment gate for open mathematical assessment
- Math-5130 A motivation-first deployment gate for educational technology
- Math-5131 An estimand-anchor-policy contract for educational data
- Math-5132 A version-aware evidence pipeline for input during educational-technology development
- Math-5133 Separating feedback content from the opportunity to revise
- Math-5134 Behavioral transfer and cycle-consistent course crosswalks
- Math-5135 From interaction traces to defensible collaboration evidence
- Math-5136 What an authenticity check can and cannot certify
- Math-5137 A role-specific causal evaluation contract for STACK
- Math-5138 A version-aware design for longitudinal studies of open assessment systems
- Math-5139 Blueprint alignment and exam-weight sensitivity
- Math-5140 A format-replacement-communication audit for short online assessment
- Math-5141 Relating questions to student goals without pretending to know the learner
- Math-5142 A distance-without-displacement audit
- Math-5143 A Coverage--Contract--Cut certificate for educational tool suites
- Math-5144 Decision-safe STACK reports and a governed user community
- Math-5145 A versioned closed-loop audit for STACK
- Math-5146 A trace-validity obstruction and engagement claim certificate
- Math-5147 A testable training-support-renewal framework for online instructional tools
- Math-5148 A barrier-lattice audit for lecturer adoption of online assessment
- Math-5149 Rank-safe credit for collaboration inside a contest
- Math-5150 Separating exposure from retained mastery under a curriculum time budget