Graph explorer Researcher

Around Jae-Hyun Baek

Every recorded relation of Jae-Hyun Baek, coloured by entity type. Click a node to open it.

Depth 1 Depth 2

2 nodes · 1 edges

Direct relations, as a list

Authored 1: PaperFormalizing building-up constructions of self-dual codes through isotropic lines in Lean