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=14
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Computation of Hilbert functions
Dave Bayer
,
Mike Stillman
Journal Symbolic Computation
14
(1), 1992, pp. 31-50
AC-unification race: The system solving approach, implementation and benchmarks
Mohamed Adi
,
Claude Kirchner
Journal Symbolic Computation
14
(1), 1992, pp. 51-70
Constructing type systems over an operational semantics
Robert Harper
Journal Symbolic Computation
14
(1), 1992, pp. 71-84
ELISE, an algorithm to compute asymptotic representations for solutions of linear differential equations, realized with the computer algebra system MAPLE
Volker Dietrich
Journal Symbolic Computation
14
(1), 1992, pp. 85-92
The Blockhandler and the Bitfield package
Jim Richardson
Journal Symbolic Computation
14
(1), 1992, pp. 93-101
Isogroups of differential equations using algebraic computing
John Carminati
,
John S. Devitt
,
Greg J. Fee
Journal Symbolic Computation
14
(1), 1992, pp. 103-120
Symbolic manipulation for the study of the descent algebra of finite Coxeter groups
François Bergeron
,
Nantel Bergeron
Journal Symbolic Computation
14
(2-3), 1992, pp. 127-139
A proof of the two parameter
q
-cases of the Macdonald-Morris constant term root system conjecture for
S(F_4)
and
S(F_4)^\vee
via Zeilberger's method
Frank G. Garvan
,
Gaston H. Gonnet
Journal Symbolic Computation
14
(2-3), 1992, pp. 141-177
Super ballot numbers
Ira M. Gessel
Journal Symbolic Computation
14
(2-3), 1992, pp. 179-194
SYMMETRICA, an object oriented computer-algebra system for the symmetric group
Adalbert Kerber
,
Axel Kohnert
,
Alain Lascoux
Journal Symbolic Computation
14
(2-3), 1992, pp. 195-203
Schubert polynomials and skew Schur functions
Axel Kohnert
Journal Symbolic Computation
14
(2-3), 1992, pp. 205-210
Counting asymmetric enriched trees
Gilbert Labelle
Journal Symbolic Computation
14
(2-3), 1992, pp. 211-242
Hypergeometric solutions of linear recurrences with polynomial coefficients
Marko Petkovs̑ek
Journal Symbolic Computation
14
(2-3), 1992, pp. 243-264
An approach to the zero recognition problem by Buchberger algorithm
Nobuki Takayama
Journal Symbolic Computation
14
(2-3), 1992, pp. 265-282
An optimality result for clause form translation
Thierry Boy de la Tour
Journal Symbolic Computation
14
(4), 1992, pp. 283-301
An improved general
E
-unification method
Daniel J. Dougherty
,
Patricia Johann
Journal Symbolic Computation
14
(4), 1992, pp. 303-320
Unification under a mixed prefix
Dale Miller
Journal Symbolic Computation
14
(4), 1992, pp. 321-358
Some properties of finite special string-rewriting systems
Louxin Zhang
Journal Symbolic Computation
14
(4), 1992, pp. 359-369
A field guide to equational logic
George F. McNulty
Journal Symbolic Computation
14
(4), 1992, pp. 371-397
Solutions of systems of algebraic equations and linear maps on residue class rings
Kazuhiro Yokohama
,
Masayuki Noro
,
Taku Takeshima
Journal Symbolic Computation
14
(4), 1992, pp. 399-417
Well rewrite orderings and well quasi-orderings
Pierre Lescanne
Journal Symbolic Computation
14
(5), 1992, pp. 419-435
A new method for undecidability proofs of first order theories
Ralf Treinen
Journal Symbolic Computation
14
(5), 1992, pp. 437-457
Implicitization of rational parametric equations
Xiao-Shan Gao
,
Shang-Ching Chou
Journal Symbolic Computation
14
(5), 1992, pp. 459-470
On lucky ideals for Gröbner basis computations
Franz Pauer
Journal Symbolic Computation
14
(5), 1992, pp. 471-482
Gröbner bases and primary decomposition of modules
Elizabeth W. Rutman
Journal Symbolic Computation
14
(5), 1992, pp. 483-503
Seiten 1
2
>