Top   >   Back   >   学術論文・プロシーディングス・著作 の検索結果 24 件中 1‐24 件目

A new deterministic method for computing Milnor number of an ICIS
[ 全著者名 ] Shinichi Tajima, Katsusuke Nabeshima
[ 掲載誌名 ] Lecture Notes in Computer Science
[ 掲載年月 ] 2021年 9月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
Computing Grothendieck point residues via solving holonomic systems of first order partial differential equations
[ 全著者名 ] Shinichi Tajima, Katsusuke Nabeshima
[ 掲載誌名 ] Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC' 2021)
[ 掲載年月 ] 2021年 7月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
Computing logarithmic vector fields along an ICIS germ via matlis duality
[ 全著者名 ] Shinichi Tajima, Takafumi Shibuta, Katsusuke Nabeshima
[ 掲載誌名 ] Lecture Notes in Computer Science
[ 掲載年月 ] 2020年 9月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
Computing parametric standard bases for semi-weighted homogeneous isolated hypersurface singularities
[ 全著者名 ] Katsusuke Nabeshima
[ 掲載誌名 ] Lecture Notes in Computer Science
[ 掲載年月 ] 2020年 9月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
Parametric standard system for mixed module and its application to singularity theory
[ 全著者名 ] Hiroshi Taramoto, Katsusuke Nabeshima
[ 掲載誌名 ] Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC' 2020)
[ 掲載年月 ] 2020年 7月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
On parametric border bases
[ 全著者名 ] Yosuke Sato, Hiroshi Sekigawa, Ryoya Fukasaku, Katsusuke Nabeshima
[ 掲載誌名 ] Lecture Notes in Computer Science
[ 掲載年月 ] 2020年 3月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
Generalized integral dependence relations
[ 全著者名 ] Katsusuke Nabeshima, Shinichi Tajima
[ 掲載誌名 ] Lecture Notes in Computer Science
[ 掲載年月 ] 2020年 3月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
On Applications of Technology to Understanding Hierarchies of Elementary Geometry
[ 全著者名 ] Yosuke Sato, Ryoya Fukasakua, Katsusuke Nabeshima
[ 掲載誌名 ] Proc. Asian Technology Conference in Mathematics 2018
[ 掲載年月 ] 2018年 12月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
On simple representation of locally closed sets
[ 全著者名 ] Yosuke Sato, Ryoya Fukasakua, Katsusuke Nabeshima
[ 掲載誌名 ] Proc. Asian Technology Conference in Mathematics 2016, Published by Mathematics and Technology
[ 掲載年月 ] 2016年 12月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
Solving extended ideal membership problems in rings of convergent power series via Gröbner bases
[ 全著者名 ] Katsusuke Nabeshima, Shinichi Tajima
[ 掲載誌名 ] Lecture Notes in Computer Science
[ 掲載年月 ] 2016年 10月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
Comprehensive Gröbner systems in rings of differential operators, holonomic D-modules and b-functions
[ 全著者名 ] Katsusuke Nabeshima, Katsuyoshi Ohara, Shinichi Tajima
[ 掲載誌名 ] Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC' 2016)
[ 掲載年月 ] 2016年 7月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
Efficient computation of algebraic local cohomology classes and change of ordering for zero-dimensional standard bases
[ 全著者名 ] Katsusuke Nabeshima, Shinichi Tajima
[ 掲載誌名 ] Lecture Notes in Computer Science
[ 掲載年月 ] 2015年 9月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
Computing logarithmic vector fields associated with parametric semi-quasihomogeneous hypersurface isolated singularities
[ 全著者名 ] Katsusuke Nabeshima, Shinichi Tajima
[ 掲載誌名 ] Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC' 2015)
[ 掲載年月 ] 2015年 7月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
An algorithm for computing Tjurina Stratifications of μ-constant deformations by using local cohomology classes with parameters
[ 全著者名 ] Katsusuke Nabeshima, Shinichi Tajima
[ 掲載誌名 ] Lecture Notes in Computer Science
[ 掲載年月 ] 2014年 10月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases
[ 全著者名 ] Katsusuke Nabeshima, Shinichi Tajima
[ 掲載誌名 ] Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC2014)
[ 掲載年月 ] 2014年 7月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
An algorithm for computing standard bases by change of ordering via algebraic local cohomology
[ 全著者名 ] Katsusuke Nabeshima, Shinichi Tajima
[ 掲載誌名 ] Lecture Notes in Computer Science
[ 掲載年月 ] 2014年
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
Stability Conditions of Monomial Bases and Comprehensive Gröbner systems
[ 全著者名 ] Katsusuke Nabeshima
[ 掲載誌名 ] Lecture Notes in Computer Science
[ 掲載年月 ] 2012年 9月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
PGB: A package for computing parametric polynomial systems
[ 全著者名 ] Katsusuke Nabeshima
[ 掲載誌名 ] Proc. the Joint Conference of ASCM2009 and MACIS2009, MI Lecture Note Series
[ 掲載年月 ] 2009年 12月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
An Algorithm to Compute Parametric Standard Bases Using Algebraic Local Cohomology for Zero Dimensional Ideals
[ 全著者名 ] Katsusuke Nabeshima, Yayoi Nakamura and Shinichi Tajima
[ 掲載誌名 ] Proc. Joint Conference of ASCM2009 and MACIS2009, COE Lecture Note
[ 掲載年月 ] 2009年 12月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
A Speed-Up of the Algorithm for Computing Comprehensive Gröbner Systems
[ 全著者名 ] Katsusuke Nabeshima
[ 掲載誌名 ] Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC07)
[ 掲載年月 ] 2007年 7月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
A Computation Method for ACGB-V
[ 全著者名 ] Katsusuke Nabeshima
[ 掲載誌名 ] Proceedings of the A3L 2005, conference in Honor of the 60th Birthday of Volker Weispfenning
[ 掲載年月 ] 2005年 9月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
A Direct Products of Fields Approach to Comprehensive Gröbner Bases over Finite Fields
[ 全著者名 ] Katsusuke Nabeshima
[ 掲載誌名 ] Proceedings of the 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05)
[ 掲載年月 ] 2005年 5月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
Discrete Comprehensive Gröbner Bases II
[ 全著者名 ] Yosuke Sato, Akira Suzuki and Katsusuke Nabeshima
[ 掲載誌名 ] Computer Mathematics III, Lecture Notes Series on Computing
[ 掲載年月 ] 2003年 10月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
ACGB on Varieties
[ 全著者名 ] Yosuke Sato, Akira Suzuki, Katsusuke Nabeshima
[ 掲載誌名 ] Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing
[ 掲載年月 ] 2003年 9月
[ 著作区分 ] レフェリー付プロシーディングス（外国語）
Previous | 1 | Next