井田 哲雄  Ida Tetsuo

EPTCS

巻: 352 ページ: 41-53

10.4204/eptcs.352.5

Annals of Mathematics nd Artificial Intelligence

巻: 85 号: 2-4 ページ: 71-72

10.1007/s10472-019-9617-2

SYNASC 2017, post-proceedings

巻: 印刷中

EPiC Series in Computing

巻: 45 ページ: 83-95

10.29007/n76q

Proceedings of ADG 2016: Eleventh International Workshop on Automated Deduction in Geometry, Strasbourg, France, June 27-29, 2016

巻: hal-01334334

Proc. SYNASC 2017

巻: - ページ: 23-28

10.1109/synasc.2016.017

Proceedings of ADG 2016: Eleventh International Workshop on Automated Deduction in Geometry

巻: hal-01334334

Origami6: Proceedings of the Sixth International Meeting on Origami Science, Mathematics, and Education (6OSME). PartI: Mathematics, American Mathematical Society

巻: 1 ページ: 55-66

Symmetry: Culture and Science

巻: 26 ページ: 171-187

Journal of Symbolic Computation

巻: 69 ページ: 93-108

10.1016/j.jsc.2014.09.031

IEEE Computer Scociety

Proceedings of the 26th Symposium on Applied Computing (SAC 2011)

ページ: 1106-1111

Lecture Notes in Computer Science (proceedings of the Conference on Intelligent Computer Mathematics (CICM' 11))

巻: 6824 ページ: 45-57

Lecture Notes in Computer Science (post-proceeding of the 8th International Workshop on Automated Deduction in Geometry (ADG 2010))

巻: 6877 ページ: 78-97

Lecture Notes in Computer Science (post-proceeding of the 8th International Workshop on Automated Deduction in Geometry (ADG 2010))

巻: 6877巻 ページ: 78-97

Proceedings of the 26th Symposium on Applied Computing (SAC 2011)

ページ: 1106-1111

Journal of Symbolic Computation

巻: vol. 46 ページ: 162-170

120007130912

Lecture Notes in Computer Science (post-proceeding of the 8th International Workshop on Automated Deduction in Geometry (ADG 2010))

巻: 6877 ページ: 78-97

10.1007/978-3-642-25070-5_5

Journal of Symbolic Computation

巻: 46 ページ: 162-170

120007130912

Proceedings of the 26th Symposium onApplied Computing (ACM/SAC 2011)

ページ: 1106-1111

Journal of Symbolic Computation vol.46

ページ: 162-170

120007130912

Lecture Notes in Computer Science (proceedings of the Conference on Intelligent Computer Mathematics (CICM'11))

巻: 6824巻 ページ: 45-57

Journal of Symbolic Computation

巻: 46 ページ: 162-170

120007130912

Lecture Notes in Computer Science (proceedings of the Conference on Intelligent Computer Mathematics (CICM'11))

巻: 6824 ページ: 45-57

10.1007/978-3-642-22673-1_4

コンピュータソフトウェア

巻: 27 ページ: 2-13

10026468268

Journal of Symboli Computation 45(4)

ページ: 393-413

120007138181

Journal of Symbolic Computation 45

ページ: 393-413

120007138181

Journal of Symbolic Computation

巻: 45(4) ページ: 393-413

120007138181

Journal of Symbolic Computation 45

ページ: 393-413

120007138181

Proceedings of the 24th annual ACM, Symposium on Applied Computing(SAC 2009)

ページ: 1132-1138

120007138181

Proceedings of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing(SYNASC 2008)

ページ: 20-27

Proceedings of the 10th International Sympo sium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2008), IEEE

ページ: 20-27

Proc. of 24th annual ACM Symposium on Applied Computing

ページ: 1132-1138

120007138181

24th annual ACM, Symposium on Applied Computing (SAC 2009)

ページ: 1132-1138

120007138181

Proceedings of the Tunisia-Japan Workshop on Symbolic Computation in Software Science(SCSS 2009)

ページ: 90-92

Proceedings of the 24th annual ACM, Symposium on Applied Computing (SAC 2009)

ページ: 1132-1138

120007138181

Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation

ページ: 3-4

In Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009)

ページ: 3-4

Electronic Notes in Theoretical Computer Science 216

ページ: 31-44

Frontiers of Computer Science in China 2

ページ: 39-54

Frontiers of Computer Science in China. 2

ページ: 39-54

The INTERNATIONAL INSTITUTE for ADVANCED STUDIES in SYSTEMS RESEARCH and CYBERNETICS 2

ページ: 53-59

Electronic Notes in Theoretical Computer Science 216

ページ: 31-44

Electronic Notes in Theoretical Computer Science 216

ページ: 31-44

Frontiers of Computer Science in China 2

ページ: 39-54

Proceedings of the 5th Asian Workshop on Foundations of Software, Beihang University

ページ: 145-152

Proceedings of SYNASC 2007, 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE Computer Society

ページ: 13-13

International Conference on Computational Science and Its Applications 2007(ICCSA 2007)Lecture Notes in Computer Science, Springer 4706

ページ: 653-665

Proceedings of the 5th Asian Workshop on Foundations of Software, Beihang University

ページ: 145-152

Proceedings of the 22nd ACM Symposium on Applied Computing

ページ: 767-772

Prooceedings of the 22nd ACM Symposium on Applied Computing

ページ: 767-772

Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007)

ページ: 139-152

Proceedings of SYNASC 2007, 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE Computer Society

ページ: 13-13

Proceedings of the 16th International Workshop on Functional and(Constraint)Logic Programming(WELP 2007)

ページ: 139-152

Proceedings of SYNASC 2007, 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE Computer Society

ページ: 13-13

Proceedings of the 22nd ACM Symposium on Applied Computing

ページ: 767-772

Proceedings of the 16th International Workshop on Functional and(Constraint)Logic Programming(WFLP 2007)

ページ: 139-152

International Conference on Computational Science and Its Applications 2007(ICCSA 2007), Lecture Notes in Computer Science, Springer 4706

ページ: 653-665

Proceedings of SYNASC 2007, 9th Internatio nal Symposium on Symbolic and Numeric Al gorithms for Scientific Computing. IEEE Computer Society

ページ: 13-13

Proceedings of the 22nd ACM Symposium on Applied Computing

ページ: 767-772

Proceedings of the 16th International Works hopon Functional and(Constraint) Logic Programming(WFLP 2007)

ページ: 139-152

International Conference on Computational Science and Its Applications 2007 (ICCSA 2007), Lecture Notes in Computer Science, Springer 4706

ページ: 653-665

Proceedings of the 5th Asian Workshop on Foundations of Software, Beihang University

ページ: 145-152

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. (SYNASC 2006)

ページ: 4-4

Automated Deduction in Geometry, 5th International Workshop LNCS 3763

ページ: 19-33

Automated Deduction in Geometry, 5th International Workshop LNCS 3763

ページ: 19-33

Proceedings of Second Internhational Congress on Mathematical Software LNCS4151

ページ: 361-372

Mathematica in Education and Research 11(1)

ページ: 50-66

Automated Deduction in Geometry, 5th International Workshop LNCS3763

ページ: 19-33

Proceedings of 4th International Conference on Origami, Science, Mathematics and Education

ページ: 69-69

The 4th International Conference on Mathematical Knowledge Management LNAI3863

ページ: 267-282

Automated Deduction in Geometry, 5th International Workshop LNCS3763

ページ: 19-33

Mathematica in Education and Research 11(1)

ページ: 50-66

Mathematica in Education and Research 11(1)

ページ: 50-66

The 4th International Conference on Mathematical Knowledge Management LNAI 3863

ページ: 267-282

Proceedings of Second International Congres s on Mathematical Software LNCS4151

ページ: 361-372

The 4th International Conference on Mathematical Knowledge Management LNAI 3863

ページ: 267-282

Proceedings of Second International Congress on Mathematical Software LNCS 4151

ページ: 361-372

Proceedings of Second International Congress on Mathematical Software LNCS 4151

ページ: 361-372

Springer

ページ: 268-268

Proceedings of International Mathematica Symposium IMS 2005

ページ: 55-55

eProceedings of International Mathematica Symposium IMS 2005

ページ: 55-55

Proceedings of International MathematicaSymposium IMS 2005

ページ: 55-55

eProceedings of International Mathematica Symposium IMS 2005

ページ: 55-55