ホーム > 田島 慎一/ Tajima, Shinichi
田島 慎一
ALUMNI
2026年10月現在、筑波大学が主たる所属機関ではありません
Tajima, Shinichi
新潟大学 , 自然科学系 , フェロー Niigata University
関連記事はまだありません。
-
1.
A Deterministic Method for Computing Bertini Type Invariants of Parametric Ideals.
Shinichi Tajima; Katsusuke Nabeshima
Mathematics in Computer Science 18: 14 (2024) Semantic Scholar
-
2.
An implementation of the Suwa method for computing first order infinitesimal versal unfoldings of codimension one complex analytic singular foliations
Shinichi Tajima; Katsusuke Nabeshima
Journal of Computational Algebra 10: 100015 (2024) Semantic Scholar
-
3.
Effective Algorithm for Computing Noetherian Operators of Positive Dimensional Ideals
Katsusuke Nabeshima; Shinichi Tajima
Computer Algebra in Scientific Computing 272 (2023) Semantic Scholar
-
4.
Computing holonomic D-modules associated to a family of non-isolated hypersurface singularities via comprehensive Gröbner systems of PBW algebra
Shinichi Tajima; Katsusuke Nabeshima; Katsuyoshi Ohara; Yoko Umeta
Mathematics in Computer Science 17: (2023)
-
5.
CSSg method for several genericities of parametric systems
Katsusuke Nabeshima; Shinichi Tajima
Japan Journal of Industrial and Applied Mathematics (2022) Semantic Scholar
-
6.
An effective method for computing Grothendieck point residue mappings
Shinichi Tajima; Katsusuke Nabeshima
Journal of Algebra 593: 568 (2022) Semantic Scholar
-
7.
Computing Grothendieck Point Residues via Solving Holonomic Systems of First Order Partial Differential Equations
Shinichi Tajima; Katsusuke Nabeshima
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 361 (2021) Semantic Scholar
-
8.
Computing Regular Meromorphic Differential Forms via Saito's Logarithmic Residues
Shinichi Tajima; Katsusuke Nabeshima
Symmetry, Integrability and Geometry: Methods and Applications (2021) Semantic Scholar
-
9.
A New Deterministic Method for Computing Milnor Number of an ICIS
Shinichi Tajima; Katsusuke Nabeshima
Computer Algebra in Scientific Computing 391 (2021) Semantic Scholar
-
10.
零次元準素イデアルのネター作用素の計算と応用
鍋島 克輔; 田島 慎一
京都大学数理解析研究所講究録 2185: 1 (2021)
-
11.
An Algorithm for Computing Torsion Differential Forms Associated with an Isolated Hypersurface Singularity
Shinichi Tajima; Katsusuke Nabeshima
Mathematics in Computer Science (2020) Semantic Scholar
-
12.
Testing Zero-Dimensionality of Varieties at a Point
Katsusuke Nabeshima; Shinichi Tajima
Mathematics in Computer Science (2020) Semantic Scholar
-
13.
An Algorithm for Computing Grothendieck Local Residues II: General Case
Katsuyoshi Ohara; Shinichi Tajima
Mathematics in Computer Science 14: 483 (2020) Semantic Scholar
-
14.
An algorithm for computing the Hilbert-Samuel multiplicities and reductions of zero-dimensional ideals of Cohen-Macaulay local rings.
Takafumi Shibuta; Shinichi Tajima
J. Symb. Comput. 96: 108 (2020) Semantic Scholar
-
15.
Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality.
Shinichi Tajima; Takafumi Shibuta; Katsusuke Nabeshima
Computer Algebra in Scientific Computing - 22nd International Workshop(CASC) 543 (2020) Semantic Scholar
-
16.
Moving curve ideals, Rees algebra and parametric local cohomology systems
田島 慎一; 鍋島 克輔
京都大学数理解析研究所講究録 2159: 179 (2020)
-
17.
Computing logarithmic vector fields and Bruce-Roberts Milnor numbers via local cohomology classes
Katsusuke Nabeshima; Shinichi Tajima
Revue Roumaine Mathematiques Pures et Appliquees 64: 521 (2019)
-
18.
Alternative algorithms for computing generic μ ∗ -sequences and local Euler obstructions of isolated hypersurface singularities
Katsusuke Nabeshima; Shinichi Tajima
Journal of Algebra and its Applications 18: (2019) Semantic Scholar
-
19.
An Implementation of the Lê–Teissier Method for Computing Local Euler Obstructions
Shinichi Tajima; Katsusuke Nabeshima
Mathematics in Computer Science 13: 273 (2019) Semantic Scholar
-
20.
Solving Parametric Ideal Membership Problems and Computing Integral Numbers in a Ring of Convergent Power Series Via Comprehensive Gröbner Systems
Katsusuke Nabeshima; Shinichi Tajima
Mathematics in Computer Science 13: 185 (2019) Semantic Scholar
-
1.
SINGULARITIES IN GEOMETRY AND TOPOLOGY 2011
Nabeshima, Katsusuke; Tajima, Shinichi
MATH SOC JAPAN 2015年 (ISBN: 9784864970266)
-
2.
Analyse microlocale sur les varietes de Cauchy-Riemann et problemes du prolongement des solutions holomorphes des equations aux derivees partielles
田島, 慎一
1981年3月
-
21.
Transformation law によるパラメータ付き多変数留数計算アルゴリズム
Tajima, Shinichi; 鍋島克輔
数式処理とその周辺分野の研究 2016年12月7日
-
22.
局所環における Matlis duality を用いた計算法とその応用
Tajima, Shinichi; 渋田敬史
数式処理とその周辺分野の研究 2016年12月7日
-
23.
Limiting tangent spaces and local cohomology
Tajima,Shinichi
トポロジーとコンピュータ 2016 2016年10月28日
-
24.
Local cohomology solutions of holonomic D-modules associated with non-isolated hypersurface singularities
Tajima,Shinichi
超局所解析と特異摂動論の新展開 2016年10月3日
-
25.
Comprehensive Groebner systems in Poincare-Birkhoff-Witt algebra and Bernstein-Sato ideals
Tajima, Shinichi; 小原功任; 鍋島克輔; 小原功任
超局所解析と特異摂動論の新展開 2016年10月3日
-
26.
多変数留数計算アルゴリズム--シェイプ基底を持つ場合--
Tajima, Shinichi; 小原功任
日本数学会関数論分科会, 2016年9月15日
-
27.
パラメータ付きホロノミーD-加群とb-関数--$\mu$-constant deformation の場合
Tajima, Shinichi; 鍋島克輔
日本数学会関数論分科会 2016年9月15日
-
28.
局所コホモロジーを用いた $\mu^{\ast}$-列の計算法について
Tajima, Shinichi; 鍋島克輔
日本数学会関数論分科会 2016年9月15日
-
29.
多変数留数の計算アルゴリズムとその実装(シェイプ基底を持つ場合)
Tajima, Shinichi; 小原功任
数式処理の新たな発展 2016年9月7日
-
30.
CM局所環の準素イデアルのHilbert-Samuel重複度の計算アルゴリズムについて
Tajima, Shinichi; 渋田敬史
数式処理の新たな発展 2016年9月7日
-
31.
omputer algebra and Bruce-Roberts-Milnor numbers
Tajima, Shinichi; 伊澤毅; 鍋島克輔
数式処理の新たな発展 2016年9月7日
-
32.
代数的局所コホモロジーを用いたlimiting tangent space の計算法と比較
Tajima, Shinichi; 鍋島克輔
数式処理の新たな発展 2016年9月7日
-
33.
Comprehensive Grobner Systems in Rings of Differential Operators, Holonomic D-modules and B-functions
Nabeshima, Katsusuke; Ohara, Katsuyoshi; Tajima, Shinichi
41st ACM International Symposium on Symbolic and Algebraic Computation (ISSAC) 2016年7月20日
-
34.
Comprehensive Gr\"obner Systems for parametric Poinca\'e-Birkhoff-Witt ideals,
Tajima, Shinichi; Ohara, K; Nabeshima, Katsusuke
Algebraic Sratistics and Symbolic Computation, 2016年6月25日
-
35.
Comprehensive Gr\"obner systems in rings of differential operators, holonomic D-modules and b-functions
Tajima, Shinichi; Nabeshima, Katsusuke
International Symposium on Symbolic and Algebraic Computation 2016年6月19日
-
36.
An algorithm for computing the reduced standard bases of modules of finite colength
Tajima, Shinichi; Shibura, T
Milesstones in Computer Algebra 2016 2016年6月16日
-
37.
b-functions and algebraic local cohomology classes attached to Le cycles
Tajima,Shinichi
Exponential analysis of differential equations and related topics 2013年10月17日
知財情報はまだありません。
939 total views