Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar

Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar
复制标题

基于上下文无关语法和树语法相结合的数学公式验证

DOI:
--
复制
发表时间:
2008
期刊:
7th International Conference on Mathematical Knowledge Management, Lecture Notes in Artificial Intelligence 5144
影响因子:
--
通讯作者:
S. Uchida
S. Uchida
中科院分区:
--
文献类型:
--
作者:
A. Fujiyoshi;M. Suzuki;S. Uchida

文献摘要

参考文献

被引文献

相似文献

CKY算法在线性、一元上下文无关树文法树结构识别中的应用
DOI: --
发表时间: 2006
期刊: IEICE Transactions on Information and Systems E90-D・2
影响因子: --
作者:
藤芳;明生;Akio Fujiyoshi;Akio Fujiyoshi
通讯作者: Akio Fujiyoshi
真实的数学字符和符号图像数据库
DOI: --
发表时间: 2005
期刊: IEICE Technical Report PRMU2004-212-230
影响因子: --
作者:
A.Nomura
通讯作者: A.Nomura
DOI: 10.1016/b978-0-123-95608-8.x5001-4
发表时间: 1968
影响因子: --
作者:
M. Klerer;J. Reinfelds
通讯作者: J. Reinfelds
从纸上捕获抽象矩阵
DOI: --
发表时间: 2006
期刊: Mathematical Knowledge Management, Lecture Notes in Computer Science 4108
影响因子: --
作者:
T.Kanahori;A.Sexton;V.Sorge;M.Suzuki
通讯作者: M.Suzuki
脊柱形成的上下文无关树语法
DOI: --
发表时间: 2000
影响因子: 0.5
作者:
Akio Fujiyoshi;T. Kasai
通讯作者: T. Kasai