What is a Program?
A Program in Mathub represents a major research initiative — such as the Langlands Program, the Polymath projects, or a department-wide effort on a family of conjectures. Programs contain multiple Projects, each tackling a specific sub-problem, as well as shared resources like wikis, forums, and roadmaps.
Browsing Programs
Visit the Explore page to browse all public programs. You can filter by:
- MSC Classification — Browse by Mathematics Subject Classification codes (e.g., 11 = Number Theory, 35 = PDEs)
- Status — Active, Completed, or Archived
- Search — Full-text search across program titles and descriptions
Program Structure
Each program contains the following sections, accessible via tabs:
Overview
The landing page showing the program description, recent activity, member list, and key statistics.
Projects
A list of all projects within this program. Projects can be filtered by status and math status.
Roadmap
A visual dependency graph showing how projects relate to each other. See the Roadmap section below for details.
Wiki
A shared Wiki for the program — background material, definitions, and collective knowledge that spans all projects.
Forum
A program-wide Forumfor discussions that don't belong to any specific project.
Sub-programs
Programs can contain sub-programs with infinite nesting. This allows you to organize large research areas hierarchically. For example:
Langlands Program
├── Geometric Langlands
│ ├── D-modules approach
│ └── Derived algebraic geometry approach
├── p-adic Langlands
└── Functoriality ConjecturesEach sub-program has its own projects, wiki, forum, and roadmap, while inheriting membership from its parent program.
Member Management
Programs support four membership roles:
| Role | Permissions |
|---|---|
ADMIN | Full control: manage members, edit program settings, delete content |
MODERATOR | Manage forum posts, review wiki edits, manage project settings |
RESEARCHER | Create projects, edit wiki, post in forum, submit efforts |
MEMBER | View all content, post in forum, comment on efforts |
To invite members, go to the program's Settings → Members tab and enter their Mathub username or email.
Roadmap
The Roadmap provides a visual dependency graph showing relationships between projects within a program. Each edge in the graph represents one of the following dependency types:
| Dependency Type | Meaning |
|---|---|
DEPENDS_ON | Project A requires results from Project B |
EXTENDS | Project A builds upon and generalizes Project B |
CONTRADICTS | Projects present conflicting results or approaches |
SUPERSEDES | Project A replaces Project B with a stronger result |
USES | Project A uses techniques or tools developed in Project B |
RELATED | General thematic connection |