Top > Back > 学術論文・プロシーディングス・著作 の検索結果 25 件中 1‐25 件目
| Effective Algorithm for computing Noetherian operators of positive-dimensional ideals |
| [ 全著者名 ] Katsusuke Nabeshima, Shinichi Tajima |
| [ 掲載誌名 ] Lecture Notes in Computer Science |
| [ 掲載年月 ] 2023年 9月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| 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
