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=1994
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Computing the homology of groups: The geometric way
Ana Romero
,
Julio Rubio
Journal Symbolic Computation
47
(7), 2012, pp. 752-770
A multipurpose backtracking algorithm
H.A. Priestley
,
M.P. Ward
Journal Symbolic Computation
18
(1), 1994, pp. 1-40
Abstract parametric classes and abstract data types defined by classical and constructive logical methods
Pierangelo Miglioli
,
Ugo Moscato
,
Mario Ornaghi
Journal Symbolic Computation
18
(1), 1994, pp. 41-81
A microcomputer based system for small relation algebras
Ivo Düntsch
Journal Symbolic Computation
18
(1), 1994, pp. 83-86
A computer algebra approach to the discrete Dirichlet problem
Craig R. Orr
,
Doron Zeilberger
Journal Symbolic Computation
18
(1), 1994, pp. 87-90
Finite derivation type implies the homological finiteness condition
FP_3
Robert Cremanns
,
Friedrich Otto
Journal Symbolic Computation
18
(2), 1994, pp. 91-112
Combining symbolic constraint solvers on algebraic domains
Hélène Kirchner
,
Christophe Ringeissen
Journal Symbolic Computation
18
(2), 1994, pp. 113-155
Transformation of logic programs to FP programs based on dataflows
Susumu Yamasaki
,
Kentaro Iida
Journal Symbolic Computation
18
(2), 1994, pp. 157-182
Simple multivariate polynomial multiplication
Victor Y. Pan
Journal Symbolic Computation
18
(3), 1994, pp. 183-186
The Hecke operators on
S_k(\Gamma_1(N))
Xiangdong Wang
Journal Symbolic Computation
18
(3), 1994, pp. 187-198
Real number computations: On the use of information
Klaus Meer
Journal Symbolic Computation
18
(3), 1994, pp. 199-206
Parallel computation of Gröbner bases on distributed memory machines
Hiroyuki Sawada
,
Satoshi Terasaki
,
Akira Aiba
Journal Symbolic Computation
18
(3), 1994, pp. 207-222
A Gröbner basis method for modules over rings of differential operators
Toshinori Oaku
,
Takeshi Shimoyama
Journal Symbolic Computation
18
(3), 1994, pp. 223-248
Differentiation and integration of indefinite summations with respect to indexed variables - Some rules and applications
Dongming Wang
Journal Symbolic Computation
18
(3), 1994, pp. 249-263
Symbolic derivation of Runge-Kutta methods
M. Sofroniou
Journal Symbolic Computation
18
(3), 1994, pp. 265-296
Tree automata help one to solve equational formulae in AC-theories
D. Lugiez
,
J.L. Moysset
Journal Symbolic Computation
18
(4), 1994, pp. 297-318
Bounded, strongly sequential and forward-branching term rewriting systems
Irène Durand
Journal Symbolic Computation
18
(4), 1994, pp. 319-352
An algorithm for computing an integral basis in an algebraic function field
Mark van Hoeij
Journal Symbolic Computation
18
(4), 1994, pp. 353-363
Prime decompositions of radicals in polynomial rings
Michael Kalkbrener
Journal Symbolic Computation
18
(4), 1994, pp. 365-372
A case where choosing a product order makes the calculations of a Groebner Basis much faster
Freyja Hreinsdóttir
Journal Symbolic Computation
18
(4), 1994, pp. 373-378
Landau's inequality via Hadamard's
Maurice Mignotte
,
Philippe Glesser
Journal Symbolic Computation
18
(4), 1994, pp. 379-383
Irreducible linear differential equations of prime order
Felix Ulmer
Journal Symbolic Computation
18
(4), 1994, pp. 385-401
On some bounds for zeros of norm-bounded polynomials
Osami Yamamoto
Journal Symbolic Computation
18
(5), 1994, pp. 403-427
Algebraic numbers: An example of dynamic evaluation
Dominique Duval
Journal Symbolic Computation
18
(5), 1994, pp. 429-445
On flatness of generic projections
Abdallah Assi
Journal Symbolic Computation
18
(5), 1994, pp. 447-462
Seiten 1
2
3
>