Toward a formal proofs and automated verifications of discrete mathematics
Toward a formal proofs and automated verifications of discrete mathematics
离散数学的形式化证明和自动验证
批准号：
25610034
负责人：
MIZOGUCHI Yoshihiro
金额：
$2.33万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2015-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(19)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
論理と計算セミナー
逻辑与计算研讨会
逻辑与计算研讨会
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Formal Proofs for Automata and Sticker Systems
自动机和贴纸系统的形式证明
自动机和贴纸系统的形式证明
DOI：
10.1109/candar.2013.100
发表时间：
2014
期刊：
Proc. of 1st International Workshop on Computing and Networking
影响因子：
--
作者：
[H.Tanaka, I.Sakashita, S.Inokuchi, Y.Mizoguchi]
通讯作者：
Y.Mizoguchi
A Mathematica module for Conformal Geometric Algebra
共形几何代数的 Mathematica 模块
共形几何代数的 Mathematica 模块
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[M.Kondo, T.Matsuo]
通讯作者：
T.Matsuo
Theory of Automata, Abstraction and Applications
自动机理论、抽象及其应用
自动机理论、抽象及其应用
DOI：
--
发表时间：
2014
期刊：
A Mathematical Approach to Research Problems of Science and Technology, Mathematis for Industry
影响因子：
--
作者：
[Y.Mizoguchi]
通讯作者：
Y.Mizoguchi
組合せ数学セミナー
组合数学研讨会
组合数学研讨会
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
共 16 条