EUROCAL '87: European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. ProceedingsJames H. Davenport, James Harold Davenport Springer Science & Business Media, 09/08/1989 - 499 من الصفحات 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 papers on applications in computer aided design and robotics, to name but a few other applications. The third thread of the proceedings was devoted to these applications and to the computer algebra systems which perform these calculations. |
المحتوى
I | 1 |
II | 11 |
III | 26 |
IV | 34 |
V | 44 |
VI | 45 |
VII | 48 |
VIII | 50 |
XLIII | 233 |
XLIV | 244 |
XLV | 246 |
XLVI | 258 |
XLVII | 260 |
XLVIII | 270 |
XLIX | 282 |
L | 293 |
IX | 52 |
X | 54 |
XI | 64 |
XII | 71 |
XIII | 81 |
XIV | 93 |
XV | 95 |
XVI | 97 |
XVII | 107 |
XVIII | 116 |
XIX | 118 |
XX | 120 |
XXI | 132 |
XXII | 134 |
XXIII | 136 |
XXIV | 138 |
XXV | 149 |
XXVI | 161 |
XXVII | 163 |
XXVIII | 172 |
XXIX | 174 |
XXX | 176 |
XXXI | 178 |
XXXII | 179 |
XXXIII | 186 |
XXXIV | 192 |
XXXV | 202 |
XXXVI | 204 |
XXXVII | 206 |
XXXVIII | 208 |
XL | 216 |
XLI | 223 |
XLII | 225 |
LI | 298 |
LII | 300 |
LV | 311 |
LVI | 313 |
LVII | 315 |
LVIII | 317 |
LIX | 323 |
LX | 333 |
LXI | 336 |
LXII | 348 |
LXIII | 355 |
LXIV | 365 |
LXV | 376 |
LXVI | 379 |
LXVII | 381 |
LXVIII | 391 |
LXIX | 403 |
LXX | 412 |
LXXI | 424 |
LXXII | 426 |
LXXIII | 438 |
LXXIV | 450 |
LXXV | 452 |
LXXVI | 454 |
LXXVII | 456 |
LXXVIII | 463 |
LXXIX | 465 |
LXXX | 468 |
LXXXI | 479 |
LXXXII | 491 |
498 | |
طبعات أخرى - عرض جميع المقتطفات
عبارات ومصطلحات مألوفة
algebraic extension algebraic number algebraic number fields algorithm application basis Buchberger calculations canonical coefficients column complexity computer algebra system construction continued fraction corresponding decomposition defined degree denote derivatives determined differential equations domain elements equivalent evaluation example exists expressions extension factorisation factors field finite formal symmetry formula FORTRAN function Galois geometric given Gröbner bases Hilbert polynomial implementation input integration irreducible JINR language Lemma linear LISP MACSYMA Math mathematical method module monomial normal form objects obtained operations optimization output P₁ package Padé approximants Padé table pair polynôme polynomial ideal polynomial ring power series primary ideals prime ideals problem procedure Proof prove rational reduced Gröbner representation result ring SCRATCHPAD semialgebraic semialgebraic set sequence singularity solution solving structure subset symétrique tensor theorem theory transformation U₁ univariate polynomials variables vectors X₁ zero