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
  • 期刊:
  • 影响因子:
    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.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
  • 期刊:
  • 影响因子:
    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
マイナス金利モデルについて―金利デリバティブの視点から―
关于负利率模型——从利率衍生品的角度——
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Takahashi Yasushi;Kudo Momonari;Fukasaku Ryoya;Ikematsu Yasuhiko;Yasuda Masaya;Yokoyama Kazuhiro;竹原浩太
  • 通讯作者:
    竹原浩太

Fukasaku Ryoya的其他文献

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

作者:{{ showInfoDetail.author }}

知道了