数学家之间的协作日益增多，但他们使用的通用工具不适合符号推理和证明开发。
创建一个具有 LaTeX 集成、版本化证明开发和针对数学研究的特定问题解决工作流的平台。
大学可能会订阅整个部门。拨款可以资助开发。
从基本的 LaTeX 协作和问题跟踪开始。风险在于被传统固化的领域采纳。
最大的风险是学术采用周期缓慢。
mathresearchcollaboration
数学研究协作平台
构建一个专门的平台，供数学家协作解决开放性问题。面向学术研究人员。
为什么是现在
数学正变得越来越协作化，但除了电子邮件和 LaTeX 之外，缺乏专用工具。
- 做给谁
- 数学研究人员
- 商业模式
- 机构订阅
- 投入量级
- 几个月