数学领域相关研究与项目介绍
1. 研究与项目概述
在数学研究与相关技术领域,有众多前沿的研究和项目正在推进。以下为大家介绍一系列涵盖不同方向的研究和项目,包括符号数学解析、策略研究、数字图书馆索引与搜索、证明辅助工具等方面。
1.1 研究与项目列表
| 研究/项目名称 | 页码 | 作者 |
|---|---|---|
| Parsing and Disambiguation of Symbolic Mathematics in the Naproche System | 180 | Marcos Cramer, Peter Koepke, and Bernhard Schr¨oder |
| Interleaving Strategies | 196 | Bastiaan Heeren and Johan Jeuring |
| Combining Source, Content, Presentation, Narration, and Relational Representation | 212 | Fulya Horozal, Alin Iacob, Constantin Jucovschi, Michael Kohlhase, and Florian Rabe |
超级会员免费看
订阅专栏 解锁全文
3365

被折叠的 条评论
为什么被折叠?



