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

資料種別:

電子ブック

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 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) Springer Berlin Heidelberg	7 電子ブック Rewriting Techniques and Applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings Kirchner, Claude., SpringerLink (Online service) Springer Berlin Heidelberg
2 電子ブック Rewriting Techniques and Applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings Book, Ronald V., SpringerLink (Online service) Springer Berlin Heidelberg	8 電子ブック Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings Oostrom, Vincent van., SpringerLink (Online service) Springer Berlin Heidelberg
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) Springer New York	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) Springer Berlin Heidelberg
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) Springer Berlin Heidelberg	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) Springer Berlin Heidelberg
5 電子ブック Rewriting Techniques and Applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings Hsiang, Jieh., SpringerLink (Online service) Springer Berlin Heidelberg	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) Springer Berlin Heidelberg
6 電子ブック Rewriting Techniques and Applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings Comon, Hubert., SpringerLink (Online service) Springer Berlin Heidelberg	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) Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12