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=45
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Anti-patterns for rule-based languages
Horatiu Cirstea
,
Claude Kirchner
,
Radu Kopetz
,
Pierre-Etienne Moreau
Journal Symbolic Computation
45
(5), 2010, pp. 523-550
Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications
Masaki Nakamura
,
Kazuhiro Ogata
,
Kokichi Futatsugi
Journal Symbolic Computation
45
(5), 2010, pp. 551-573
Equational approximations for tree automata completion
Thomas Genet
,
Vlad Rusu
Journal Symbolic Computation
45
(5), 2010, pp. 574-597
External and internal syntax of the
\lambda
-calculus
Masahiko Sato
,
Randy Pollack
Journal Symbolic Computation
45
(5), 2010, pp. 598-616
Bounds on absolute positiveness of multivariate polynomials
Prashant Batra
,
Vikram Sharma
Journal Symbolic Computation
45
(6), 2010, pp. 617-628
Solving the conjugacy problem in Garside groups by cyclic sliding
Volker Gebhardt
,
Juan González-Meneses
Journal Symbolic Computation
45
(6), 2010, pp. 629-656
On convolutions of algebraic curves
Jan Vrs̑ek
,
Miroslav Lávic̑ka
Journal Symbolic Computation
45
(6), 2010, pp. 657-676
Faster algorithms for computing Hong's bound on absolute positiveness
Kurt Mehlhorn
,
Saurabh Ray
Journal Symbolic Computation
45
(6), 2010, pp. 677-683
Polynomial ring automorphisms, rational
(w,\sigma)
-canonical forms, and the assignment problem
S.A. Abramov
,
M. Petkovs̑ek
Journal Symbolic Computation
45
(6), 2010, pp. 684-708
The invariants of the binary nonic
Andries E. Brouwer
,
Mihaela Popoviciu
Journal Symbolic Computation
45
(6), 2010, pp. 709-720
The weight distributions of cyclic codes with two zeros and zeta functions
Nigel Boston
,
Gary McGuire
Journal Symbolic Computation
45
(7), 2010, pp. 723-733
Algebraic geometry codes from polyhedral divisors
Nathan Owen Ilten
,
Hendrik Süß
Journal Symbolic Computation
45
(7), 2010, pp. 734-756
Decoding by rank-2 bundles over plane quartics
Drue Coles
,
Emma Previato
Journal Symbolic Computation
45
(7), 2010, pp. 757-772
Key equations for list decoding of Reed-Solomon codes and how to solve them
Peter Beelen
,
Kristian Brander
Journal Symbolic Computation
45
(7), 2010, pp. 773-786
Formally self-dual additive codes over
\mathbb{F}_4
Sunghyu Han
,
Jon-Lark Kim
Journal Symbolic Computation
45
(7), 2010, pp. 787-799
Binary codes from the line graph of the
n
-cube
W. Fish
,
J.D. Key
,
E. Mwambene
Journal Symbolic Computation
45
(7), 2010, pp. 800-812
Quotients of Gaussian graphs and their application to perfect codes
C. Martínez
,
R. Beivide
,
C. Camarero
,
E. Stafford
,
E.M. Gabidulin
Journal Symbolic Computation
45
(7), 2010, pp. 813-824
Elliptic Gauss sums and applications to point counting
Preda Mihăilescu
,
Victor Vuletescu
Journal Symbolic Computation
45
(8), 2010, pp. 825-836
The invariants of the binary decimic
Andries E. Brouwer
,
Mihaela Popoviciu
Journal Symbolic Computation
45
(8), 2010, pp. 837-843
Rational rotation-minimizing frames on polynomial space curves of arbitrary degree
Rida T. Farouki
,
Takis Sakkalis
Journal Symbolic Computation
45
(8), 2010, pp. 844-856
Newton's method and FFT trading
Joris van der Hoeven
Journal Symbolic Computation
45
(8), 2010, pp. 857-878
Approximate polynomial GCD: Small degree and small height perturbations
Joachim von zur Gathen
,
Maurice Mignotte
,
Igor E. Shparlinski
Journal Symbolic Computation
45
(8), 2010, pp. 879-886
Normalization of rings
Gert-Martin Greuel
,
Santiago Laplagne
,
Frank Seelisch
Journal Symbolic Computation
45
(9), 2010, pp. 887-901
Algorithms for solving linear systems over cyclotomic fields
Liang Chen
,
Michael Monagan
Journal Symbolic Computation
45
(9), 2010, pp. 902-917
Looking for Gröbner basis theory for (almost) skew 2-nomial algebras
Huishi Li
Journal Symbolic Computation
45
(9), 2010, pp. 918-942
Seiten
<
1
2
3
4
>