activity
20152020
most citedThe common-submatrix Laplace expansion

2 citations · 4 across the 2 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

math.CO2019

On the difficulty of proving P equals NP in ZFC

S. Gill Williamson

Harvey Friedman, in his remarkable paper Finite functions and the necessary use of large cardinals, Ann. Math. 148:803-893, 1998 and in a technical report, Applications of large ca…