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
Hilfe
Suche: Author="Calmet, Jacques"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Toward the integration of numerical computations into the OMSCS framework
Jacques Calmet
,
Vincent Lefèvre
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 12-19, 2004)
, 2004, pp. 71-79
Towards the Mathematics Software Bus
Jacques Calmet
,
Karsten Homann
Theoretical Computer Science
187
(1-2), 1997, pp. 221-230
Walking faster
Beatrice Amrhein
,
Oliver Gloor
,
Wolfgang Küchlin
Lecture Notes in Computer Science
1128
, 1996, pp. 150-161
Term rewriting systems: An
h
-categorical semantic
Giulio Balestreri
Lecture Notes in Computer Science
1128
, 1996, pp. 67-78
Towards lean proof checking
G. Barthe
,
H. Elbers
Lecture Notes in Computer Science
1128
, 1996, pp. 61-62
Problem-oriented applications of automated theorem proving
W. Bibel
,
D. Korn
,
C. Kreitz
,
S. Schmitt
Lecture Notes in Computer Science
1128
, 1996, pp. 1-21
Disc
_{Atinf}
: A general framework for implementing calculi and strategies
Christophe Bourely
,
Nicolas Peltier
Lecture Notes in Computer Science
1128
, 1996, pp. 34-45
\Sigma^{IT}
- A strongly-typed embeddable computer algebra library
Manuel Bronstein
Lecture Notes in Computer Science
1128
, 1996, pp. 22-33
WALDMEISTER: High performance equation theorem proving
Arnim Buch
,
Thomas Hillenbrand
,
Roland Fettig
Lecture Notes in Computer Science
1128
, 1996, pp. 63-64
A master-slave approach to parallel term rewriting on a hierarchical multiprocessor
Reinhard Bündgen
,
Manfred Göbel
,
Wolfgang Küchlin
Lecture Notes in Computer Science
1128
, 1996, pp. 183-194
Software architectures for computer Algebra: A case study
Greg Butler
Lecture Notes in Computer Science
1128
, 1996, pp. 277-286
Computer algebra, artificial intelligence and computer science
Jacques Calmet
Euromath Bulletin
2
(1), 1996, pp. 187-196
Parallel 3-primes FFT algorithm
Giovanni Cesari
,
Roman Maeder
Lecture Notes in Computer Science
1128
, 1996, pp. 174-182
Animating a non-executable formal specification with a distributed symbolic language
P. Ciancarini
,
S. Cimato
Lecture Notes in Computer Science
1128
, 1996, pp. 200-201
Analyzing the dynamics of a
Z
specification
Paolo Ciancarini
,
Cecilia Mascolo
Lecture Notes in Computer Science
1128
, 1996, pp. 138-149
An approach to class reasoning in symbolic computation
Gianna Cioni
,
Attilio Colagrossi
,
Marco Temperini
Lecture Notes in Computer Science
1128
, 1996, pp. 240-251
A database for number fields
Mario Daberkow
,
Andreas Weber
Lecture Notes in Computer Science
1128
, 1996, pp. 320-330
A deductive database for mathematical formulas
Stéphane Dalmas
,
Marc Gaëtano
,
Claude Huchet
Lecture Notes in Computer Science
1128
, 1996, pp. 287-296
Making systems communicate and cooperate: The Central Control approach
Stéphane Dalmas
,
Marc Gaëtano
Lecture Notes in Computer Science
1128
, 1996, pp. 308-319
Equality elimination for the tableau method
Anatoli Degtyarev
,
Andrei Voronkov
Lecture Notes in Computer Science
1128
, 1996, pp. 46-60
An intelligent interface to numerical routines
Brian J. Dupée
,
James H. Davenport
Lecture Notes in Computer Science
1128
, 1996, pp. 252-262
Exploiting SML for experimenting with algebraic algorithms: The example of
p
-adic lifting
Wolfgang Gehrke
,
Carla Limongelli
Lecture Notes in Computer Science
1128
, 1996, pp. 98-111
Parameterizing object specifications
Martin Gogolla
Lecture Notes in Computer Science
1128
, 1996, pp. 126-137
Pluggability issues in the multi protocol
Simon Gray
,
Norbert Kajler
,
Paul S. Wang
Lecture Notes in Computer Science
1128
, 1996, pp. 343-356
Compiling residuation for a multiparadigm symbolic programming language
Georgios Grivas
,
Alexios Palinginis
Lecture Notes in Computer Science
1128
, 1996, pp. 331-342
Seiten 1
2
3
4
5
>