村尾 裕一  MURAO Hirokazu

数式処理

巻: 23 ページ: 20-29

数式処理

巻: 23 ページ: 10-19

信学技報

巻: 114 ページ: 139-144

数式処理

巻: 22 ページ: 80-83

数式処理

巻: 22 ページ: 75-79

Communications of JSSAC

巻: 2 ページ: 33-42

数式処理

巻: 21 ページ: 76-79

数式処理

巻: 21 ページ: 68-71

京都大学数理解析研究所講究録

巻: 1976 ページ: 17-26

Proc. PASCO'15

巻: PASCO'15 ページ: 61-69

10.1145/2790282.2790289

数式処理

巻: 22

京都大学数理解析研究所講究録

巻: 1907 ページ: 166-173

京都大学数理解析研究所講究録

巻: 1927 ページ: 122-127

数式処理

巻: 20

数式処理

巻: 21 ページ: 17-23

数式処理,第4回基礎理論・システム合同分科会報告

ページ: 53-54

10031169529

数式処理

巻: 18巻2号

10030966482

京都大学数理解析所講究録

巻: 1815 ページ: 163-167

京都大学数理解析研究所講究録

巻: No.1785 ページ: 162-166

http://hdl.handle.net/2433/172729

京都大学数理解析研究所講究録

巻: No.1780 ページ: 232-242

http://hdl.handle.net/2433/171815

京都大学数理解析研究所講究録

巻: No.1815 ページ: 163-167

数式処理.大会報告

巻: 第18巻,2号 ページ: 68-71

10030966482

Communications of JSSAC

巻: Vol.1, No.1 ページ: 75-91

http://www.jssac.org/Editor/CJssac/V01/V01_105.pdf

Communications of JSSAC

巻: 1(掲載確定)

数式処理.第3回システム分科会研究会報告

巻: 第18巻,1号 ページ: 35-39

10030345058

数式処理.大会報告

巻: 第17巻,2号 ページ: 28-31

10029572371

京都大学数理解析研究所講究録(出版確定)

京都大学数理解析研究所講究録 1568

ページ: 185-191

京都大学数理解析研究所講究録 1568

ページ: 185-191

数式処理 14

ページ: 27-31

10020156473

数式処理 14

ページ: 27-31

10020156473

Journal of Japan Society for Symbolic and Algebraic Computation 12, 14

京都大学数理解析研究所講究録 1514

ページ: 211-217

ONLINE : Mathematical User-Interface Workshop 2006

Proc. ICMS 2006 LNCS 4151

ページ: 426-437

オンライン http://www.activemath.org/~paul/MathUI06/proceedings/

Proc. ICMS 2006 LNCS4151

ページ: 426-437

数式処理 11・3-4

ページ: 3-19

数式処理(大会報告) 12・2

ページ: 51-54

10016952967

J.JSSAC. Vol.11, No.2(in press)

数式処理 11

ページ: 3-18

数式処理 11(発行準備中)

40007193761

Journal of Japan Society for Symbolic and Algebraic Computation 11

ページ: 3-18

数式処理 Vol.11, No.3-4

ページ: 3-19

40007176793

J.JSSAC. Vol.11, No.3-4

ページ: 3-18

数式処理 12

ページ: 51-54

10016952967

Koukyuroku "Computer Algebra-Design of Algorithms, Implementations and Applications, 2009"(Kyoto University) (in press)

数式処理 11

ページ: 3-18

京都大学数理解析研究所講究録 1456

ページ: 144-150

京都大学数理解析研究所講究録 (出版準備中)

数式処理(大会報告) Vol.11, No.2(出版準備中)

ISSAC 2004 : International Symposium on Symbolic and Algebraic Computation, Collection of Poster Abstracts.

ページ: 30-32

SACSIS2004-先進的計算基盤システムシンポジウム

ページ: 139-140

ISSAC2004: International Symposium on Symbolic and Algebraic Computation, Collection of Poster Abstracts

ページ: 30-32

SACSIS2004-先進的計算基盤システムシムポジウム ポスター

ページ: 139-140

ISSAC 2004 : International Symposium on Symbolic and Algebraic Computation Collection of Poster Abstra

ページ: 30-32

京都大学数理解析研究所講究録 1395

ページ: 259-266

Koukyuroku 1395 "Computer Algebra-Design of Algorithms, Implementations and Applications, 2003"(Kyoto University)

ページ: 218-223

京都大学数理解析研究所講究録 1395

ページ: 218-223

京都大学数理解析研究所講究録 1395

ページ: 218-223

Calculemus 2003-11th Symposium on the Integration of Symolic Computation and Mechanized Reasoning

ページ: 124-129

数式処理 9

ページ: 10-11

10011062752

京都大学数理解析研究所講究録 1335

ページ: 28-32

J.JSSAC. Vol.10, No.2

ページ: 18-19

京都大学数理解析研究所講究録 1335

ページ: 13-19

Calculemus 2003 - 11^<th> Symposium on the Integration of Symbolic Computation and Mechanized Reasoning

ページ: 124-129

Koukyuroku 1335 "Computer Algebra-Algorithms, Implementations and Applications, 2002"(Kyoto University)

ページ: 28-32

数式処理 10

ページ: 18-19

10011741678

情報科学技術フォーラムFIT2003

J.JSSAC. Vol.9, No.3

ページ: 10-11

Koukyuroku 1335 "Computer Algebra-Algorithms, Implementations and Applications, 2002"(Kyoto University)

ページ: 13-19

京都大学数理解析研究所講究録 1295

ページ: 213-219

Koukyuroku 1295 "Computer Algebra-Algorithms, Implementations and Applications, 2001"(Kyoto University)

ページ: 213-219

Trans.JSIAM Vol.12, No.4

ページ: 281-292

Second Workshop on the Role of Automated Deduction in Mathematics (in conjunction with CADE-18)

ページ: 11-23

応用数理学会論文誌 12

ページ: 281-292

Second Workshop on the Role of Automated Deduction in Mathematics(In conjuntion with CADE-18(Eds. : S.Colton and V.Sorge)

ページ: 11-23

京都大学数理解析研究所講究録 (準備中)

SACSIS 2004

ページ: 139-140

(口頭発表)

FIT2003 G-018