2 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.DC2014
Pentago is a First Player Win: Strongly Solving a Game Using Parallel In-Core Retrograde Analysis
Geoffrey Irving
We present a strong solution of the board game pentago, computed using exhaustive parallel retrograde analysis in 4 hours on 98304 () threads of NERSC's Cray Ediso…
cs.CG2013★ 2 cited
A deterministic pseudorandom perturbation scheme for arbitrary polynomial predicates
Geoffrey Irving, Forrest Green
We present a symbolic perturbation scheme for arbitrary polynomial geometric predicates which combines the benefits of Emiris and Canny's simple randomized linear perturbation sche…
math.NA2011★ 1 cited
Banded Householder representation of linear subspaces
Geoffrey Irving
We show how to compactly represent any -dimensional subspace of as a banded product of Householder reflections using floating point numbers. This is optimal sin…