Visualization of Logical Structure in Mathematical Proofs for Learners

被引：0
|
作者：
Watabe, Takayuki [1 ]
Miyazaki, Yoshinori [2 ]
机构：
[1] Shizuoka Univ, Grad Sch Informat, Shizuoka 4328011, Japan
[2] Univ Shizuoka, Fac Informat, Shizuoka 4328011, Japan
来源：
COMPUTER AND INFORMATION SCIENCE 2012 | 2012年 / 429卷
关键词：
E-learning; mathematical proof; visualization; sequent calculus; MathML;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This study focuses on the visual representation of mathematical proofs for facilitating learners' understanding. Proofs are represented by a system of sequent calculus. In this paper, the authors discuss SequentML, an originally designed XML (Extensible Markup Language) vocabulary for the description of sequent calculus, and the visualization of mathematical proofs by using this vocabulary.
引用
收藏
页码：197 / +
页数：3
相关论文
共 50 条
12345