Jump to main content

yr 〜
yr

Search results 72

数学ソフトウェアの作り方 (コンピュータと数学の織りなす革新)

数学ソフトウェアの作り方 (コンピュータと数学の織りなす革新)
Paper図書
高山信毅, 野呂正行, 小原功任, 藤本光史 著共立出版2022.10<MA21-M302>
National Diet LibraryOther Libraries in Japan
  • Author Heading高山, 信毅, 1959- 野呂, 正行, 1960- 小原, 功任, 1970- 藤本, 光史, ...

Efficient Modular Algorithms for Grobner Basis Computation and the Rational Univariate Representation

Efficient Modular Algorithms for Grobner Basis Computation and the Rational Univariate Representation
PaperDigital博士論文障害者向け資料あり
Masayuki Noro [著][Masayuki Noro]1999<UT51-2001-K113>
Available onlineNational Diet Library
  • Author Heading野呂, 正行

パラメタを含む系の数式処理の実用化

パラメタを含む系の数式処理の実用化
Paper図書
野呂正行, 神戸大学 [著][野呂正行]2005-2007<Y151-H17340028>
National Diet Library
  • Author Heading野呂, 正行, 1960- 神戸大学

グレブナー基底の計算 基礎篇

グレブナー基底の計算 基礎篇
Paper図書
野呂正行, 横山和弘 著東京大学出版会2003.6<MA95-H2>
National Diet LibraryOther Libraries in Japan
  • Contents文献ｐ２８１〓２８３ 計算代数入門 野呂／正行 著 野呂正行 著 野呂 正行 著 野呂正行∥著 野呂/正行∥著 文献あり 索引あり 文献：ｐ２８１～２８３ 野呂　正行／著 文献：ｐ２８１〜２８３
  • Author Heading野呂, 正行, 1960- 横山, 和弘, 1958-

高性能計算代数ソフトウェアの開発

高性能計算代数ソフトウェアの開発
Paper図書
野呂正行, 神戸大学 [著][野呂正行]2002-2004<Y151-H14340036>
National Diet Library
  • Author Heading野呂, 正行, 1960- 神戸大学

計算機代数 (Rokko lectures in mathematics ; 9)

計算機代数 (Rokko lectures in mathematics ; 9)
Paper図書
野呂正行 [著]神戸大学理学部数学教室2001.3<MA41-G68>
National Diet LibraryOther Libraries in Japan
  • Author Heading野呂, 正行, 1960-

Risa/Asirドリル, 2006

Risa/Asirドリル, 2006
Paper図書
高山信毅, 野呂正行[著][高山信毅, 野呂正行]2006.12
Other Libraries in Japan
  • Author Heading高山, 信毅 野呂, 正行

計算代数入門

計算代数入門
Paper図書
野呂正行, 横山和弘著東京大学出版会2003.6
Other Libraries in Japan
  • Author Heading野呂, 正行 横山, 和弘

超函数と線型微分方程式2006 ; 数学史とアルゴリズム

超函数と線型微分方程式2006 ; 数学史とアルゴリズム
Paper図書
京都大学数理解析研究所2009.5
Other Libraries in Japan
  • Author Heading京都大学数理解析研究所 戸瀬, 信之 野呂, 正行 岡田, 靖則 山崎, 晋 (数理科学博士) 熊ノ郷, 直人...

Computer algebra -- design of algorithms, implementations and applications

Computer algebra -- design of algorithms, implementations and applications
Paper図書
[organizer, Masayuki Noro]京都大学数理解析研究所2004-
Other Libraries in Japan
  • Author Heading京都大学数理解析研究所 野呂, 正行 横山, 和弘 藤本, 光史 佐藤, 洋佑 竹島, 卓 近藤...

数理科学

数理科学
PaperDigital雑誌雑誌タイトル
サイエンス社<Z15-30>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

数理解析研究所講究録

数理解析研究所講究録
Paper雑誌雑誌タイトル
京都大学数理解析研究所1964-<Z43-1336>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

品質 : journal of the Japanese Society for Quality Control

品質 : journal of the Japanese Society for Quality Control
Paper雑誌雑誌タイトル
日本品質管理学会1971-<Z4-463>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

数学セミナー

数学セミナー
PaperDigital雑誌雑誌タイトル
日本評論社1991-<Z15-27>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

数学

数学
Paper雑誌雑誌タイトル
日本数学会 編日本数学会[1947]-<Z15-25>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

数式処理

数式処理
PaperDigital雑誌雑誌タイトル
日本数式処理学会[1992]-<Z14-B99>
Available onlineNational Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

情報処理 : 情報処理学会誌 : IPSJ magazine

情報処理 : 情報処理学会誌 : IPSJ magazine
Paper雑誌雑誌タイトル
情報処理学会1960-<Z14-352>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

日本応用数理学会論文誌

日本応用数理学会論文誌
Paper雑誌雑誌タイトル
日本応用数理学会 編日本応用数理学会1991-2015<Z15-727>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

電子情報通信学会論文誌 A 基礎・境界

電子情報通信学会論文誌 A 基礎・境界
Paper雑誌雑誌タイトル
電子情報通信学会 編電子情報通信学会基礎・境界ソサイエティ1987-2014<Z16-605>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

コンピュータセキュリティシンポジウム論文集 1998 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; v.98 no.12)

コンピュータセキュリティシンポジウム論文集 1998 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; v.98 no.12)
Paper図書
情報処理学会1998.10<M154-G1145>
National Diet Library
RSS