検索結果 31 件

記事
中山 洋将, 西山 絢太<Z43-1336>数理解析研究所講究録(1815):2012.10p.112-123
国立国会図書館全国の図書館
  • 並列タイトル等(連結)An algorithm of computing inhomogeneous differential equations for definite integrals
  • 並列タイトル等An algorithm of computing inhomogeneous differential equations for definite integrals
デジタル記事
中山 洋将<Z43-1336>数理解析研究所講究録(2104):2019.2p.20-23
インターネットで読める国立国会図書館全国の図書館
  • 要約等...the systems of differential equations (k, l)_{A}, (k......hypergeometric differential equations. We find Gröbn......ristic variety and the singular locus.
  • 並列タイトル等(連結)Grobner Bases for Systems of Differential Equations
  • 並列タイトル等Grobner Bases for Systems of Differential Equations
図書
Kenji Iohara, Philippe Malbos, Masa-Hiko Saito, Nobuki Takayama, editors.Springer[2020]<MA67-D1>
国立国会図書館
  • 件名Gröbner bases. Differential equations.
  • タイトル標目Algorithms and computation in mathematics ; ...
図書
Ryuei Nishii, Shin-ichiro Ei, Miyuki Koiso, Hiroyuki Ochiai, Kanzo Okada, Shingo Saito, Tomoyuki Shirai editorsSpringerc2014<MA21-B833>
国立国会図書館全国の図書館
  • 内容細目Algebra Mathematics Hi...... by Lie theory and modular forms ...... Gröbner basis and its applicatio......rentiable maps and data visualiza......ro Ei 著 Models and applications o......d for ordinary differential equations Hayato Chiba 著......nal methods in differential equations Michiaki Onode...... 著 Probability and statistics Fin...... Markov Chains and Markov decisio......gnal detection and model selectio......ssion analysis and its developmen......a, abstraction and applications Y......re mathematics and applied mathem......nverse problem and recurrence plo...... 著 Mathematics and manufacturing ......istic decoding and sparse matrices Hironori Uchi...
図書
Jörgen Bergström.William Andrew is an imprint of Elsevier2015.<PA431-B172>
国立国会図書館
  • 要約等... with only pen and paper today, and virtually all ......demic research and industrial wor......nt simulations and specialized computer software. Introducing and demonstrating ......tational tools and simulations, M......characterized, and how to predict...... in the understanding of polymer behaviour over ...
  • 内容細目...lymers: Theory and Computational ......: Introduction and Overview; 1.1 ...... Manufacturing and Processing; 1.......2.2.7 Hardness and Indentation Te......l Verification and Validation; 2.......hniques; 2.5.1 Differential Scanning Calor......ions of Stress and Strain; 4.2.1 ......cs; 4.4 Vector and Tensor Algebra; 4.4.1 Vector ......calar, Vector, and Tensor Fields;......5.1 Eigenvalue and Spectral Decom......rain, Stretch, and Rotation; 4.7 ......9 Balance Laws and Field Equations; 4.9.1 Conserv......Energy Balance and Stress Power; ......1 Constitutive Equations; 4.11.1 Constitutive Equations for a Thermoelastic Material;...
図書
Chapman & Hall/CRCc2007.<M154-B52>
国立国会図書館
  • 内容細目...eb on modeling and simulation / J......, Congzhou He, and Julia I. Couto...... engineering / Andrew P. Sage Bas...... for modeling, and modeling for a......e M. Uhrmacher and Mathias Röhl D......Seegyoung Seol and Benjamin Frant......ts / Marc Hoit and Gary Consolazi......ul A. Fishwick and Jinho Lee Hybr......ems : modeling and execution / Pi......sterman Theory and practice for s......teroperability and composability ...... Page Ordinary differential equations / Francisco Esquembre and Wolfgang Chris......ian Difference equations as discrete dy......daghat Process algebra / J.C.M. Baete...... D.A. van Beek and J.E. Rooda Temporal logic / A...
  • 件名Computer simulation. System design.
図書
edited by Gavril Farkas, Ian Morrison.International Press[2013]<MA95-B48>
国立国会図書館
  • 内容細目... Gavril Farkas and Ian Morrison. ......thmic geometry and moduli / Dan A......tthew Satriano and Shenghao Sun. ......ichel Brion. - Algebraic and tropical curve......o deformations and moduli / F. Ca......bolic surfaces and their Weil-Pet......riant geometry and the cohomology...... -Tautological and non-tautologic......ves / C. Faber and R. Pandharipande. - Alternate ......ksym Fedorchuk and David Ishii Sm......of K3 surfaces and irreducible sy......enko, K. Hulek and G.K. Sankaran.......rmal functions and the geometry o......amas Hausel. - Differential forms on singu......model program, and hyperbolicity of moduli stack...
デジタル記事
中山, 洋将京都大学数理解析研究所2019-02数理解析研究所講究録2104p.20-23
インターネットで読める全国の図書館
  • 並列タイトル等(連結)Gröbner Bases for Systems of Differential Equations (Computer Algebra : Theory and its Applications)
  • 並列タイトル等Gröbner Bases for Systems of Differential Equations (Computer Algebra : Theory and its Applications)
デジタル記事
中山, 洋将, 西山, 絢太京都大学数理解析研究所2012-10数理解析研究所講究録1815p.112-123
インターネットで読める全国の図書館
  • 並列タイトル等(連結)... inhomogeneous differential equations for definite integrals (Computer Algebra : Design of Al......mplementations and Applications)
  • 並列タイトル等... inhomogeneous differential equations for definite integrals (Computer Algebra : Design of Al......mplementations and Applications)
図書
A. Mylläri, V. Edneral and N. Ourusoff, editorsÅbo Akademis Förlag2007
全国の図書館
図書
Cambridge University Press1994.<M15-A9238>
国立国会図書館
  • 一般注記...apers from the computer algebra and differential equations meeting held in France in Jun...
図書
edited by E. TournierCambridge University Press1994
全国の図書館
  • 件名... -- Congresses Algebra -- Data proces...... -- Congresses Differential equations -- Congresses
  • 件名(識別子)... -- Congresses Algebra -- Data proces...... -- Congresses Differential equations -- Congresses
図書
Werner M. SeilerSpringerc2010
全国の図書館
  • 一般注記Includes bibliographical references (p. 617-636) and index
  • 関連情報Algorithms and computation in mathematics
  • 掲載誌Algorithms and computation in mathematics
図書
Willi-Hans SteebWorld Scientificc2007
全国の図書館
  • 件名Differential equations Differential equations, Partial Lie algebras Continuous groups Mathematic...
  • 件名(識別子)Differential equations Differential equations, Partial Lie algebras Continuous groups Mathematic...
  • 一般注記Includes bibliographical references and index
図書
E. TournierAcademic Press[1990?]
全国の図書館
  • 件名Algebra -- Data processing -- Congres...
  • 件名(識別子)Algebra -- Data processing -- Congres...
  • 関連情報Computational mathematics and applications
デジタル記事
四ツ谷, 晶二, 村井, 実, 松本, 和一郎京都大学数理解析研究所2010-01数理解析研究所講究録1674p.125-131
インターネットで読める全国の図書館
  • 並列タイトル等(連結)...to research on differential equations (Computer Algebra Systems and Education : A Research about ...
  • 並列タイトル等...to research on differential equations (Computer Algebra Systems and Education : A Research about ...
デジタル記事
森, 正武, ヌルメメット, アヒニヤズ, メメット, マイヌル京都大学数理解析研究所2006-07数理解析研究所講究録1505p.58-67
インターネットで読める全国の図書館
  • 並列タイトル等(連結)Numerical Solution of Differential-Algebraic Equations Based on the D...... : Fundamental and Emerging Technology)
  • 並列タイトル等Numerical Solution of Differential-Algebraic Equations Based on the D...... : Fundamental and Emerging Technology)
デジタル記事
田邉, 国士京都大学数理解析研究所2003-05数理解析研究所講究録1320p.239-249
インターネットで読める全国の図書館
図書
Uri M. Ascher, Linda R. PetzoldSociety for Industrial and Applied Mathematicsc1998
全国の図書館
  • 件名Differential equations -- Data processing Differential-algebraic equations -- Data processing
  • 件名(識別子)Differential equations -- Data processing Differential-algebraic equations -- Data processing
  • 一般注記Includes bibliographical references (p. 299-305) and index