MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Design and Implementation of Symbolic Computation Systems" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

16 documents found, showing 1 through 10. Next 10 →

ATOM

Process Scheduling in DSC and the Large Sparse Linear Systems Challenge
by A. Díaz, A. D Iaz, M. Hitz, E. Kaltofen, A. Lobo, T. Valente — 1998 — J. Symbolic Comput
… Fellowship (A. D'iaz). A preliminary version of this paper appeared in "Design and Implementation of Symbolic…
Cited by 6 (2 self) – Add To MetaCart

Corporation, 1987. Mitre
by Corporation Ts Of, J. D. Guttman
… and Implementation of Symbolic Computation Systems, volume 722 of Lecture Notes in Computer Science, pages 216…
Add To MetaCart

with a Type System
by Stephan Missura — 1993 — In Design and Implementation of Symbolic Computation Systems (Proceedings of DISCO '93), volume 722 of LNCS
… some design decisions taken in the ongoing project of extending the symbolic computation system Alg…
Add To MetaCart

Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover
by Maria Paola, Bonacina, Jieh Hsiang — 1994
… of Symbolic Computation Systems, Springer Verlag, Lecture Notes in Computer Science 722, 272–287. 2…
Add To MetaCart

A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog
by Mark E. Stickel — 1989 — in Prolog. Theoretical Computer Science
… version of a paper presented at the International Symposium on Design and Implementation of Symbolic…
Cited by 50 (0 self) – Add To MetaCart

Sketching Concepts and Computational Model of TROLL light
by M. Gogolla, S. Conrad, R. Herzig — 1993
… Introduction Proc. Int. Conf. Design and Implementation of Symbolic Computation Systems (DISCO'93) A. Miola…
Cited by 36 (24 self) – Add To MetaCart

Building a Computer Algebra Environment by Composition of Collaborative Tools
by Norbert Kajler, Projet Safir, Inria Sophia-antipolis — 1992 — In Proc. of DISCO'92
… Published in the proceedings of DISCO'92 -- International Symposium on Design and Implementation of Symbolic…
Cited by 15 (8 self) – Add To MetaCart

Problem-oriented applications of automated theorem proving
by W. Bibel, D. Korn, C. Kreitz, S. Schmitt, Fachgebiet Intellektik, Fachbereich Informatik, Technische Hochschule Darmstadt — 1996 — Design and Implementation of Symbolic Computation Systems, LNCS 1126
… and Implementation of Symbolic Computation Systems (DISCO’96), LNCS 1128, pp. 1–21, c○Springer Verlag, 1996.A second…
Cited by 8 (4 self) – Add To MetaCart

Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment
by Peter Fritzson, Vadim Engelson, Lars Viklund — 1993 — In A. Miola (Ed.), Design and Implementation of Symbolic Computation Systems (DISCO), Volume 722 of LNCS
… Symposium on the Design and Implementation of Symbolic Computation Systems, Gmunden, Austria, Sept 1993…
Cited by 7 (1 self) – Add To MetaCart

XTV: A Framework for Sharing X Windows Clients in Remote Synchronous
by Collaboration Proc Ieee
… on the Design and Implementation of Symbolic Computation Systems (1990), no. 429, 268--269. 19.L. Bannon and K…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB