Lars Hörmander

GPTKB entity