Graph explorer Researcher

Around James V. Roggeveen

Every recorded relation of James V. Roggeveen, 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: PaperMeasuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verification