野呂 正行

Modular Algorithms for Computing Minimal Associated Primes and radicals of Polynomial Ideals 

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation 31-38 2018年7月  査読有り

Usage of Modular Techniques for Efficient Computation of Ideal Operations, Mathematics in Computer Science 

Mathematics in Computer Science 12(1) 1-32 2018年3月  査読有り

System of Partial Differential Equations for the Hypergeometric Function 1F1 of a Matrix Argument on Diagonal Regions 

Proc. ISSAC 2016 2016年  査読有り

Schwarz maps for the hypergeometric differential equation 

International J. Math. 2015年  査読有り

Verification of Groebner Basis Candidates 

Proc. ICMS 2014 2014年  査読有り

Implementation of a primary decomposition package 

Harmony of Groebner Bases and the Modern Industrial Society 2012年  査読有り

Holonomic gradient descent and its application to the Fisher-Bingham integral 

Adv. in Appl. Math. 2011年  査読有り

Algorithms for computing a primary ideal decomposition without producing intermediate redundant components 

J. Symb. Comp. 2011年  査読有り

New Algorithms for Computing Primary Decomposition of Polynomial Ideals 

Proc. ICMS 2010 2010年  査読有り招待有り

Stratification associated with local b-functions 

J. Symb. Comp. 2010年  査読有り

Modular Algorithms for Computing a Generating Set of the Syzygy Module 

Proc. CASC 2009 2009年  査読有り

On a conjecture for the dimension of the space of the multiple zeta values 

Software for algebraic geometry 2008年  査読有り

Confluence of Swallowtail Singularities of the Hyperbolic Schwarz Map Defined by the Hypergeometric Differential Equation 

Experimental Math. 2008年  査読有り

Computation of Discrete Comprehensive Groebner Bases Using Modular Dynamic Evaluation 

Proc. ISSAC 2007 2007年  査読有り

An efficient implementation for computing Groebner bases over algebraic number fields 

Proc. ICMS 2006 2006年  査読有り

Modular Dynamic Evaluation 

Proc. ISSAC 2006 2006年  査読有り

Automatic weight generator for the Buchberger algorithm 

Proc. MACIS 2006 2006年  査読有り

Existence of the exact CNOT on a quantum computer with the exchange interaction 

Quantum Information Processing 2005年  査読有り

Dynamic Evaluation の実装について 

数式処理 2005年  査読有り

Implementation of prime decomposition of polynomial ideals over small finite fields 

Implementation of prime decomposition of polynomial ideals over small finite fields 2004年  査読有り