The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Comput.
1995, volume: 19, number: 1-3

  1. Bo Yi, Jiafu Xu
    Analogical Type Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1995, v:19, n:1-3, pp:3-24 [Journal]
  2. Andreas Weber 0004
    On Coherence in Computer Algebra. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1995, v:19, n:1-3, pp:25-38 [Journal]
  3. Paolo Di Blasio, Marco Temperini
    Subtyping Inheritance and Its Application in Languages for Symbolic Computation Systems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1995, v:19, n:1-3, pp:39-63 [Journal]
  4. Anthony C. Hearn, Eberhard Schrüfer
    A Computer Algebra System Based on Ordersorted Algebra. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1995, v:19, n:1-3, pp:65-77 [Journal]
  5. Philip S. Santas
    A Type System for Computer Algebra. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1995, v:19, n:1-3, pp:79-109 [Journal]
  6. Hoon Hong, Andreas Neubacher, Wolfgang Schreiner
    The Design of the SACLIB/PACLIB Kernels. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1995, v:19, n:1-3, pp:111-132 [Journal]
  7. A. C. Norman
    Compact Delivery Support for REDUCE. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1995, v:19, n:1-3, pp:133-132 [Journal]
  8. Tudor Jebelean
    A Double-Digit Lehmer-Euclid Algorithm for Finding the GCD of Long Integers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1995, v:19, n:1-3, pp:145-157 [Journal]
  9. Robert Fournier, Norbert Kajler, Bernard Mourrain
    Visualization of Mathematical Surfaces: The IZIC Server Approach. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1995, v:19, n:1-3, pp:159-173 [Journal]
  10. Gianna Cioni, Attilio Colagrossi, Alfonso Miola
    A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1995, v:19, n:1-3, pp:175-199 [Journal]
  11. William M. Farmer, Joshua D. Guttman, F. Javier Thayer
    Context in Mathematical Reasoning and Computation. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1995, v:19, n:1-3, pp:210-206 [Journal]
  12. Ricardo Caferra, Michel Herment
    A Generic Graphic Framework for Combining Inference Tools and Editing Proofs and Formulae. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1995, v:19, n:1-3, pp:217-243 [Journal]
  13. Maria Paola Bonacina, Jieh Hsiang
    Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1995, v:19, n:1-3, pp:245-267 [Journal]
  14. Angel Díaz, Markus A. Hitz, Erich Kaltofen, A. Lobo, T. Valente
    Process Scheduling in DSC and the Large Sparse Linear Systems Challenge. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1995, v:19, n:1-3, pp:269-282 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002