Del i serien Lecture Notes in Computer Science

Symbolic and Algebraic Computation

Name: Symbolic and Algebraic Computation
SKU: 9783540095194
Price: 599 SEK
Availability: InStock
Author: E.W. Ng
ISBN: 9783540095194

Eurosam '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979

Häftad, Engelska, 1979

AvE.W. Ng

599 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Häftad

749 kr

Skickas inom 10-15 vardagar

Produktinformation

Utgivningsdatum1979-06-01
Mått155 x 235 x 32 mm
Vikt867 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor563
Upplaga1979
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540095194

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it

A criterion for detecting unnecessary reductions in the construction of Gröbner-bases.- Unification of commutative terms.- Canonicality in rule systems.- The application of symbolic algebra to physics — A case of creeping flow.- Progress towards a solution of the equivalence problem in general relativity.- Symbol calculus by symbolic computation and semi-classical expansions.- An algorithm for the analytic evaluation of a class of integrals.- Fast computation of the rational hermite interpolant and solving toeplitz systems of equations via the extended Euclidean algorithm.- Approximate algorithms to derive exact solutions to systems of linear equations.- New recursive minor expansion algorithms, a presentation in a comparative context.- Systems of algebraic equations.- On the van der waerden criterion for the group of an equation.- Some computations related to torsion points on elliptic curves over number fields.- The computerisation of algebraic geometry.- Algebraic extensions of arbitrary integral domains.- On unit computation in real quadratic fields.- An algebraic form of a solution of a system of linear differential equations with constant coefficients.- Substitution methods for the automatic symbolic solution of differential equations of first order and first degree.- A semi-numeric difference algorithm.- Convergence behaviour of the Newton iteration for first order differential equations.- Probabilistic algorithms for verification of polynomial identities.- Probabilistic algorithms for sparse polynomials.- Non-modular computation of polynomial GCDS using trial division.- Product of symmetric and anti-symmetric polynomials.- Capabilities of the mumath-79 computer algebra system for the intel-8080 microprocessor.- CAMAC 1979.- The initial design of a vectorbased algebra system.- Hashing — the key to rapid pattern matching.- A system for automatic generation of tensor algorithms and indicial tensor calculus, including substitution of sums.- Analysis of the p-adic construction of multivariate correction coefficiencts in polynomial factorization: Iteration vs. recursion.- A cellular decomposition algorithm for semialgebraic sets.- Gamma-algebra algorithms for canonical hypercomplex representations.- Factoring univariate integral polynomials in polynomial average time.- Symbolic-numeric interface: A review.- A note on methods for solving systems of polynomial equations with floating point coefficients.- An arbitrary precision real arithmetic package in REDUCE.- Symbolic preprocessing in interval function computing.- Approximate rational arithmetic systems: Analysis of recovery of simple fractions during expression evaluation.- Symbolic integration — the dust settles?.- Integration of simple radical extensions.- Algorithms for the integration of algebraic functions.- An extension of liouville's theorem.- Integer matrices and Abelian groups.- An algorithm for the computation of conjugacy classes and centralizers in p-groups.- MODLISP: An introduction.- Extending interlisp for modularization and efficiency.- TLISP — A “transportable-lisp” implemented in pcode.- Symbolic computing with compression of data structures: General observations, and a case study.- On the design of algebraic data structures with the approach of abstract data types.- Matching under commutativity.- ?-algebra algorithms for canonical hypercomplex representations.

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

Del 15427

Internet of Things – ICIOT 2024

Shunli Zhang, Liang-Jie Zhang

Häftad, 2024

819 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

729 kr

Albert Cohen - Compiler Construction, Häftad

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

729 kr

Yehuda Lindell - Theory of Cryptography, Häftad

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 219 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Du kanske också är intresserad av