default search action

combined dblp search
author search
venue search
publication search

ask others

DISCO 1992: Bath, UK

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > DISCO

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/disco/1992
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/disco/1992
John P. Fitch:
Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '92, Bath, UK, April 13-15, 1992, Proceedings. Lecture Notes in Computer Science 721, Springer 1993, ISBN 3-540-57272-4
- view
  authority control:
- export record
  dblp key:
  - conf/disco/Rimey92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/disco/Rimey92
Ken Rimey:
Template-based Formula Editing in Kaava. 1-12
- view
  authority control:
- export record
  dblp key:
  - conf/disco/Bradford92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/disco/Bradford92
Russell J. Bradford:
Algebraic Simplification of Multiple-Valued Functions. 13-21
- view
  authority control:
- export record
  dblp key:
  - conf/disco/Monagan92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/disco/Monagan92
Michael B. Monagan:
In-place Arithmetic for Polinominals over Z_n. 22-34
- view
  authority control:
- export record
  dblp key:
  - conf/disco/Brunswick92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/disco/Brunswick92
Brian D. Brunswick:
LILK - Static Analysis of REDUCE Code. 35-43
- view
  authority control:
- export record
  dblp key:
  - conf/disco/FaureGGP92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/disco/FaureGGP92
C. Faure, André Galligo, J. Grimm, Loic Pottier:
The Extensions of the Sisyphe Computer Algebra System: ulysse and athena. 44-55
- view
  authority control:
- export record
  dblp key:
  - conf/disco/Maeder92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/disco/Maeder92
Roman Maeder:
AlgBench: An Object-Oriented Symbolic Core System. 56-64
- view
  authority control:
- export record
  dblp key:
  - conf/disco/Santas92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/disco/Santas92
Philip S. Santas:
SYMO2: Objects and Classes for Symbolic Computation Systems. 65-84
- view
  authority control:
- export record
  dblp key:
  - conf/disco/Kajler92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/disco/Kajler92
Norbert Kajler:
Building a Computer Algebra Environment by Composition of Collaborative Tools. 85-94
- view
  authority control:
- export record
  dblp key:
  - conf/disco/WeibelG92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/disco/WeibelG92
Trudy Weibel, Gaston H. Gonnet:
An Assume Facility for CAS, with a Sample Implementation for Maple. 95-103
- view
  authority control:
- export record
  dblp key:
  - conf/disco/Fitch92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/disco/Fitch92
John P. Fitch:
REDUCE Meets CAMAL. 104-115
- view
  authority control:
- export record
  dblp key:
  - conf/disco/Aberer92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/disco/Aberer92
Karl Aberer:
Combinatory Models and Symbolic Computation. 116-131
- view
  authority control:
- export record
  dblp key:
  - conf/disco/AntoyFMS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/disco/AntoyFMS92
Sergio Antoy, Paola Forcheri, Maria Teresa Molfino, Carlo Schenone:
A Uniform Approach to Deduction and Automatic Implementation. 132-144
- view
  authority control:
- export record
  dblp key:
  - conf/disco/BayramB92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/disco/BayramB92
M. Bayram, J. P. Bennett:
A Simple General Purpose Technique for Interfacing Between Computer Algebra and Numerical Analysis Systems. 145-151
- view
  authority control:
- export record
  dblp key:
  - conf/disco/Zima92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/disco/Zima92
Eugene V. Zima:
Recurrent Relations and Speed-up of Computations Using Computer Algebra Systems. 152-161
- view
  authority control:
- export record
  dblp key:
  - conf/disco/Simon92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/disco/Simon92
Gábor Simon:
Design and Implementation of a Retargetable ALDES Compiler. 162-172
- view
  authority control:
- export record
  dblp key:
  - conf/disco/ApelK92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/disco/ApelK92
Joachim Apel, Uwe Klaus:
Data Representation and In-built Compilation in the Computer Algebra Program FELIX. 173-192
- view
  authority control:
- export record
  dblp key:
  - conf/disco/GoodloeL92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/disco/GoodloeL92
Alwyn E. Goodloe, Philippe Loustaunau:
An Abstract Data Type Development of Graded Rings. 193-202
- view
  authority control:
- export record
  dblp key:
  - conf/disco/Caprotti92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/disco/Caprotti92
Olga Caprotti:
An Object-Oriented Approach to Indexed Mathematical Objects for the Manipulation of Sums and Series. 203-214

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.