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=1991
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Extraction of redundancy-free programs from constructive natural deduction proofs
Yukihide Takayama
Journal Symbolic Computation
12
(1), 1991, pp. 29-69
Resolutions via homological perturbation
Larry A. Lambe
Journal Symbolic Computation
12
(1), 1991, pp. 71-87
Using MAPLE for the analysis of bifurcation phenomena in condensed-phase surface combustion
Marc Garbey
,
Hans G. Kaper
,
Gary K. Leaf
,
Bernard J. Matkowsky
Journal Symbolic Computation
12
(1), 1991, pp. 89-113
Macsyma computation of local minimal realization of dynamical systems of which generating power series are finite
Nour Eddine Oussous
Journal Symbolic Computation
12
(1), 1991, pp. 115-126
Wu's method and the Khovanskii finiteness theorem
Daniel Richardson
Journal Symbolic Computation
12
(2), 1991, pp. 127-141
Normal forms for a class of formulas
H.M.M. Ten Eikelder
,
J.C.F. Wilmont
Journal Symbolic Computation
12
(2), 1991, pp. 143-160
Sequentiality in orthogonal term rewriting systems
Jan Willem Klop
,
Aart Middeldorp
Journal Symbolic Computation
12
(2), 1991, pp. 161-195
AUTOMATE, a computing package for automata and finite semigroups
J.M. Champarnaud
,
G. Hansel
Journal Symbolic Computation
12
(2), 1991, pp. 197-220
Symbolic computation of orientational correlation function moments
P. Pasini
,
F. Semeria
,
C. Zannoni
Journal Symbolic Computation
12
(2), 1991, pp. 221-231
Mechanical manipulation for a class of differential systems
Dongming Wang
Journal Symbolic Computation
12
(2), 1991, pp. 233-254
When is an extension of a specification consistent? Decidable and undecidable cases
Friedrich Otto
Journal Symbolic Computation
12
(3), 1991, pp. 255-273
A methodology for detecting shared variable dependencies in logic programs
B. Schend
Journal Symbolic Computation
12
(3), 1991, pp. 275-298
Partial cylindrical algebraic decomposition for quantifier elimination
George E. Collins
,
Hoon Hong
Journal Symbolic Computation
12
(3), 1991, pp. 299-328
A faster way to count the solutions of inhomogeneous systems of algebraic equations, with applications to cyclic
n
-roots
Göran Björck
,
Ralf Fröberg
Journal Symbolic Computation
12
(3), 1991, pp. 329-336
Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
Carl Jacobsson
,
Clas Löfwall
Journal Symbolic Computation
12
(3), 1991, pp. 337-371
On the polynomial representation of generalized Liouville operators
V. Sailer
,
G. Morales-Luna
Journal Symbolic Computation
12
(3), 1991, pp. 373-379
Computer algebra in spacetime embedding
Waldir L. Roque
,
Renato P. Dos Santos
Journal Symbolic Computation
12
(3), 1991, pp. 381-389
The use of Knuth-Bendix methods to solve the word problem in automatic groups
D.B.A. Epstein
,
D.F. Holt
,
S.E. Rees
Journal Symbolic Computation
12
(4-5), 1991, pp. 397-414
Double coset enumeration
Stephen A. Linton
Journal Symbolic Computation
12
(4-5), 1991, pp. 415-426
Constructing matrix representations of finitely presented groups
S.A. Linton
Journal Symbolic Computation
12
(4-5), 1991, pp. 427-438
The Knuth-Bendix procedure for strings as a substitute for coset enumeration
Charles C. Sims
Journal Symbolic Computation
12
(4-5), 1991, pp. 439-442
Computing Sylow subgroups of permutation groups using homomorphic images of centralizers
Gregory Butler
,
John Cannon
Journal Symbolic Computation
12
(4-5), 1991, pp. 443-457
Fast recognition of doubly transitive groups
P.J. Cameron
,
J. Cannon
Journal Symbolic Computation
12
(4-5), 1991, pp. 459-474
A strong generating test and short presentations for permutation groups
Gene Cooperman
,
Larry Finkelstein
Journal Symbolic Computation
12
(4-5), 1991, pp. 475-497
The computation of normalizers in permutation groups
D.F. Holt
Journal Symbolic Computation
12
(4-5), 1991, pp. 499-516
Seiten 1
2
3
>