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=22
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Polynomial-time computation of the dimension of algebraic varieties in zero-characteristic
Alexander L. Chistov
Journal Symbolic Computation
22
(1), 1996, pp. 1-25
The ideal membership problem in non-commutative polynomial rings
F. Leon Pritchard
Journal Symbolic Computation
22
(1), 1996, pp. 27-48
AC
complement problems: Satisfiability and negation elimination
Maribel Fernández
Journal Symbolic Computation
22
(1), 1996, pp. 49-82
Applying quantifier elimination to the Birkhoff interpolation problem
Laureano Gonzalez-Vega
Journal Symbolic Computation
22
(1), 1996, pp. 83-103
Symbolic finite element modeling of structural systems
Srinivas Tummarakota
,
Junghsen Lieh
Journal Symbolic Computation
22
(1), 1996, pp. 105-119
On different structure-preserving translations to normal form
Uwe Egly
Journal Symbolic Computation
22
(2), 1996, pp. 121-142
On the modularity of normal forms in rewriting
Massimo Marchiori
Journal Symbolic Computation
22
(2), 1996, pp. 143-154
For groups the property of having finite derivation type is equivalent to the homological finiteness condition
FP_3
Robert Cremanns
,
Friedrich Otto
Journal Symbolic Computation
22
(2), 1996, pp. 155-177
Note on Kovacic's algorithm
Felix Ulmer
,
Jacques-Arthur Weil
Journal Symbolic Computation
22
(2), 1996, pp. 179-200
Symmetric representation of the elements of the Janko Group
J_1
R.T. Curtis
,
Z. Hasan
Journal Symbolic Computation
22
(2), 1996, pp. 201-214
On the list of finite primitive permutation groups of degree
\le
50
Francis Buekenhout
,
Dimitri Leemans
Journal Symbolic Computation
22
(2), 1996, pp. 215-225
MAPinsure - A MAPLE package for life insurance
Dieter Aschenwald
,
Thomas Siegl
,
Robert F. Tichy
Journal Symbolic Computation
22
(2), 1996, pp. 227-234
Decomposition of algebraic functions
Dexter Kozen
,
Susan Landau
,
Richard Zippel
Journal Symbolic Computation
22
(3), 1996, pp. 235-246
Localization and primary decomposition of polynomial ideals
Takeshi Shimoyama
,
Kazuhiro Yokoyama
Journal Symbolic Computation
22
(3), 1996, pp. 247-277
Bi-rewrite systems
Jordi Levy
,
Jaume Agustí
Journal Symbolic Computation
22
(3), 1996, pp. 279-314
Decidability of unification in the theory of one-sided distributivity and a multiplicative unit
Manfred Schmidt-Schauss̈
Journal Symbolic Computation
22
(3), 1996, pp. 315-344
Symbolic computation on complex polynomial solution of differential equations
Jun Zhang
Journal Symbolic Computation
22
(3), 1996, pp. 345-354
Hilbert functions and the Buchberger algorithm
Carlo Traverso
Journal Symbolic Computation
22
(4), 1996, pp. 355-376
Computing
x^m
mod
p(x)
and an application to splitting a polynomial into factors over a fixed disc
Victor Y. Pan
Journal Symbolic Computation
22
(4), 1996, pp. 377-380
Efficient simulation of forward-branching systems with constructor systems
Bruno Salinier
,
Robert Strandh
Journal Symbolic Computation
22
(4), 1996, pp. 381-399
Modular higher-order equational preunification
Zhenyu Qian
,
Kang Wang
Journal Symbolic Computation
22
(4), 1996, pp. 401-424
On the resolution of index form equations in sextic fields with an imaginary quadratic subfield
István Gaál
,
Michael Pohst
Journal Symbolic Computation
22
(4), 1996, pp. 425-434
Rigorous error analysis of numerical algorithms via symbolic computations
Marian Mrozek
Journal Symbolic Computation
22
(4), 1996, pp. 435-458
Symbolic solutions for a class of partial differential equations
Bram de Jager
,
Bram van Asch
Journal Symbolic Computation
22
(4), 1996, pp. 459-468
Editorial: Executable temporal logics
M. Fisher
,
S. Kono
,
M.A. Orgun
Journal Symbolic Computation
22
(5-6), 1996, pp. 469-474
Seiten 1
2
>