Construction of reasoning library for realization of computer verification system

计算机验证系统实现推理库的构建

基本信息

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Double Series and Sums
双级数和和
  • DOI：
    10.2478/forma-2014-0006
  • 发表时间：
    2014
  • 期刊：
    Formalized Mathematics
  • 影响因子：
    0.3
  • 作者：
    Yoshinori Aono;Xavier Boyen;Le Trieu Phong;Lihua Wang;Noboru Endou
  • 通讯作者：
    Noboru Endou
Double Sequences and Limits
双数列和极限
  • DOI：
    10.2478/forma-2013-0018
  • 发表时间：
    2013
  • 期刊：
    Formalized Mathematics
  • 影响因子：
    0.3
  • 作者：
    Noboru Endou;Hiroyuki Okazaki;Yasunari Shidama
  • 通讯作者：
    Yasunari Shidama
The Linearity of Riemann Integral on Functions from R into Real Banach Space
R到实Banach空间函数黎曼积分的线性
  • DOI：
    10.2478/forma-2013-0020
  • 发表时间：
    2013
  • 期刊：
    Formalized Mathematics
  • 影响因子：
    0.3
  • 作者：
    Keiko Narita;Noboru Endou;Yasunari Shidama
  • 通讯作者：
    Yasunari Shidama
Sigmarign and Sigmaalgebra of Sets
西格玛林和集合的西格玛代数
  • DOI：
    10.2478/forma-2015-0004
  • 发表时间：
    2015
  • 期刊：
    Formalized Mathematics
  • 影响因子：
    0.3
  • 作者：
    Noboru Endou;Kazuhisa Nakasho and Yasunari Shidama
  • 通讯作者：
    Kazuhisa Nakasho and Yasunari Shidama
Differentiation in Normed Spaces
规范空间的微分
  • DOI：
    10.2478/forma-2013-0011
  • 发表时间：
    2013
  • 期刊：
    Formalized Mathematics
  • 影响因子：
    0.3
  • 作者：
    Noboru Endou;Yasunari Shidama
  • 通讯作者：
    Yasunari Shidama
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

ENDOU Noboru其他文献

ENDOU Noboru的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

相似海外基金

信頼できる統計のための形式検証技術
可靠统计的正式验证技术
  • 批准号：
    24K02924
  • 财政年份：
    2024
  • 资助金额：
    $ 2.83万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
漏洩耐性と緊密な安全性を兼ね揃えた耐量子認証鍵交換の創出とその形式検証
创建防泄漏且高度安全的量子验证认证密钥交换及其形式验证
  • 批准号：
    23K11095
  • 财政年份：
    2023
  • 资助金额：
    $ 2.83万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
オートマトン的技法を用いた、物理情報システムのための軽量形式検証の量的発展
使用自动机技术对物理信息系统进行轻量级形式验证的定量开发
  • 批准号：
    22K17873
  • 财政年份：
    2022
  • 资助金额：
    $ 2.83万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
議論の形式検証を実現する論理的手法の研究
论证形式验证的逻辑方法研究
  • 批准号：
    21K12028
  • 财政年份：
    2021
  • 资助金额：
    $ 2.83万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
IoT システムのための形式検証手法の深化
深化物联网系统的形式化验证方法
  • 批准号：
    19H04084
  • 财政年份：
    2019
  • 资助金额：
    $ 2.83万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
高水準GPGPUプログラミング言語処理系の形式検証
高级GPGPU编程语言处理系统的形式化验证
  • 批准号：
    18J11727
  • 财政年份：
    2018
  • 资助金额：
    $ 2.83万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
並列索引構造の形式検証
并行索引结构的形式化验证
  • 批准号：
    25880032
  • 财政年份：
    2013
  • 资助金额：
    $ 2.83万
  • 项目类别：
    Grant-in-Aid for Research Activity Start-up
無限小プログラミングによるハイブリッドシステムの形式検証手法
使用无穷小规划的混合系统形式化验证方法
  • 批准号：
    24800035
  • 财政年份：
    2012
  • 资助金额：
    $ 2.83万
  • 项目类别：
    Grant-in-Aid for Research Activity Start-up
広義の信号処理問題への形式検証法の適用
形式验证方法在广泛的信号处理问题中的应用
  • 批准号：
    10F00046
  • 财政年份：
    2010
  • 资助金额：
    $ 2.83万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
暗号アルゴリズムのハードウェア実装およびプロトコルの形式検証の研究
密码算法硬件实现及协议形式化验证研究
  • 批准号：
    08F08742
  • 财政年份：
    2008
  • 资助金额：
    $ 2.83万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了