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

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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.