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=48
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Invariant functions and invariant relations: An alternative to invariant assertions
Lamia Labed Jilani
,
Olfa Mraihi
,
Asma Louhichi
,
Wided Ghardallou
,
Khaled Bsaies
,
Ali Mili
Journal Symbolic Computation
48
, 2013, pp. 1-36
Gröbner-free normal forms for Boolean polynomials
Michael Brickenstein
,
Alexander Dreyer
Journal Symbolic Computation
48
, 2013, pp. 37-53
Gröbner basis for norm-trace codes
J.I. Farrán
,
C. Munuera
,
G. Tizziotti
,
F. Torres
Journal Symbolic Computation
48
, 2013, pp. 54-63
On symplectically rigid local systems of rank four and Calabi-Yau operators
Michael Bogner
,
Stefan Reiter
Journal Symbolic Computation
48
, 2013, pp. 64-100
Minimal generating sets of non-modular invariant rings of finite groups
Simon A. King
Journal Symbolic Computation
48
, 2013, pp. 101-109
Skew polynomial rings, Gröbner bases and the letterplace embedding of the free associative algebra
Roberto La Scala
,
Viktor Levandovskyy
Journal Symbolic Computation
48
, 2013, pp. 110-131