Vor Ort
Merkzettel Warenkorb
  • Produktbild: Design and Implementation of Symbolic Computation Systems
  • Produktbild: Design and Implementation of Symbolic Computation Systems
Band 1128

Design and Implementation of Symbolic Computation Systems International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

04.09.1996

Abbildungen

IX, 362 p.

Herausgeber

Jacques Calmet + weitere

Verlag

Springer Berlin

Seitenzahl

362

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

569 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61697-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

04.09.1996

Abbildungen

IX, 362 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

362

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

569 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61697-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Design and Implementation of Symbolic Computation Systems
  • Produktbild: Design and Implementation of Symbolic Computation Systems
  • Problem-oriented applications of automated theorem proving.- ?IT — A strongly-typed embeddable computer algebra library.- DiscAtinf: A general framework for implementing calculi and strategies.- Equality elimination for the tableau method.- Towards lean proof checking.- WALDMEISTER: High performance equation theorem proving.- A reflective language based on conditional term rewriting.- Term rewriting systems: An h-categorical semantic.- Generative geometric modeling in a functional environment.- Exploiting SML for experimenting with algebraic algorithms: The example of p-adic lifting.- Conditional categories and domains.- Parameterizing object specifications.- Analyzing the dynamics of a Z specification.- Walking faster.- Integer and rational arithmetic on masPar.- Parallel 3-primes FFT algorithm.- A master-slave approach to parallel term rewriting on a hierarchical multiprocessor.- Multi-agent cooperation — Concepts and applications.- Document-centered presentation of computing software: Compound documents are better workspaces.- Animating a non-executable formal specification with a distributed symbolic language.- Uniform representation of basic algebraic structures in computer algebra.- Integrating computer algebra with proof planning.- Structures for symbolic mathematical reasoning and computation.- Implementing FS0 in Isabelle: Adding structure at the metalevel.- An approach to class reasoning in symbolic computation.- An intelligent interface to numerical routines.- Computer algebra and the World Wide Web.- Interfacing REDUCE to Java.- Software architectures for computer algebra: A case study.- A deductive database for mathematical formulas.- CASA — A system for Computer Aided Constructive Algebraic geometry.- Making systems communicate and cooperate: TheCentral Control approach.- A database for number fields.- Compiling residuation for a multiparadigm symbolic programming language.- Pluggability issues in the Multi Protocol.