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 Volume=1
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The mechanical computation of first and second cohomology groups
D.F. Holt
Journal Symbolic Computation
1
(4), 1985, pp. 351-361
A general backtrack algorithm for the isomorphism problem of combinatorial objects
G. Butler
,
C.W.H. Lams
Journal Symbolic Computation
1
(4), 1985, pp. 363-381
Pseudo-natural algorithms for the word problem for finitely presented monoids and groups
Klaus Madlener
,
Friedrich Otto
Journal Symbolic Computation
1
(4), 1985, pp. 383-418
MACSYMA computation of the Dirac-Bergmann algorithm for Hamiltonian systems with constraints
Ph. Tombal
,
A. Moussiaux
Journal Symbolic Computation
1
(4), 1985, pp. 419-421
Seiten
<
1
2