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=2011
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A local construction of the Smith normal form of a matrix polynomial
Jon Wilkening
,
Jia Yu
Journal Symbolic Computation
46
(1), 2011, pp. 1-22
Chern numbers of smooth varieties via homotopy continuation and intersection theory
Sandra Di Rocco
,
David Eklund
,
Chris Peterson
,
Andrew J. Sommese
Journal Symbolic Computation
46
(1), 2011, pp. 23-33
Computing symmetric rank for symmetric tensors
Alessandra Bernardi
,
Alessandro Gimigliano
,
Monica Idà
Journal Symbolic Computation
46
(1), 2011, pp. 34-53
Solving genus zero Diophantine equations over number fields
Paraskevas Alvanos
,
Dimitrios Poulakis
Journal Symbolic Computation
46
(1), 2011, pp. 54-69
A deterministic algorithm for isolating real roots of a real polynomial
Kurt Mehlhorn
,
Michael Sagraloff
Journal Symbolic Computation
46
(1), 2011, pp. 70-90
Corrigendum to ``Linear complete differential resultants and the implicitization of linear DPPEs''
Sonia L. Rueda
,
J. Rafael Sendra
Journal Symbolic Computation
46
(1), 2011, pp. 91-92
Trace-based verification of imperative programs with I/O
Gregory Malecha
,
Greg Morrisett
,
Ryan Wisnesky
Journal Symbolic Computation
46
(2), 2011, pp. 95-118
An accessible verification environment for UML models of services
Federico Banti
,
Rosario Pugliese
,
Francesco Tiezzi
Journal Symbolic Computation
46
(2), 2011, pp. 119-149
Static consistency checking of web applications with WebDSL
Zef Hemel
,
Danny M. Groenewegen
,
Lennart C.L. Kats
,
Eelco Visser
Journal Symbolic Computation
46
(2), 2011, pp. 150-182
Verifying the consistency of web-based technical documentations
Christian Schönberg
,
Franz Weitl
,
Burkhard Freitag
Journal Symbolic Computation
46
(2), 2011, pp. 183-206
Providing RIA user interfaces with accessibility properties
Marino Linaje
,
Adolfo Lozano-Tello
,
Miguel A. Perez-Toledano
,
Juan Carlos Preciado
,
Roberto Rodriguez-Echeverria
,
Fernando Sanchez-Figueroa
Journal Symbolic Computation
46
(2), 2011, pp. 207-217
A lattice-theoretical perspective on adhesive categories
Paolo Baldan
,
Filippo Bonchi
,
Andrea Corradini
,
Tobias Heindel
,
Barbara König
Journal Symbolic Computation
46
(3), 2011, pp. 222-245
How to delete categorically - Two pushout complement constructions
Benjamin Braatz
,
Ulrike Golas
,
Thomas Soboll
Journal Symbolic Computation
46
(3), 2011, pp. 246-271
Cartesian effect categories are Freyd-categories
Jean-Guillaume Dumas
,
Dominique Duval
,
Jean-Claude Reynaud
Journal Symbolic Computation
46
(3), 2011, pp. 272-293
Symbolic graphs for attributed graph constraints
Fernando Orejas
Journal Symbolic Computation
46
(3), 2011, pp. 294-315
A categorical framework for the transformation of object-oriented systems: Models and data
Christoph Schulz
,
Michael Löwe
,
Harald König
Journal Symbolic Computation
46
(3), 2011, pp. 316-337
Meta-expansion of transseries
Joris van der Hoeven
Journal Symbolic Computation
46
(4), 2011, pp. 339-359
Computing group cohomology rings from the Lyndon-Hochschild-Serre spectral sequence
Graham Ellis
,
Paul Smith
Journal Symbolic Computation
46
(4), 2011, pp. 360-370
Constructive homomorphisms for classical groups
Scott H. Murray
,
Colva M. Roney-Dougal
Journal Symbolic Computation
46
(4), 2011, pp. 371-384
Sylvester double sums and subresultants
Marie-Françoise Roy
,
Aviva Szpirglas
Journal Symbolic Computation
46
(4), 2011, pp. 385-395
Gröbner basis of the alternating Galoisian ideal
Annick Valibouze
Journal Symbolic Computation
46
(4), 2011, pp. 396-405
Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree (1,1): Algorithms and complexity
Jean-Charles Faugère
,
Mohab Safey El Din
,
Pierre-Jean Spaenlehauer
Journal Symbolic Computation
46
(4), 2011, pp. 406-437
Computing representatives of nilpotent orbits of
\theta
-groups
Willem A. de Graaf
Journal Symbolic Computation
46
(4), 2011, pp. 438-458
Artificial discontinuities of single-parametric Gröbner bases
Jean-Charles Faugère
,
Ye Liang
Journal Symbolic Computation
46
(4), 2011, pp. 459-466
A complete, exact and efficient implementation for computing the edge-adjacency graph of an arrangement of quadrics
Michael Hemmer
,
Laurent Dupont
,
Sylvain Petitjean
,
Elmar Schömer
Journal Symbolic Computation
46
(4), 2011, pp. 467-494
Seiten 1
2
3
4
>