Computer Algebra and Geometric Algebra with Applications : 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers

>> Google Books

Computer Algebra and Geometric Algebra with Applications : 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers / edited by Hongbo Li, Peter J. Olver, Gerald Sommer

版:

1st ed. 2005

資料種別:

電子ブック

形態:

IX, 449 p.

シリーズ名:

Theoretical Computer Science and General Issues ; 3519

著者名:

ISBN:

9783540321194 [3540321195]
9783540262961 [3540262962]
9783540812173 [3540812172]

書誌ID:

EB00006360

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, reasoning and discovering. ItsuniquefeaturecanbesuccinctlydescribedasAAA(Algebraization,Algori- mization, Application). The name “Mathematics Mechanization” has its origin in the work of Hao Wang (1960s), one of the pioneers in using computers to do research in mathematics, particularly in automated theorem proving. Since the 1970s, this research direction has been actively pursued and extensively dev- oped by Prof. Wen-tsun Wu and his followers. It di?ers from the closely related disciplines like Computer Mathematics, Symbolic Computation and Automated Reasoning in that its goal is to make algorithmic studies and applications of mathematics the major trend of mathematics development in the information age. The International Workshop on Mathematics Mechanization (IWMM) was initiated by Prof. Wu in 1992, and has ever since been held by the Key L- oratory of Mathematics Mechanization (KLMM)

主題:

Algorithms; Artificial Intelligence; Computational Science and Engineering; Computer Graphics; Computer Vision; Numerical Analysis

目次情報:

ブックレビュー

類似資料:

1 図書 Computer algebra and geometric algebra with applications : 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, … International Workshop on Mathematics Mechanization, GIAE, Li, Hongbo, Olver, Peter J., Sommer, Gerald Springer	7 電子ブック Deep Structure, Singularities, and Computer Vision : First International Workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005, Revised Selected … Olsen, Ole Fogh., Florack, Luc., Kuijper, Arjan., SpringerLink (Online service)
2 電子ブック Statistical Methods in Video Processing : ECCV 2004 Workshop SMVP 2004, Prague, Czech Republic, May 16, 2004, Revised Selected Papers Comaniciu, Dorin., Kanatani, Kenichi., Mester, Rudolf., Suter, David., SpringerLink (Online service)	8 電子ブック Biologically Motivated Computer Vision : Second International Workshop, BMCV 2002, Tübingen, Germany, November 22-24, 2002, Proceedings Bülthoff, Heinrich H., Lee, Seong-Whan., Poggio, Tomaso., Wallraven, Christian., SpringerLink (Online service)
3 電子ブック Variational, Geometric, and Level Set Methods in Computer Vision : Third International Workshop, VLSM 2005, Beijing, China, October 16, 2005, Proceedings Paragios, Nikos., Faugeras, Olivier., Chan, Tony., Schnoerr, Christoph., SpringerLink (Online service)	9 電子ブック Attention and Performance in Computational Vision : Second International Workshop, WAPCV 2004, Prague, Czech Republic, May 15, 2004, Revised Selected Papers Paletta, Lucas., Tsotsos, John K., Rome, Erich., Humphreys, Glyn., SpringerLink (Online service)
4 電子ブック Algebraic Frames for the Perception-Action Cycle : Second International Workshop, AFPAC 2000, Kiel, Germany, September 10-11, 2000 Proceedings Sommer, Gerald., Zeevi, Yehoshua Y., SpringerLink (Online service)	10 電子ブック Numerical Methods and Applications : 5th International Conference, NMA 2002, Borovets, Bulgaria, August 20-24, 2002, Revised Papers Dimov, Ivan., Lirkov, Ivan., Margenov, Svetozar D., Zlatev, Zahari., SpringerLink (Online service)
5 電子ブック Algebraic Frames for the Perception-Action Cycle : International Workshop, AFPAC'97, Kiel, Germany, September 8-9, 1997, Proceedings Sommer, Gerald., Koenderink, Jan J., SpringerLink (Online service)	11 電子ブック Energy Minimization Methods in Computer Vision and Pattern Recognition : International Workshop EMMCVPR'97, Venice, Italy, May 21-23, 1997, Proceedings Pelillo, Marcello., Hancock, Edwin R., SpringerLink (Online service)
6 電子ブック Analysis and Modelling of Faces and Gestures : Second International Workshop, AMFG 2005, Beijing, China, October 16, 2005, Proceedings Zhao, Wenyi., Gong, Shaogang., Tang, Xiaou., SpringerLink (Online service)	12 電子ブック Experimental and Efficient Algorithms : Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004, Proceedings Ribeiro, Celso C., Martins, Simone L., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12