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=67
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Weight ideals associated to regular and log-linear arrays
Jeremiah W. Johnson
Journal Symbolic Computation
67
, 2015, pp. 1-15
Point equivalence of second-order ODEs: Maximal invariant classification order
Robert Milson
,
Francis Valiquette
Journal Symbolic Computation
67
, 2015, pp. 16-41
Regular expression order-sorted unification and matching
Temur Kutsia
,
Mircea Marin
Journal Symbolic Computation
67
, 2015, pp. 42-67
A generalisation of Miller's algorithm and applications to pairing computations on Abelian varieties
David Lubicz
,
Damien Robert
Journal Symbolic Computation
67
, 2015, pp. 68-92
Bottom-up rewriting for words and terms
I. Durand
,
G. Sénizergues
Journal Symbolic Computation
67
, 2015, pp. 93-121