Volume 19; Issue 1-3

Journal of Symbolic Computation

Volume 19; Issue 1-3

1

Foreword

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 59 KB

1995

2

Analogical Type Theory

Bo Yi, Jiafu Xu

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 609 KB

1995

3

On Coherence in Computer Algebra

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 435 KB

1995

4

Subtyping Inheritance and Its Application in Languages for Symbolic Computation Systems

Paolo Di Blasio, Marco Temperini

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 883 KB

1995

5

A Computer Algebra System based on Order-sorted Algebra

Anthony C. Hearn, Eberhard Schrüfer

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 447 KB

1995

6

A Type System for Computer Algebra

Philip S. Santas

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 1.08 MB

1995

7

The Design of the SACLIB/PACLIB Kernels

Hoon Hong, Andreas Neubacher, Wolfgang Schreiner

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 722 KB

1995

8

Compact Delivery Support for REDUCE

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 457 KB

1995

9

A Double-Digit Lehmer-Euclid Algorithm for Finding the GCD of Long Integers

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 316 KB

1995

10

Visualization of Mathematical Surfaces: the IZIC Server Approach

Robert Fournier, Norbert Kajler, Bernard Mourrain

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 1005 KB

1995

11

A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems

Gianna Cioni, Attilio Colagrossi, Alfonso Miola

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 680 KB

1995

12

Contexts in Mathematical Reasoning and Computation

William M. Farmer, Joshua D. Guttman, F.Javier Thayer

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 590 KB

1995

13

A Generic Graphic Framework for Combining Inference Tools and Editing Proofs and Formulae

Ricardo Caferra, Michel Herment Lifia-Imag

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 843 KB

1995

14

Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover

Maria Paola Bonacina, Jieh Hsiang

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 1.00 MB

1995

15

Process Scheduling in DSC and the Large Sparse Linear Systems Challenge

A. Dı́az, M. Hitz, E. Kaltofen, A. Lobo, T. Valente

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 548 KB

1995

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Tor version

Z-Library

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски