Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Miola, Alfonso"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A sequent calculus for automated reasoning in symbolic computation systems
Gianna Cioni
,
Attilio Colagrossi
,
Alfonso Miola
Journal Symbolic Computation
19
(1-3), 1995, pp. 175-199
Proving the correctness of algebraic implementations by the ISAR system
Bernhard Bauer
,
Rolf Hennicker
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 2-16
Distributed deduction by clause-diffusion: The Aquarius prover
Maria Paola Bonacina
,
Jieh Hsiang
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 272-287
An enhanced sequent calculus for reasoning in a given domain
S. Bonamico
,
G. Cioni
,
A. Colagrossi
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 369-373
GLEF
_{ATINF}
: A graphic framework for combining theorem provers and editing proofs for different logics
Ricardo Caferra
,
Michel Herment
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 229-240
A unified-algebra-based specification language for symbolic computing
J. Calmet
,
I.A. Tjandra
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 122-133
Extending RISC-CLP
(Real)
to handle symbolic functions
Olga Caprotti
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 241-255
Subtyping inheritance in languages for symbolic computation systems
Paolo Di Blasio
,
Marco Temperini
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 107-121
Process scheduling in DSC and the large sparse linear systems challenge
A. Diaz
,
M. Hitz
,
E. Kaltofen
,
A. Lobo
,
T. Valente
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 66-80
Reasoning with contexts
William M. Farmer
,
Joshua D. Guttman
,
F. Javier Thayer
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 216-228
Dynamic term rewriting calculus and its application to inductive equational reasoning
Su Feng
,
Toshiki Sakabe
,
Yasuyoshi Inagaki
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 256271
IZIC: A portable language-driven tool for mathematical surfaces visualization
Robert Fournier
,
Norbert Kajler
,
Bernard Mourrain
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 341-353
Variant handling, inheritance and composition in the ObjectMath computer algebra environment
Peter Fritzson
,
Vadim Engelson
,
Lars Viklund
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 145-163
Sketching concepts and computational model of TROLL
light
Martin Gogolla
,
Stefan Conrad
,
Rudolf Herzig
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 17-32
Matching and unification for the object-oriented symbolic computation system
AlgBench
Georgios Grivas
,
Roman E. Maeder
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 164-176
An order-sorted approach to algebraic computation
Anthony C. Hearn
,
Eberhard Schrüfer
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 134-144
The design of the SACLIB/PACLIB kernels
Hoon Hong
,
Andreas Neubacher
,
Wolfgang Schreiner
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 288-302
Improving the multiprecision Euclidean algorithm
Tudor Jebelean
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 45-58
On the uniform representation of mathematical data structures
Carla Limongelli
,
Marco Temperini
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 319-330
Storage allocation for the Karatsuba integer multiplication algorithm
Roman E. Maeder
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 59-65
The algebraic constructor CAC: computing in construction-defined domains
Serge D. Meshveliani
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 354-358
Extending
AlgBench
with a type system
Stephan A. Missura
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 359-363
Gauss: A parameterized domain of computation system support for signature functions
Michael B. Monagan
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 81-94
Problem-oriented means of program specification and verification in project SPECTRUM
V.A. Nepomniaschy
,
A.A. Sulimov
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 374-378
Compact delivery support for REDUCE
A.C. Norman
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 331-340
Seiten 1
2
>