Making a quantifier elimination method based on the theory of comprehensive Groebner systems more efficient

使基于综合Groebner系统理论的量词消除方法更加高效

基本信息

项目摘要

项目成果

期刊论文数量（14）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
パラメータ付き非根基イデアルに対するエルミート二次形式について
关于参数化非激进理想的埃尔米特二次形式
  • DOI：
  • 发表时间：
    2017
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Fukasaku Ryoya;Sato Yosuke;Yosuke Sato and Ryoya Fukasaku;深作亮也;深作亮也
  • 通讯作者：
    深作亮也
CGBとCGSの入門
CGB和CGS简介
  • DOI：
  • 发表时间：
    2017
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Fukasaku Ryoya;Sato Yosuke;Yosuke Sato and Ryoya Fukasaku;深作亮也
  • 通讯作者：
    深作亮也
単純ホップ分岐判定法の実装
简单Hopf分支决策方法的实现
  • DOI：
  • 发表时间：
    2020
  • 期刊：
  • 影响因子：
    0
  • 作者：
    ○Sumito Kurata;Keisuke Yano;Fumiyasu Komaki;深作亮也,田島慎一
  • 通讯作者：
    深作亮也,田島慎一
Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems
  • DOI：
    10.3233/aic-180762
  • 发表时间：
    2018
  • 期刊：
    AI Commun.
  • 影响因子：
    0
  • 作者：
    Takuya Matsuzaki;Hidenao Iwane;Munehiro Kobayashi;Yiyang Zhan;Ryoya Fukasaku;Jumma Kudo;H. Anai;N. Arai
  • 通讯作者：
    Takuya Matsuzaki;Hidenao Iwane;Munehiro Kobayashi;Yiyang Zhan;Ryoya Fukasaku;Jumma Kudo;H. Anai;N. Arai
On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal
{{ 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 }}

Fukasaku Ryoya其他文献

Falsification-aware semantics and sequent calculi for classical logic
经典逻辑的证伪感知语义和后续演算
  • DOI：
    10.1007/s10992-021-09611-x
  • 发表时间：
    2022
  • 期刊：
    Journal of Philosophical Logic
  • 影响因子：
    1.5
  • 作者：
    Sato Yosuke;Fukasaku Ryoya;Sekigawa Hiroshi;Norihiro Kamide
  • 通讯作者：
    Norihiro Kamide
エコーステートネットワークの予測能力に関する活性化関数の影響
激活函数对回声状态网络预测能力的影响
  • DOI：
  • 发表时间：
    2019
  • 期刊：
    電子情報通信学会 技術研究報告
  • 影响因子：
    0
  • 作者：
    Ikematsu Yasuhiko;Fukasaku Ryoya;Kudo Momonari;Yasuda Masaya;Takashima Katsuyuki;Yokoyama Kazuhiro;張 瀚天・中岡慎治・安東弘泰
  • 通讯作者：
    張 瀚天・中岡慎治・安東弘泰
多賀城と貞観津波
多贺城和常岩海啸
  • DOI：
  • 发表时间：
    2018
  • 期刊：
    考古学雑誌
  • 影响因子：
    0
  • 作者：
    Sato Yosuke;Fukasaku Ryoya;Sekigawa Hiroshi;山本倫生，寺田吉壱;相原淳一
  • 通讯作者：
    相原淳一
Computable functors on the category of quasi-Polish spaces.
准波兰空间范畴上的可计算函子。
  • DOI：
  • 发表时间：
    2021
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Sato Yosuke;Fukasaku Ryoya;Sekigawa Hiroshi;Norihiro Kamide;M. de Brecht
  • 通讯作者：
    M. de Brecht
Hybrid Meet-in-the-Middle Attacks for the Isogeny Path-Finding Problem
针对同源路径查找问题的混合中间相遇攻击

Fukasaku Ryoya的其他文献

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

作者：{{ showInfoDetail.author }}

知道了