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: Author="Pasechnik, Dmitrii V."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Complexity of semi-algebraic proofs
Dima Grigoriev
,
Edward A. Hirsch
,
Dmitrii V. Pasechnik
Lecture Notes in Computer Science
2285
, 2002, pp. 419-430
Exponential lower bound for static semi-algebraic proofs
Dima Grigoriev
,
Edward A. Hirsch
,
Dmitrii V. Pasechnik
Lecture Notes in Computer Science
2380
, 2002, pp. 257-268
Complexity of semi-algebraic proofs
Dima Grigoriev
,
Edward A. Hirsch
,
Dmitrii V. Pasechnik
Technical Report (TR01-103), 2001
On computing Hilbert bases via the Elliot-MacMahon algorithm
Dmitrii V. Pasechnik
Theoretical Computer Science
263
(1-2), 2001, pp. 37-46
Extending polar spaces of rank at least 3
Dmitrii V. Pasechnik
Journal of Combinatorial Theory Series A
72
(2), 1995, pp. 232-242
Geometric characterization of the sporadic groups
Fi_{22}
,
Fi_{23}
, and
Fi_{24}
Dmitrii V. Pasechnik
Journal of Combinatorial Theory Series A
68
(1), 1994, pp. 100-114