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=35
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Computing characteristic classes of projective schemes
Paolo Aluffi
Journal Symbolic Computation
35
(1), 2003, pp. 3-19
Deciding the guarded fragments by resolution
Hans de Nivelle
,
Maarten de Rijke
Journal Symbolic Computation
35
(1), 2003, pp. 21-58
Computation and homotopical applications of induced crossed modules
Ronald Brown
,
Christopher D. Wensley
Journal Symbolic Computation
35
(1), 2003, pp. 59-72
Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors
Miroslav N. Velev
,
Randal E. Bryant
Journal Symbolic Computation
35
(2), 2003, pp. 73-106
Computing left Kan extensions
M.R. Bush
,
M. Leeming
,
R.F.C. Walters
Journal Symbolic Computation
35
(2), 2003, pp. 107-126
A database of categories
Michael Fleming
,
Ryan Gunther
,
Robert Rosebrugh
Journal Symbolic Computation
35
(2), 2003, pp. 127-135
Implementing finite structures in Mathematica via a skeletal topos of finite sets
Susan B. Niefield
Journal Symbolic Computation
35
(2), 2003, pp. 137-151
The term orderings which are compatible with composition II
Jinwang Liu
,
Zhuojun Liu
,
Mingsheng Wang
Journal Symbolic Computation
35
(2), 2003, pp. 153-168
A result on braids via the investigation of a rewriting system
Serge Burckel
Journal Symbolic Computation
35
(2), 2003, pp. 169-175
On the Gröbner bases of some symmetric systems and their application to coding theory
Teo Mora
,
Massimiliano Sala
Journal Symbolic Computation
35
(2), 2003, pp. 177-194
Constructive recognition of classical groups in their natural representation
Peter A. Brooksbank
Journal Symbolic Computation
35
(2), 2003, pp. 195-239
Automorphism group computation and isomorphism testing in finite groups
John J. Cannon
,
Derek F. Holt
Journal Symbolic Computation
35
(3), 2003, pp. 241-267
An algorithm to compute the set of characteristics of a system of polynomial equations over the integers
Rosemary Baines
,
Peter Vámos
Journal Symbolic Computation
35
(3), 2003, pp. 269-279
An elementary approach to subresultants theory
M'hammed El Kahoui
Journal Symbolic Computation
35
(3), 2003, pp. 281-292
A new elementary algorithm for proving
q
-hypergeometric identities
Bao-Yin Zhang
Journal Symbolic Computation
35
(3), 2003, pp. 293-303
Distributed Maple: Parallel computer algebra in networked environments
Wolfgang Schreiner
,
Christian Mittermaier
,
Karoly Bosa
Journal Symbolic Computation
35
(3), 2003, pp. 305-347
q
-MultiSum - A package for proving
q
-hypergeometric multiple summation identities
Axel Riese
Journal Symbolic Computation
35
(3), 2003, pp. 349-376
On lattice reduction for polynomial matrices
T. Mulders
,
A. Storjohann
Journal Symbolic Computation
35
(4), 2003, pp. 377-401
Modular algorithms for computing Gröbner bases
Elizabeth A. Arnold
Journal Symbolic Computation
35
(4), 2003, pp. 403-419
The affine primitive permutation groups of degree less than 1000
Colva M. Roney-Dougal
,
William R. Unger
Journal Symbolic Computation
35
(4), 2003, pp. 421-439
An algorithm for computing invariants of linear actions of algebraic groups up to a given degree
Thomas Bayer
Journal Symbolic Computation
35
(4), 2003, pp. 441-449
Some remarks on Fitzpatrick and Flynn's Gröbner basis technique for Padé approximation
John B. Little
,
David Ortiz
,
Ricardo Ortiz-Rosado
,
Rebecca Pablo
,
Karen Ríos-Soto
Journal Symbolic Computation
35
(4), 2003, pp. 451-461
A combined symbolic and numerical algorithm for the computation of zeros of orthogonal polynomials and special functions
Amparo Gil
,
Javier Segura
Journal Symbolic Computation
35
(5), 2003, pp. 465-485
An orderly linear PDE system with analytic initial conditions with a non-analytic solution
François Lemaire
Journal Symbolic Computation
35
(5), 2003, pp. 487-498
The integration of systems of linear PDEs using conservation laws of Syzygies
Thomas Wolf
Journal Symbolic Computation
35
(5), 2003, pp. 499-526
Seiten 1
2
>