Yokoyama kazuhiro 横山和弘

… Alternative Names

YOKOYAMA Kazuhiro 横山和弘

Less

Researcher Number	30333454
Other IDs
External Links
Affiliation (Current)	2025: 立教大学, 名誉教授, 名誉教授
Affiliation (based on the past Project Information) *help	2023: 立教大学, 理学部, 名誉教授 2022: 立教大学, 理学部, 特定課題研究員 2015 – 2021: 立教大学, 理学部, 教授 2005 – 2012: Rikkyo University, Department of Mathematics, Professor, 理学部, 教授 2007: 九州大学, 理学部, 教授 … More 2002 – 2005: 九州大学, 理学部, 教授 2002 – 2004: 九州大学, 大学院・数理学研究院, 教授 2003: 九州大学, 大学院・数理研究院, 教授 2001: 九州大学, 理学研究科, 教授 Less
Review Section/Research Field	Principal Investigator Basic Section 12040:Applied mathematics and statistics-related / Algebra / General mathematics (including Probability theory/Statistical mathematics) / General mathematics (including Probability theory/Statistical mathematics) Except Principal Investigator Algebra / General mathematics (including Probability theory/Statistical mathematics) / Foundations of mathematics/Applied mathematics / General mathematics (including Probability theory/Statistical mathematics) / Algebra
Keywords	Principal Investigator グレブナー基底 / 計算機代数 / 多項式イデアル / 数値数式融合 / 分解体計算 / 数値数式融合計算 / 限定子除去法 / パラメトリックシステム / 不等式制約解法 / Groebner基底 … More / 代数制約解法 / 記号・代数計算 / 計算量解析 / 数理情報科学 / F5 アルゴリズム / F4 アルゴリズム / F5アリゴリズム / 計算代数幾何 / 計算可換環論 / 公開鍵暗号 / F4アルゴリズム / F5アルゴリズム / Vertex Operator Algebra / Numeric-Symbolic Computation / Quantifier Elimination / Splitting Field / Computer Algebra System / Computer Assisted Proof / Groebner Base / Computer Algebra / 正標数 / 代数曲線 / VOA / Groebner basis / 根底計算 / 準素分解 / Galois群計算 / 頂点作用素代数 / 限定子除去 / 分解体 / 数式処理システム / 計算機援用証明 / 代数学 / 精度保証付き数値計算 / イデアルの分解 / 記号代数的計算 / 近似計算 / ガロア群・分解体計算 / 連立代数方程式 / 根の数値的近似 / 根の記号・代数的近似 / ガロア群計算 / モジュラー技法 / 記号代数的近似 / 計算機 / 不等式制約 / 最適化問題 / 多項式イデアル分解 … More Except Principal Investigator グレブナー基底 / 計算代数解析 / 計算代数 / 数式処理 / 計算可換代数 / 計算代数統計 / CGB / Groebner Basis / 数学ソフトウェア / Python / NZMATH / SIMATH / JANT / 楕円曲線 / 凸多面体の組合せ論 / アルゴリズム / 計算の効率化 / マルコフ基底 / 凸多面体 / 同種写像 / F5 / signature / Wishart分布 / 暗号 / 有限体 / 行列変数1F1 / ホロノミック勾配法 / Ｆ５アルゴリズム / モジュラー計算 / 応用数学 / modular computation / polynomial system / Hvnereeometric equation / Mathematical Software / Algebraic extension / F4 algorithm / dynamic evaluation / パラメタ / 斉次化 / F_4 / modular計算 / 代数方程式 / 超幾何方程式 / 代数拡大 / F4アルゴリズム / Vertex operator algebra / Polynomial system solving / Ideal decomposition / polynomial factorization / Hypergeometric function / Algebraic analysis / Computer algebra / 最少多項式 / 極小素因子 / 準素分解 / 多項式イデアル / 多項式因数分解 / b関数 / VOA / グレブナーfan / グレブナー fan / 超幾何関数 / 極小素因子計算 / Elliptic Curves / Cryptology / Systems for Number Theory / Number Theoretic Algorithms / 多国籍 / 国際研究者交流 / 楕円曲線暗号 / 計算機実験 / 円楕円法CEM / 64ビット / 加法鎖 / 暗号理論 / 数論システム / 数論アルゴリズム / 限量子消去 / グレブナ基底 / 限量記号消去 / 実代数幾何 / 記号的最適化手法 / パラメトリック最適化 / 記号・代数計算 / 数式融合計算 / 数値 / 最適化 / レフシェッツの超平面切断 / コニック束 / ファノ多様体 / 単有理性 / 有理曲線 / 離散数学 / 計算代数幾何 / generic initial ideal / D加群 / グレブナ-基底 / トーリックイデアル / 分割表 / イニシャルイデアル / 計算機上での解析学 / 計算機援用証明 / 数値的検証法 / 精度保証付き数値計算 / 整数計画 Less

Complexity analysis and effective implementation of computation of Groebner basesPrincipal Investigator
- Principal Investigator
  
  Yokoyama Kazuhiro
- Project Period (FY)
  2021 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
  Rikkyo University
Further development of algorithms for Groebner basis computationPrincipal Investigator
- Principal Investigator
  
  YOKOYAMA Kazuhiro
- Project Period (FY)
  2018 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
  Rikkyo University
Efficient methods for Groebner basis computation, verification and thier applications
- Principal Investigator
  
  NORO Masayuki
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Rikkyo University
Developments ofcomputational theory of real algebraic geometry for optimization problem
- Principal Investigator
  
  ANAI Hirokazu
- Project Period (FY)
  2009 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
Research on rationally connected varieties
- Principal Investigator
  
  SATO Eiichi
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Algebra
- Research Institution
  Kyushu University
The Study of theoretical aspects and practical aspect on Grobner Bases
- Principal Investigator
  
  HIBI Takayuki
- Project Period (FY)
  2006 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Algebra
- Research Institution
  Osaka University
計算可換代数と計算代数幾何についての国際研究集会の企画調査
- Principal Investigator
  
  日比孝之
- Project Period (FY)
  2006
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Algebra
- Research Institution
  Osaka University
記号代数的近似と数値的近似の組合せによる数値数式融合計算の研究Principal Investigator
- Principal Investigator
  
  横山和弘
- Project Period (FY)
  2006 – 2008
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Rikkyo University
グレブナー基底の理論的有効性と実践的有効性に関する共同研究の企画調査
- Principal Investigator
  
  HIBI Takayuki
- Project Period (FY)
  2005
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Algebra
- Research Institution
  Osaka University
数値処理と数式処理の融合による計算機援用解析学の可能性に関する基礎的研究
- Principal Investigator
  
  中尾充宏
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
Development of efficient algorithms and software for solving parametric systems
- Principal Investigator
  
  NORO Masayuki
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kobe University
Realization of decompositions of algebraic structures on real computerPrincipal Investigator
- Principal Investigator
  
  YOKOYAMA Kazuhiro
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Algebra
- Research Institution
  Rikkyo University
  Kyushu University
記号・代数計算による最適化問題解法と定理自動証明の研究Principal Investigator
- Principal Investigator
  
  横山和弘
- Project Period (FY)
  2002 – 2003
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University
Development of high performance computer algebra software
- Principal Investigator
  
  NORO Masayuki
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  KOBE UNIVERSITY
Study on Number Theoretic Algorithms and Developments of Systems for Number Theory
- Principal Investigator
  
  NAKAMULA Ken
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Algebra
- Research Institution
  Tokyo Metropolitan University

[Book] 多項式と計算機代数2022
- Author(s)
  横山和弘
- Total Pages
  244
- Publisher
  朝倉書店
- ISBN
  9784254117677
- Data Source
  KAKENHI-PROJECT-21K03377
[Book] QEの計算アルゴリズムとその応用-数式処理による最適化2011
- Author(s)
  穴井宏和・横山和弘
- Total Pages
  264
- Publisher
  東京大学出版会
- Data Source
  KAKENHI-PROJECT-21340025
[Book] QEの計算アルゴリズムとその応用-数式処理による最適化2011
- Author(s)
  穴井宏和、横山和弘
- Total Pages
  264
- Publisher
  東京大学出版会
- Data Source
  KAKENHI-PROJECT-21340025
[Book] グレブナー基底の計算基礎篇2003
- Author(s)
  野呂正行, 横山和弘
- Total Pages
  288
- Publisher
  東京大学出版会
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15340011
[Journal Article] On Factorization of Parametric Polynomials2024
- Author(s)
  Kazuhiro Yokoyama
- Journal Title
  
  Commentarii Mathematici Universitatis Sancti Pauli
  
  Volume: -
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K03377
[Journal Article] On Hilbert-Poincare series of affine semi-regular polynomial sequences and related Groebner bases2024
- Author(s)
  Momonari Kudo, Kazuhiro Yokoyama
- Journal Title
  
  Mathematical Foundations for Post-Quantum Cryptography, Mathematics for Industry
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K03377
[Journal Article] Solving the constructive Deuring correspondence via the Kohel-Laurer-Petit-Tignol algorithm2022
- Author(s)
  Kambe Yuta, Yasuda Masaya, Noro Masayuki, Yokoyama Kazuhiro, Aikawa Yusuke, Takashima Katsuyuki, Kudo Momonari
- Journal Title
  
  Mathematical Cryptology
  
  Volume: 1 Pages: 10-24
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K03377
[Journal Article] On affine tropical F5 algorithms2021
- Author(s)
  Vaccon Tristan、Verron Thibaut、Yokoyama Kazuhiro
- Journal Title
  
  Journal of Symbolic Computation
  
  Volume: 102 Pages: 132-152
- DOI
  10.1016/j.jsc.2019.10.012
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03432
[Journal Article] Hybrid Meet-in-the-Middle Attacks for the Isogeny Path-Finding Problem2020
- Author(s)
  Ikematsu Yasuhiko、Fukasaku Ryoya、Kudo Momonari、Yasuda Masaya、Takashima Katsuyuki、Yokoyama Kazuhiro
- Journal Title
  
  APKC20: Proceedings of the 7-th ACM Workshop on ASIA Public-Key Cryptography
  
  Volume: -- Pages: 36-44
- DOI
  10.1145/3384940.3388956
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K22847, KAKENHI-PROJECT-20K14301, KAKENHI-PROJECT-18K03432
[Journal Article] On FGLM algorithms with tropical Groebner bases2020
- Author(s)
  Ishihara Yuki、Vaccon Tristan、Yokoyama Kazuhiro
- Journal Title
  
  ISSAC '20: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation
  
  Volume: - Pages: 257-264
- DOI
  10.1145/3373207.3404037
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03432
[Journal Article] Algebraic approaches for solving isogeny problems of prime power degrees2020
- Author(s)
  Takahashi Yasushi、Kudo Momonari、Fukasaku Ryoya、Ikematsu Yasuhiko、Yasuda Masaya、Yokoyama Kazuhiro
- Journal Title
  
  Journal of Mathematical Cryptology
  
  Volume: 15 Issue: 1 Pages: 31-44
- DOI
  10.1515/jmc-2020-0072
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K22847, KAKENHI-PROJECT-20K14301, KAKENHI-PROJECT-18K03432
[Journal Article] Symbolic Computation of Isogenies of Elliptic Curves by Vélu’s Formula2020
- Author(s)
  Masayuki NORO, Masaya YASUDA, and Kazuhiro YOKOYAMA
- Journal Title
  
  Commentarii mathematici Universitatis Sancti Pauli = Rikkyo Daigaku sugaku zasshi
  
  Volume: 68 Pages: 93-130
- DOI
  10.14992/00020348
- NAID
  120006954959
- URL
  http://id.nii.ac.jp/1062/00020348/
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K22847, KAKENHI-PROJECT-18K03432
[Journal Article] Usage of Modular Techniques for Efficient Computation of Ideal Operations2018
- Author(s)
  Noro, M. & Yokoyama, K.
- Journal Title
  
  Mathematics in Computer Science
  
  Volume: 12,1 Issue: 1 Pages: 1-32
- DOI
  10.1007/s11786-017-0325-1
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K05008
[Journal Article] On Affine Tropical F5 Algorithms2018
- Author(s)
  Vaccon Tristan, Verron Thibaut, Yokoyama Kazuhiro
- Journal Title
  
  Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation
  
  Volume: - Pages: 383-390
- DOI
  10.1145/3208976.3209012
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03432
[Journal Article] On Affine Tropical F5 Algorithms2018
- Author(s)
  Tristan, V. & Yokoyama, K.
- Journal Title
  
  Proceedings of ISSAC2018
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K05008
[Journal Article] 楕円曲線上の離散対数問題に関する指数計算法2017
- Author(s)
  篠原直行, 野呂正行, 横山和弘
- Journal Title
  
  CRYPTREC Report 2016
  
  Volume: - Pages: 71-100
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K05008
[Journal Article] An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination2013
- Author(s)
  H.Iwane, H.Yanami, H.Anai, H.Yokoyama
- Journal Title
  
  Theoretical Computer Science
  
  Volume: 479 Pages: 42-69
- DOI
  10.1016/j.tcs.2012.10.020
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination2013
- Author(s)
  H. Iwane, H. Yanami, H. Anai, K. Yokoyama
- Journal Title
  
  Theoretical Computer Science
  
  Volume: vol. 479 Pages: 43-69
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] Efficient Arithmetic in Successive Algebraic Extension Fields Using Symmetries2012
- Author(s)
  S.Orange, G.Renault, K.Yokoyama
- Journal Title
  
  Mathematics in Computer Science
  
  Pages: 217-233
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical Algebraic Decomposition2011
- Author(s)
  S.Gandy, M.Kanno, H.Anai, K.Yokoyama
- Journal Title
  
  Mathematics in Computer Science (MCS)
  
  Volume: 5-2 Issue: 2 Pages: 209-221
- DOI
  10.1007/s11786-011-0090-5
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical Algebraic Decomposition2011
- Author(s)
  S. Gandy, M. Kanno, H. Anai, K.Yokoyama
- Journal Title
  
  Mathematics in Computer Science
  
  Volume: 5(2) Pages: 209-221
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] A Note on Distinct Nilpotency Decomposition of Polynomial Ideals over Finite Fields2010
- Author(s)
  K. Yokoyama
- Journal Title
  
  Commentarii Mathematici, niversitatis Sancti Pauli
  
  Volume: Vol. 59, No.2 Pages: 145-164
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] A Note on Distinct Nilpotency Decomposition of Polynomial Ideals over Finite Fields2010
- Author(s)
  K.Yokoyama
- Journal Title
  
  Commentarii Mathematici, Universitatis Sancti Pauli
  
  Volume: 59・2 Pages: 145-164
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] Algebraic Approach to Discrete-time Polynomial Spectral Factorization, Journal of Math-for-Industry2009
- Author(s)
  M. Kanno, K. Yokoyama, S. Hara, H. Anai
- Journal Title
  
  Kyushu University
  
  Volume: Vol.1 JMI2009A-8 Pages: 57-68
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem2009
- Author(s)
  H. Anai, S.Hara, M.Kannno, K.Yokoyama
- Journal Title
  
  J. Symb. Comput
  
  Volume: 44(7) Pages: 703-725
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] Quintic Polynomials of Hashimoto-Tsunogai, Brumer and Kummer2009
- Author(s)
  M. Kida, G Renoue, K. Yokoyama
- Journal Title
  
  International Journal of Number Theory
  
  Volume: Vol. 5, No. 4 Pages: 555-571
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] Multi-modular algorithm for computing the splitting field of a polynomial2008
- Author(s)
  Guenael Renault, Kazuhiro Yokoyama
- Journal Title
  
  Proceedings of the international symposium on symbolie and algebraic computation
  
  Pages: 247-254
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18654025
[Journal Article] On systems of algebraic equations with parametric exponents II2007
- Author(s)
  Kazuhiro Yokoyama
- Journal Title
  
  Applicable Algebra in Engineering Communication and Computing 18
  
  Pages: 603-630
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19540037
[Journal Article] On systems of algebraic equations with parametric exponents II2007
- Author(s)
  Kazuhiro Yokoyama
- Journal Title
  
  Applicable Algebra in Engineering Communicationand Computing 18
  
  Pages: 603-630
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19540037
[Journal Article] On systems of algebraic equations with parametric exponents II2007
- Author(s)
  K. Yokoyama
- Journal Title
  
  AAECC Vol. 18
  
  Pages: 603-630
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17340028
[Journal Article] Parametric optimization in Control using the sum of roots for parametric polynomial spectral Factorization2007
- Author(s)
  M. Kanno, K. Yokoyama, H. Anai, S. Hara
- Journal Title
  
  Proc. ISSAC 2007(ACM Press)
  
  Pages: 211-218
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17340028
[Journal Article] Stability of parametric decomposition2006
- Author(s)
  K.Yokoyama
- Journal Title
  
  Proceedings of ICMS2006 LNCS4151
  
  Pages: 391-402
- Data Source
  KAKENHI-PROJECT-17340028
[Journal Article] On polynomial curves in the affine plane2006
- Author(s)
  M.Fujimoto, M.Suzuki, K.Yokoyama
- Journal Title
  
  Osaka Journal of Mathematics (to appear)
- NAID
  120004841918
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15340011
[Journal Article] A modular method for computing the splitting field of a polynomial2006
- Author(s)
  G.Renault, K.Yokoyama
- Journal Title
  
  Proceedings of the 7th Algorithmic Number Theory Symposium (ANTS VII) (to appear)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15340011
[Journal Article] A modular method for computing the splitting field of a polynomial2006
- Author(s)
  Gu□na□l Renault, Kazuhiro Yokoyama
- Journal Title
  
  Algorithmic Number Theory, Proceedings of ANTS-VII, Lecture Notes in Computer Science 4076
  
  Pages: 124-140
- Data Source
  KAKENHI-PROJECT-18654025
[Journal Article] Stability of parametric decomposition2006
- Author(s)
  Kazuhiro Yokoyama
- Journal Title
  
  Mathematical Software, Proceedings of ICMS 2006, Lecture Notes in Computer Science 4151
  
  Pages: 391-402
- Data Source
  KAKENHI-PROJECT-18654025
[Journal Article] Stability of parametric decomposition2006
- Author(s)
  K.Yokoyama
- Journal Title
  
  Lecture Notes in Computer Science 4151
  
  Pages: 391-402
- Data Source
  KAKENHI-PROJECT-17654026
[Journal Article] Some of roots with positive real parts2005
- Author(s)
  Hirokazu Anai, Shinji Hara, Kazuhiro Yokoyama
- Journal Title
  
  Proceedings of the International Symposium on Symbolic and Algebraic Computation 2005
  
  Pages: 21-28
- Data Source
  KAKENHI-PROJECT-15340011
[Journal Article] Overview on Computer Algebra and Parametric Polynomial Systems2005
- Author(s)
  Yokoyama, K.
- Journal Title
  
  Proceedings of ASCM 2005
  
  Pages: 141-144
- Data Source
  KAKENHI-PROJECT-17654026
[Journal Article] Cylindrical algebraic decomposition via numerical computation with validated symbolic reconstruction2005
- Author(s)
  H.Anai, K.Yokoyama
- Journal Title
  
  Proceedings of Algorithmic Algebra and Logic (A3L2005)
  
  Pages: 25-30
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15340011
[Journal Article] 関孝和の問題を解く2005
- Author(s)
  木村欣司, 平野照比古, 横山和弘
- Journal Title
  
  数式処理
  
  Pages: 35-42
- NAID
  40007176796
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15340011
[Journal Article] Cylindrical algebraic decomposition via numerical computation with validated symbolic reconstruction (extended abstract)2005
- Author(s)
  H.Anai, K.Yokoyama
- Journal Title
  
  Proceedings of Algorithmic Algebra and Logic 2005 (to appear)
- Data Source
  KAKENHI-PROJECT-15340011
[Journal Article] Cylindrical algebraic decomposition via numerical computation with validated symbolic reconstruction2005
- Author(s)
  Hirokazu Anai, Kazuhiro Yokoyama
- Journal Title
  
  Algorithmic Algebra and Logic, Proceedings of the A3L 2005
  
  Pages: 25-30
- Data Source
  KAKENHI-PROJECT-15340011
[Journal Article] Sum of roots with positive real parts2005
- Author(s)
  H.Anai, S.Hara, K.Yokoyama
- Journal Title
  
  Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation (ISSAC 2005)
  
  Pages: 21-28
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15340011
[Journal Article] On systems of algebraic equations with parametric exponents2004
- Author(s)
  K.Yokoyama
- Journal Title
  
  Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation (ISSAC 2004)
  
  Pages: 312-319
- NAID
  120006654334
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15340011
[Journal Article] Implementation of prime decomposition of polynomial ideals over small finite fields2004
- Author(s)
  M.Noro, K.Yokoyama
- Journal Title
  
  Journal of Symbolic Computation 38
  
  Pages: 1227-1246
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15340011
[Journal Article] On systems of algebraic equations with parametric exponents2004
- Author(s)
  K.Yokoyama
- Journal Title
  
  Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation
  
  Pages: 312-319
- NAID
  120006654334
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14340036
[Journal Article] Implementation of prime decomposition of polynomial ideals over small finite field2004
- Author(s)
  M.Noro, K.Yokoyama
- Journal Title
  
  Journal of Symbolic Computation 38
  
  Pages: 1227-1246
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15340011
[Journal Article] On systems of algebraic equations with parametric exponents2004
- Author(s)
  K.Yokoyama
- Journal Title
  
  Proceedings of the international symposium on symbolic and algebraic computation 2004
  
  Pages: 312-319
- NAID
  120006654334
- Data Source
  KAKENHI-PROJECT-15340011
[Journal Article] Implementation of prime decomposition of polynomial ideals over small finite fields2004
- Author(s)
  M.Noro, K.Yokoyama
- Journal Title
  
  Journal of Symbolic Computation 38
  
  Pages: 1227-1246
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14340036
[Journal Article] On systems of algebraic equations with parametric exponents2004
- Author(s)
  K.Yokoyama
- Journal Title
  
  Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation(ISSAC 2004)
  
  Pages: 312-319
- NAID
  120006654334
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15340011
[Journal Article] Implementation of prime decomposition of polynomial ideals over small finite fields2004
- Author(s)
  M.Noro, K.Yokoyama
- Journal Title
  
  Journal of Symbolic Computation 38・4
  
  Pages: 1227-1246
- Data Source
  KAKENHI-PROJECT-15340011
[Journal Article] Z_3 symmetry and W_3 algebra in lattice vertex operator algebras2004
- Author(s)
  Chongying Dong, Ching Hung Lam, Kenichiro Tanabe, Hiromichi Yamada, Kazuhiro Yokoyama
- Journal Title
  
  Pacific Journal of Mathematics 215
  
  Pages: 245-296
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14340036
[Journal Article] Z_3 symmetry and W_3 algebra in lattice vertex operator algebras2004
- Author(s)
  C.Dong, C.H.Lam, K.Tanabe, H.Yamada, K.Yokoyama
- Journal Title
  
  Pacific Journal of Mathematics 215
  
  Pages: 245-296
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15340011
[Journal Article] Yet Another Practical Implementation of Polynomial Factorization over Finite fields2003
- Author(s)
  M.Noro, K.Yokoyama
- Journal Title
  
  Proc.ISSAC2002 (ACM press)
  
  Pages: 200-206
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14340036
[Journal Article] Yet Another Practical Implementation of Polynomial Factorization over Finite Fields2003
- Author(s)
  M.Noro, K.Yokoyama
- Journal Title
  
  Proc.ISSAC2002, ACM press
  
  Pages: 200-206
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14340036
[Journal Article] A modular method for computing the splitting field of a polynominal
- Author(s)
  G.Renault, K.Yokoyama
- Journal Title
  
  Proceedings of the 7th Algorithmic Number Theory Symposium (ANTS VII) (to appear)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15340011
[Journal Article] On polynomial curves in the affine plane
- Author(s)
  M.Fujimoto, M.Suzuki, K.Yokoyama
- Journal Title
  
  Osaka Journal of Mathematics (to appear)
- NAID
  120004841918
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15340011
[Presentation] 半正則な非斉次多項式列に付随するHilbert級数とGroebner基底の計算量の評価2024
- Author(s)
  工藤桃成、横山和弘
- Organizer
  日本応用数理学会・研究部会連合発表会「数論アルゴリズムとその応用」
- Data Source
  KAKENHI-PROJECT-21K03377
[Presentation] The solving degree for computing Groebner bases of affine semi-regular polynomial sequences2024
- Author(s)
  Momonari Kudo, Kazuhiro Yokoyama
- Organizer
  MEGA 24 (Effective Methods in Algebraic Geometry, 2024)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03377
[Presentation] アフィン半正則な多項式系の定める Hilbert 級数と関連する Groebner 基底2023
- Author(s)
  工藤桃成、横山和弘
- Organizer
  RIMS共同研究（公開型）「Computer Algebra-Foundations and Applications」
- Data Source
  KAKENHI-PROJECT-21K03377
[Presentation] On the complexity of Groebner basis computation2023
- Author(s)
  Kazuhiro Yokoyama
- Organizer
  10th International Congress on Industrial and Applied Mathematics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03377
[Presentation] Implementation report on computing Groebner bases over exterior algebra2022
- Author(s)
  Sakata Kosuke, Kudo Momonari, Kato Taku, Kazuhiro Yokoyama
- Organizer
  25th International Workshop on Computer Algebra in Scientific Computing
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03377
[Presentation] Implemention report on parametric factorization of multi-variate polynomials2022
- Author(s)
  Kazuhiro Yokoyama
- Organizer
  Application of Computer Algebra
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03377
[Presentation] 多変数多項式のパラメトリック因数分解2022
- Author(s)
  横山和弘
- Organizer
  RIMS共同研究（公開型）「Computer Algebra -Foundation and Applications」
- Data Source
  KAKENHI-PROJECT-21K03377
[Presentation] Signature based algorithm による change of ordering2021
- Author(s)
  野呂正行, 横山和弘
- Organizer
  Risa/Asir Conference 2021
- Data Source
  KAKENHI-PROJECT-18K03432
[Presentation] Solving the constructive Deuring correspondence via the Kohel-Lauter-Petit-Tignol algorithm2021
- Author(s)
  Kambe Yuta, Yasuda Masaya, Noro Masayuki, Yokoyama Kazuhiro, Aikawa Yusuke, Takashima Katsuyuki, Kudo Momonari
- Organizer
  MathCrypt2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K03377
[Presentation] Implementation of a signature based algorithm in Risa/Asir2020
- Author(s)
  野呂正行, 横山和弘
- Organizer
  RIMS Symposium Computer Algebra - Theory and its Applications
- Data Source
  KAKENHI-PROJECT-18K03432
[Presentation] F5-style algorithm の正当性と停止性について2019
- Author(s)
  阿部拓実, 篠原直行, 野呂正行, Vaccon Tristan, 横山和弘
- Organizer
  Risa/Asir Conference 2019
- Data Source
  KAKENHI-PROJECT-18K03432
[Presentation] Algebraic approaches for solving isogeny problems of prime power degrees2019
- Author(s)
  Yasushi Takahashi, Momonari Kudo, Yasuhiko Ikematsu, Masaya Yasuda, Kazuhrio Yokoyama
- Organizer
  MathCrypt 2019
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03432
[Presentation] signature を用いたグレブナー計算アルゴリズム2019
- Author(s)
  横山和弘
- Organizer
  計算代数夏の学校2019
- Invited
- Data Source
  KAKENHI-PROJECT-18K03432
[Presentation] signature-based algorithm の停止性と正当性について2019
- Author(s)
  横山和弘
- Organizer
  2019年度理論分科会＆システム分科会合同研究会
- Data Source
  KAKENHI-PROJECT-18K03432
[Presentation] Computer Algebra, the recent topic and future2018
- Author(s)
  横山和弘
- Organizer
  RIMS Symposium "Computer Algebra-Theory and its Applications"
- Invited
- Data Source
  KAKENHI-PROJECT-18K03432
[Presentation] On Affine Tropical F5 Algorithms2018
- Author(s)
  Vaccon Tristan, Verron Thibaut, Yokoyama Kazuhiro
- Organizer
  2018 ACM International Symposium on Symbolic and Algebraic Computation
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03432
[Presentation] 楕円曲線の同種写像の公式作成における計算機代数の利用2018
- Author(s)
  横山和弘
- Organizer
  Risa/Asir Conference 2018
- Data Source
  KAKENHI-PROJECT-15K05008
[Presentation] 楕円曲線上の離散対数問題へのグレブナー基底の応用2017
- Author(s)
  篠原直行, 野呂正行, 横山和弘
- Organizer
  Risa/Asir conference 2017
- Place of Presentation
  金沢大学自然科学５号館第講義室(石川県金沢市）
- Year and Date
  2017-03-29
- Data Source
  KAKENHI-PROJECT-15K05008
[Presentation] 楕円曲線の同種写像の公式生成について2017
- Author(s)
  横山和弘
- Organizer
  九州代数的整数論2017
- Place of Presentation
  九州大学ＭＩ研究所（福岡県福岡市）
- Year and Date
  2017-03-10
- Invited
- Data Source
  KAKENHI-PROJECT-15K05008
[Presentation] 近年の数式処理と将来の展望2016
- Author(s)
  横山和弘
- Organizer
  RIMS 研究集会「数式処理の新たな発展」
- Place of Presentation
  RIMS(京都府京都市）
- Year and Date
  2016-09-08
- Invited
- Data Source
  KAKENHI-PROJECT-15K05008
[Presentation] Modular Techiniques for Efficient Computation of Ideal Operation2015
- Author(s)
  Kazuhiro Yokoyama, Masayuki Noro
- Organizer
  ICIAM 2015
- Place of Presentation
  China National Convention Center, Beijing(China)
- Year and Date
  2015-08-11
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K05008
[Presentation] グレブナー基底計算の効率化2015
- Author(s)
  横山和弘
- Organizer
  RIMS研究集会「数式処理研究の新たな発展」
- Place of Presentation
  京都大学数理解析研究所(京都府・京都市)
- Year and Date
  2015-08-19
- Invited
- Data Source
  KAKENHI-PROJECT-15K05008
[Presentation] Stability of Parametric Decomposition2015
- Author(s)
  Kazuhiro Yokoyama
- Organizer
  Dagstuhl Seminar 15471 Symbolic Computation and Satisfiability
- Place of Presentation
  Schloss Dagstuhl, Wadern(Germany)
- Year and Date
  2015-11-15
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K05008
[Presentation] Usage of Modular Techniques for Efficient Computation of Ideal Operations2012
- Author(s)
  K. Yokoyama
- Organizer
  Computer Algebra in Scientific Computing CASC
- Year and Date
  2012-09-04
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] Distinct Nilpotency Decomposition of Polynomial Ideals over Finite Fields2011
- Author(s)
  横山和弘
- Organizer
  日本数式処理学会大会
- Place of Presentation
  神戸大学
- Year and Date
  2011-09-11
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] Solution of Algebraic Riccati Equations Using the Sum of Roots2009
- Author(s)
  M. Kanno, K. Yokoyama, H. Anai, S. Hara
- Organizer
  International Symposium on Symbolic and Algebraic Computation (ISSAC) 2009
- Year and Date
  2009-07-09
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] Computation of the splitting field of a polynomial using its Galois group2009
- Author(s)
  K.Yokoyama
- Organizer
  International Conference on Mathematics Mechanization
- Place of Presentation
  Academy of Mathematics and Systems Science, 北京
- Year and Date
  2009-05-12
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] An Effective Implementation of Symbolic-Nuneric Cylindrical Algebraic Decomposition for Quantifier Elimination2009
- Author(s)
  H. Iwane, H. Yanami, H. Anai, K. Yokoyama
- Organizer
  3rd International Workshop on Symbolic-Numeric Computation (SNC) 2009
- Year and Date
  2009-08-04
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] An Effective Implementation of Symbolic-Nuneric Cylindrical Algebraic Decomposition for Quantifier Elimination2009
- Author(s)
  H. Iwane, H. Yanami, H. Anai, K. Yokoyama
- Organizer
  3rd International Workshop on Symbolic-Numeric Computation (SNC)
- Year and Date
  2009-08-04
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] Primary decomposition and related topics I2007
- Author(s)
  Kazuhiro Yokoyama
- Organizer
  Summer School on SINGULAR, and Applications
- Place of Presentation
  カイザースラウテルン大学(ドイツ)
- Year and Date
  2007-06-04
- Data Source
  KAKENHI-PROJECT-19540037
[Presentation] Primary decomposition and related topics I, II2007
- Author(s)
  K. Yokoyama
- Organizer
  Summer School on SINGULAR and Application
- Place of Presentation
  U. Kaiserslautern, Kaiserslautern, Germany
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17340028
[Presentation] Primary ecomposition and related topics I, II2007
- Author(s)
  Kazuhiro Yokoyama
- Organizer
  Summer School on SINGULAR and Applications
- Place of Presentation
  カイザースラウテルン大学(ドイツ)
- Data Source
  KAKENHI-PROJECT-19540037
[Presentation] Primary decomposition and related topics II2007
- Author(s)
  Kazuhiro Yokoyama
- Organizer
  Summer School on SINGULAR and Applications
- Place of Presentation
  カイザースラウテルン大学(ドイツ)
- Year and Date
  2007-06-06
- Data Source
  KAKENHI-PROJECT-19540037
[Presentation] Usage of Modular Techniques for Efficient Computation of Ideal Operations
- Author(s)
  Kazuhiro Yokoyama
- Organizer
  Computer Algebra in Scientific Computing CASC 2012
- Place of Presentation
  Maribor (Slovenia)
- Invited
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] Quantifier Elimination for Solving Real Engineering Problems
- Author(s)
  Kazuhiro Yokoyama
- Organizer
  International Symposium on Symbolic Computation in Software Science
- Place of Presentation
  Tunis(Tunisia)
- Invited
- Data Source
  KAKENHI-PROJECT-21340025

1. NORO Masayuki (50332755)

# of Collaborated Projects: 6 results

# of Collaborated Products: 16 results
2. HIBI Takayuki (80181113)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
3. SAITO Mutsumi (70215565)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
4. TAKEMURA Akimichi (10171670)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
5. OAKU Toshinori (60152039)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
6. OHSUGI Hidefumi (80350289)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
7. TAKAYAMA Nobuki (30188099)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
8. 篠原直行 (70565986)

# of Collaborated Projects: 3 results

# of Collaborated Products: 3 results
9. 中尾充弘 (10136418)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
10. FURUSHIMA Mikio (00165482)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
11. TAKAYAMA Shigeharu (20284333)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
12. ANAI Hirokazu (20417520)

# of Collaborated Projects: 2 results

# of Collaborated Products: 11 results
13. OHARA Katsuyoshi (00313635)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
14. 吉川敦 (80001866)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
15. MATSUI Yasuko (10264582)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. SAITO Kyoji (20012445)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. AOKI Satoshi (90332618)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. SATO Eiichi (10112278)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. YANAMI Hitoshi (70417533)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
20. IWANE Hidenao (00470360)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
21. NAKAMULA Ken (80110849)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. KURATA Toshihiko (40311899)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. TSUMURA Hirofumi (20310419)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. NAGAO Koh-ichi (00308321)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. KIDA Masanari (20272057)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. SAITO Masahiko (80183044)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. SUZUKI Akira (50330519)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. SATO Yosuke (50257820)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
29. 鈴木昌和 (20112302)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
30. 朝倉政典 (60322286)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
31. 福田隆 (00181272)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
32. 村尾裕一 (60174265)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
33. OKAMOTO Tatsuaki

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
34. AOYAMA Toru

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
35. 高島克幸

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
36. 安田雅哉

# of Collaborated Projects: 0 results

# of Collaborated Products: 2 results

Yokoyama kazuhiro 横山 和弘

YOKOYAMA Kazuhiro 横山 和弘

Research Projects

Research Products

Co-Researchers

Complexity analysis and effective implementation of computation of Groebner basesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Further development of algorithms for Groebner basis computationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

記号代数的近似と数値的近似の組合せによる数値数式融合計算の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Realization of decompositions of algebraic structures on real computerPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

記号・代数計算による最適化問題解法と定理自動証明の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Yokoyama kazuhiro 横山和弘

YOKOYAMA Kazuhiro 横山和弘

[Book] グレブナー基底の計算基礎篇2003