type: Formal specification Title: Specification of Posso External Data...  Home/Search
Context
Related
| unikoeln.de/themen/C...PossoXDR4.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: unikoeln.de/themen/Com...related (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this document we define the protocol, PossoXDR, used for exchanging data between POSSO processes. Besides defining the external representations of the objects used inside POSSO, we also introduce a data description language allowing succinct and precise definitions of the external forms (Update)
Active bibliography (related documents): More All
0.1: Distributed Computation of Mixed Volume - Emiris, Giordano (1997) (Correct)
0.1: Objectives of OpenMath - Abbott, Van Leeuwen, Strotmann (1995) (Correct)
0.1: MPP: A Framework for Distributed Polynomial Computations - Bachmann, Schönemann.. (1996) (Correct)
Similar documents based on text: More All
0.3: The POSSO Library for Polynomial System Solving - Attardi, Traverso (1995) (Correct)
0.3: Memory Management in the PoSSo Solver - Attardi, Flagella (1996) (Correct)
0.2: MP: A Protocol for Efficient Exchange of Mathematical.. - Gray, Kajler, Wang (1994) (Correct)
BibTeX entry: (Update)
@misc{ specification-posso,
author = "Type Formal Specification",
title = "Posso File Header",
url = "citeseer.ist.psu.edu/693728.html" }
Citations (may not include all citations):458 A Universal Algorithm for Sequential Data Compression - Ziv, Lempel
7 ASAP : a protocol for symbolic computation systems - Dalmas, Gaetano et al. - 1994
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC