Scientific software and digital publishing
The Top Open Problems editorial order restricted to Computer Science, followed by cross-listed economics entries. Existing relative order is retained, with provisional placements for new game-learning questions; most entries have no individual difficulty assessment. 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.
46 records · Search and filter
- CS-562 Certified open-world routing for a database of databases
- CS-563 A censored lineage-and-cut audit for open-source sustainability
- CS-564 A replicable and inclusive developer on-ramp
- CS-565 A certifiable registry profile for mathematical visualizations
- CS-571 A dual-fiber adequacy contract for the LaTeX ecosystem
- CS-572 Provenance-closed workbook extraction
- CS-573 Version-pinned workspace semantics for activities
- CS-574 Context closure for stand-alone PreTeXt worksheets
- CS-575 Context-closed fragments and version-pinned overlays
- CS-576 A commuting dual-output contract for worksheet exercises
- CS-577 A query-complete syllabus model for PreTeXt
- CS-578 A role-separated worksheet portability contract
- CS-579 Two closure tests for one-file sharing
- CS-580 Certified landing-page staging for PreTeXt
- CS-581 A semantic contract for journal-style theorem output
- CS-582 A loss-accounted PreTeXt-to-JATS contract
- CS-583 A contract for a truthful PreTeXt conversion atlas
- CS-584 A sound resolver contract for links from extracted documents to a full PreTeXt publication
- CS-585 Coherent numbering for extracted PreTeXt content
- CS-586 Destination-aligned text for extracted cross-references
- CS-587 A certifiable bridge for intermediate PreTeXt users
- CS-588 A version-pinned audit of unfinished Guide signals
- CS-589 An edge-complete certificate for type-specific quick starts
- CS-590 Witnessed discovery for PreTeXt samples
- CS-591 Residual-context certificates for PreTeXt snippets
- CS-592 Closure-certified copyable PreTeXt starters
- CS-593 Certified LaTeX/Markdown import into PreTeXt
- CS-594 Context-aware certified selection conversion
- CS-595 A dependency-closed LaTeX subset for certified PreTeXt import
- CS-596 Profile-scoped evidence for PreTeXt interactivity and accessibility
- CS-597 A certified component-scaffolding contract for course syllabi and worksheets
- CS-598 Hermetic modules for sharing PreTeXt policy and style
- CS-599 A safe publication-first launch contract
- CS-600 A release contract for private instructor publishing
- CS-601 Collision-safe assembly of legacy worksheets
- CS-602 A versioned capability contract for PreTeXt programming languages
- CS-603 Task portability for heterogeneous embeddables
- CS-604 A semantic degradation contract and state lower bound for EPUB knowl fallbacks
- CS-605 Certifying offline PreTeXt slides on removable media
- CS-606 Coherent publication of a course slide collection
- CS-607 A deterministic contract for parallel Macaulay2 core routines
- CS-608 Certified portfolios for a responsive Macaulay2 top level
- CS-609 A degree-slice fast path for basis
- CS-611 A versioned contract for reproducible Macaulay2 family benchmarks
- CS-612 Simplicial resolutions in Macaulay2 and a join-complete verification contract
- CS-758 Interoperable Virtual Laboratories for Scientific Simulation