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