Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Computer Algebra -

Computer Algebra

EUROCAL’83, European Computer Algebra Conference London, England, March 28–30, 1983 Proceedings

J. A. van Hulzen (Herausgeber)

Buch | Softcover
XIII, 306 Seiten
1983 | 1. Softcover reprint of the original 1st ed. 1983
Springer Berlin (Verlag)
978-3-540-12868-7 (ISBN)
CHF 39,95 inkl. MwSt

Integration - What do we want from the theory?.- The Euclidean algorithm for Gaussian integers.- Multi polynomial remainder sequence and its application to linear diophantine equations.- Towards mechanical solution of the Kahan ellipse problem I.- Automatically determining symmetries of ordinary differential equations.- Algebraic computation of the statistics of the solution of some nonlinear stochastic differential equations.- Characterization of a linear differential system with a regular singularity.- The Bath Concurrent LISP machine.- The ecology of LISP or the case for the preservation of the environment.- The design of Maple: A compact, portable, and powerful computer algebra system.- LISP compilation viewed as provable semantics preserving program transformation.- Implementing REDUCE on a microcomputer.- A note on the complexity of constructing Gröbner-bases.- Gröbner bases, Gaussian elimination and resolution of systems of algebraic equations.- The computation of the Hilbert function.- An algorithm for constructing detaching bases in the ring of polynomials over a field.- On the problem of Beh? Edd?n 'Am?l? and the computation of height functions.- A procedure for determining algebraic integers of given norm.- Computation of integral solutions of a special type of systems of quadratic equations.- Factorisation of sparse polynomials.- Early detection of true factors in univariate polynomial factorization.- On the complexity of finding short vectors in integer lattices.- Factoring polynomials over algebraic number fields.- The construction of a complete minimal set of contextual normal forms.- A knowledge-based approach to user-friendliness in symbolic computing.- Computer algebra and VLSI, prospects for cross fertilization.- Code optimization ofmultivariate polynomial schemes: A pragmatic approach.

Erscheint lt. Verlag 1.12.1983
Reihe/Serie Lecture Notes in Computer Science
Zusatzinfo XIII, 306 p.
Verlagsort Berlin
Sprache englisch
Maße 210 x 279 mm
Gewicht 463 g
Themenwelt Mathematik / Informatik Mathematik Algebra
Mathematik / Informatik Mathematik Analysis
Mathematik / Informatik Mathematik Wahrscheinlichkeit / Kombinatorik
Schlagworte Algebra • Boundary element method • Code • Computation • Computer Algebra • Design • Euclidean algorithm • Field • Integration • Maple • Minimum • Online • SET • stochastic differential equation • System
ISBN-10 3-540-12868-9 / 3540128689
ISBN-13 978-3-540-12868-7 / 9783540128687
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich