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=29
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Using rewriting systems to compute left Kan extensions and induced actions of categories
Ronald Brown
,
Anne Heyworth
Journal Symbolic Computation
29
(1), 2000, pp. 5-31
Fast constructive recognition of a black box group isomorphic to
S_n
or
A_n
using Goldbach's conjecture
Sergey Bratus
,
Igor Pak
Journal Symbolic Computation
29
(1), 2000, pp. 33-57
An algorithmic approach to fundamental groups and covers of combinatorial cell complexes
Sarah Rees
,
Leonard H. Soicher
Journal Symbolic Computation
29
(1), 2000, pp. 59-77
A formula for the general solution of a constant-coefficient difference equation
D.A. Wolfram
Journal Symbolic Computation
29
(1), 2000, pp. 79-82
SFA, a package on symmetric functions considered as operators over the ring of polynomials for the computer algebra system Maple
Vincent Prosper
Journal Symbolic Computation
29
(1), 2000, pp. 83-94
Symbolic computation and differential equations: Lie symmetries
John Carminati
,
Khai Vu
Journal Symbolic Computation
29
(1), 2000, pp. 95-116
Theorem proving techniques for view deletion in databases
Chandrabose Aravindan
,
Peter Baumgartner
Journal Symbolic Computation
29
(2), 2000, pp. 119-147
Cut-elimination and redundancy-elimination by resolution
Matthias Baaz
,
Alexander Leitsch
Journal Symbolic Computation
29
(2), 2000, pp. 149-176
Combining enumeration and deductive techniques in order to increase the class of constructible infinite models
Ricardo Caferra
,
Nicolas Peltier
Journal Symbolic Computation
29
(2), 2000, pp. 177-211
Speeding up algorithms on atomic representations of Herbrand models via new redundancy criteria
Reinhard Pichler
Journal Symbolic Computation
29
(2), 2000, pp. 213-257
Goals and benchmarks for automated map reasoning
Andrea Formisano
,
Eugenio G. Omodeo
,
Marco Temperini
Journal Symbolic Computation
29
(2), 2000, pp. 259-297
Controlled use of clausal lemmas in connection tableau calculi
Marc Fuchs
Journal Symbolic Computation
29
(2), 2000, pp. 299-341
Tableau methods for a logic with term declarations
P.J. Martin
,
A. Gavilanes
,
J. Leach
Journal Symbolic Computation
29
(2), 2000, pp. 343-372
Connection calculus theorem proving with multiple built-in theories
Uwe Petermann
Journal Symbolic Computation
29
(2), 2000, pp. 373-392
An algorithm for computing a new normal form for dynamical systems
Guoting Chen
,
Jean Della Dora
Journal Symbolic Computation
29
(3), 2000, pp. 393-418
On the validity of implicitization by moving quadrics for rational surfaces with no base points
David Cox
,
Ronald Goldman
,
Ming Zhang
Journal Symbolic Computation
29
(3), 2000, pp. 419-440
Efficient decomposition of associative algebras over finite fields
W. Eberly
,
M. Giesbrecht
Journal Symbolic Computation
29
(3), 2000, pp. 441-458
On rational geometry of conic sections
Graziano Gentili
,
Michael A. O'Connor
Journal Symbolic Computation
29
(3), 2000, pp. 459-470
Solving systems of strict polynomial inequalities
A. Strzeboński
Journal Symbolic Computation
29
(3), 2000, pp. 471-480
Symmetries of polynomials
Irina Berchenko
,
Peter J. Olver
Journal Symbolic Computation
29
(4-5), 2000, pp. 485-514
Generalized resultants over unirational algebraic varieties
Laurent Busé
,
Mohamed Elkadi
,
Bernard Mourrain
Journal Symbolic Computation
29
(4-5), 2000, pp. 515-526
Applications of some properties of the canonical module in computational projective algebraic geometry
Marc Chardin
Journal Symbolic Computation
29
(4-5), 2000, pp. 527-544
Non-general type surfaces in
P^4
: Some remarks on bounds and constructions
Wolfram Decker
,
Frank-Olaf Schreyer
Journal Symbolic Computation
29
(4-5), 2000, pp. 545-582
Cohomology on toric varieties and local cohomology with monomial supports
David Eisenbud
,
Mircea Mustaţă
,
Mike Stillman
Journal Symbolic Computation
29
(4-5), 2000, pp. 583-600
Multiplicative bases, Gröbner bases, and right Gröbner bases
Edward L. Green
Journal Symbolic Computation
29
(4-5), 2000, pp. 601-623
Seiten 1
2
>