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: Journal=J. Symbolic Computation AND YEAR=1996
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A remark on infinite matching vs infinite unification
Benedetto Intrigila
,
Marisa Venturini Zilli
Journal Symbolic Computation
21
(3), 1996, pp. 289-292
Memory management in the PoSSo solver
Giuseppe Attardi
,
Tito Flagella
Journal Symbolic Computation
21
(3), 1996, pp. 293-311
Improved techniques for factoring univariate polynomials
George E. Collins
,
Mark J. Encarnación
Journal Symbolic Computation
21
(3), 1996, pp. 313-327
Implicitization of rational parametric surfaces
George Fix
,
Chih-Ping Hsu
,
Tie Luo
Journal Symbolic Computation
21
(3), 1996, pp. 329-336
Construction of finitely presented Lie algebras and superalgebras
Vladimir P. Gerdt
,
Vladimir V. Kornyak
Journal Symbolic Computation
21
(3), 1996, pp. 337-349
Calculating invariant rings of finite groups over arbitrary fields
Gregor Kemper
Journal Symbolic Computation
21
(3), 1996, pp. 351-366
Solving discriminant form equations via unit equations
Nigel Smart
Journal Symbolic Computation
21
(3), 1996, pp. 367-374
Modular algorithm for sparse multivariate polynomial interpolation and its parallel implementation
Hirokazu Murao
,
Tetsuro Fujise
Journal Symbolic Computation
21
(4), 1996, pp. 377-396
Parallel polynomial operations on SMPs: An overview
Paul S. Wang
Journal Symbolic Computation
21
(4), 1996, pp. 397-410
Strategy-accurate parallel Buchberger algorithms
Giuseppe Attardi
,
Carlo Traverso
Journal Symbolic Computation
21
(4), 1996, pp. 411-425
A distributed and cooperative environment for computer algebra
Stephane Dalmas
,
Marc Gaetano
,
Alain Sausse
Journal Symbolic Computation
21
(4), 1996, pp. 427-439
Bidirectional exact integer division
Werner Krandick
,
Tudor Jebelean
Journal Symbolic Computation
21
(4), 1996, pp. 441-455
Parallel implementation of the accelerated integer GCD algorithm
Kenneth Weber
Journal Symbolic Computation
21
(4), 1996, pp. 457-466
Performance analysis of the parallel Karatsuba multiplication algorithm for distributed memory architectures
Giovanni Cesari
,
Roman Maeder
Journal Symbolic Computation
21
(4), 1996, pp. 467-473
Strategy compliant multi-threaded term completion
Reinhard Bündgen
,
Manfred Göbel
,
Wolfgang Küchlein
Journal Symbolic Computation
21
(4), 1996, pp. 475-505
On the reconstruction of proofs in distributed theorem proving: A modified clause-diffusion method
Maria Paola Bonacina
Journal Symbolic Computation
21
(4), 1996, pp. 507-522
Recording and analysing knowledge-based distributed deduction processes
Jörg Denzinger
,
Stephan Schulz
Journal Symbolic Computation
21
(4), 1996, pp. 523-541
PSATO: A distributed propositional prover and its application to quasigroup problems
Hantao Zhang
,
Maria Paola Bonacina
,
Jieh Hsiang
Journal Symbolic Computation
21
(4), 1996, pp. 543-560
Parallelizing imperative functional programs : The vectorization monad
Jonathan M.D. Hill
,
Keith M. Clarke
,
Richard Bornat
Journal Symbolic Computation
21
(4), 1996, pp. 561-576
Shared memory implementation of the Gamma-operation
Katia Gladitz
,
Herbert Kuchen
Journal Symbolic Computation
21
(4), 1996, pp. 577-591
A para-functional programming interface for a parallel computer algebra package
Wolfgang Schreiner
Journal Symbolic Computation
21
(4), 1996, pp. 593-614
A semi-automatic multiple-strategy approach to mapping tree-structured symbolic processing programs
Angela Sodan
Journal Symbolic Computation
21
(4), 1996, pp. 615-634
The constraint-based knowledge broker model: Semantics, implemantation and analysis
Jean-Marc Andreoli
,
Uwe M. Borghoff
,
Remo Pareschi
Journal Symbolic Computation
21
(4), 1996, pp. 635-667
Extending the
\mu
Log framework with local and conditional blackboard operations
Koen de Bosschere
,
Jean-Marie Jacquet
Journal Symbolic Computation
21
(4), 1996, pp. 669-697
Constraint satisfaction in distributed concurrent logic programming
Ho-Fung Leung
,
Keith L. Clark
Journal Symbolic Computation
21
(4), 1996, pp. 699-714
Seiten
<
1
2
3
4
>