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=42
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On the probability distribution of singular varieties of given corank
Carlos Beltrán
,
Luis Miguel Pardo
Journal Symbolic Computation
42
(1-2), 2007, pp. 4-29
Efficiency improvement in an
n
D systems approach to polynomial optimization
Ivo Bleylevens
,
Ralf Peeters
,
Bernard Hanzon
Journal Symbolic Computation
42
(1-2), 2007, pp. 30-53
Computing tropical varieties
T. Bogart
,
A.N. Jensen
,
D. Speyer
,
B. Sturmfels
,
R.R. Thomas
Journal Symbolic Computation
42
(1-2), 2007, pp. 54-73
Simplicial cycles and the computation of simplicial trees
Massimo Caboara
,
Sara Faridi
,
Peter Selinger
Journal Symbolic Computation
42
(1-2), 2007, pp. 74-88
Equisingular calculations for plane curve singularities
Antonio Campillo
,
Gert-Martin Greuel
,
Christoph Lossen
Journal Symbolic Computation
42
(1-2), 2007, pp. 89-114
Restriction of
A
-discriminants and dual defect toric varieties
Raymond Curran
,
Eduardo Cattani
Journal Symbolic Computation
42
(1-2), 2007, pp. 115-135
On the geometry of parametrized bicubic surfaces
A. Galligo
,
M. Stillman
Journal Symbolic Computation
42
(1-2), 2007, pp. 136-158
Improving the algorithms of Berlekamp and Niederreiter for factoring polynomials over finite fields
Giulio Genovese
Journal Symbolic Computation
42
(1-2), 2007, pp. 159-177
Standard bases for local rings of branches and their modules of differentials
A. Hefez
,
M.E. Hernandes
Journal Symbolic Computation
42
(1-2), 2007, pp. 178-191
Computing the characteristic numbers of the variety of nodal plane cubics in
\mathbb{P}^3
Xavier Hernández
,
Josep M. Miret
,
Sebastià Xambó-Descamps
Journal Symbolic Computation
42
(1-2), 2007, pp. 192-202
Rational invariants of a group action. Construction and rewriting
Evelyne Hubert
,
Irina A. Kogan
Journal Symbolic Computation
42
(1-2), 2007, pp. 203-217
Computing multihomogeneous resultants using straight-line programs
Gabriela Jeronimo
,
Juan Sabia
Journal Symbolic Computation
42
(1-2), 2007, pp. 218-235
Around the numeric-symbolic computation of differential Galois groups
Joris van der Hoeven
Journal Symbolic Computation
42
(1-2), 2007, pp. 236-264
Mathscape and molecular integrals
Michael P. Barnett
Journal Symbolic Computation
42
(3), 2007, pp. 265-289
An elementary proof of Sylvester's double sums for subresultants
Carlos D'Andrea
,
Hoon Hong
,
Teresa Krick
,
Agnes Szanto
Journal Symbolic Computation
42
(3), 2007, pp. 290-297
The generic Gröbner walk
K. Fukuda
,
A.N. Jensen
,
N. Lauritzen
,
R. Thomas
Journal Symbolic Computation
42
(3), 2007, pp. 298-312
Computing obstructions for existence of connections on modules
Eivind Eriksen
,
Trond Stlen Gustavsen
Journal Symbolic Computation
42
(3), 2007, pp. 313-323
Multiple object semilinear motion planning
Andreas Dolzmann
,
Volker Weispfenning
Journal Symbolic Computation
42
(3), 2007, pp. 324-337
Local shape of offsets to algebraic curves
Juan Gerardo Alcazar
,
Juan Rafael Sendra
Journal Symbolic Computation
42
(3), 2007, pp. 338-351
Solving equations with sequence variables and sequence functions
Temur Kutsia
Journal Symbolic Computation
42
(3), 2007, pp. 352-388
Efficient accelero-summation of holonomic functions
Joris van der Hoeven
Journal Symbolic Computation
42
(4), 2007, pp. 389-428
An example of relations on the Ext-quiver for the Suzuki group Sz(8) in characteristic 2
Hitoshi Koshita
Journal Symbolic Computation
42
(4), 2007, pp. 429-442
Generating all polynomial invariants in simple loops
E. Rodríguez-Carbonell
,
D. Kapur
Journal Symbolic Computation
42
(4), 2007, pp. 443-476
Improved dense multivariate polynomial factorization algorithms
Grégoire Lecerf
Journal Symbolic Computation
42
(4), 2007, pp. 477-494
Computing the fine structure of real reductive symmetric spaces
Jennifer R. Daniel
,
Aloysius G. Helminck
Journal Symbolic Computation
42
(5), 2007, pp. 497-510
Seiten 1
2
3
>