EUROCAL '87 : European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings

>> Google Books

EUROCAL '87 : European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings / edited by James H. Davenport

版:

1st ed. 1989

資料種別:

電子ブック

形態:

VIII, 500 p.

シリーズ名:

Lecture Notes in Computer Science ; 378

著者名:

ISBN:

9783540482079 [3540482075]
9783662214138 [366221413X]
9783540515173 [3540515178]

書誌ID:

EB00001328

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

This is the sixth in a series of conference proceedings of international conferences on computer algebra held in Europe. All the preceding ones have also been published as Lecture Notes in Computer Science. They contain original research material not published elsewhere, and a few invited lectures summarising the state of the art. Computer algebra is the science of using computers to do algebraic calculations, rather than the purely arithmetic calculations which we all know computers can do. These calculations may be polynomial-like calculations - one thread of the conference was devoted to polynomial algorithms - or may relate to other areas of mathematics such as integration, the solution of differential equations, or geometry - a second thread was devoted to those topics. The calculations can be applied in a wide range of scientific and engineering subjects, and in branches of mathematics. Physics has benefitted especially from these calculations, and the proceedings contain many papers on this, and also p

主題:

Algorithms; Applied Dynamical Systems; Compilers and Interpreters; Formal Languages and Automata Theory; Symbolic and Algebraic Manipulation; Theory of Computation

目次情報:

ブックレビュー

類似資料:

1 電子ブック Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings Calmet, Jaques., Campbell, John A., Pfalzgraf, Jochen., SpringerLink (Online service)	7 電子ブック Rewriting Techniques and Applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings Kirchner, Claude., SpringerLink (Online service)
2 電子ブック Rewriting Techniques and Applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings Book, Ronald V., SpringerLink (Online service)	8 電子ブック Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings Oostrom, Vincent van., SpringerLink (Online service)
3 電子ブック Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings Bergman, Clifford H., Maddux, Roger D., Pigozzi, Don L., SpringerLink (Online service)	9 電子ブック Artificial Intelligence and Symbolic Computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings Calmet, Jacques., Plaza, Jan., SpringerLink (Online service)
4 電子ブック Rewriting Techniques and Applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings Dershowitz, Nachum., SpringerLink (Online service)	10 電子ブック FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science : 24th International Conference, Chennai, India, December 16-18, 2004, … Lodaya, Kamal., Mahajan, Meena., SpringerLink (Online service)
5 電子ブック Rewriting Techniques and Applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings Hsiang, Jieh., SpringerLink (Online service)	11 電子ブック Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings Bjørner, Dines., Broy, Manfred., Pottosin, Igor V., SpringerLink (Online service)
6 電子ブック Rewriting Techniques and Applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings Comon, Hubert., SpringerLink (Online service)	12 電子ブック Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings Fiadeiro, José Luis., Harman, Neil., Roggenbach, Markus., Rutten, Jan., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12