Mark Jerrum, Alistair Sinclair (UC Berkeley) and Eric Vigoda (Georgia Tech) received the Association for Computing Machinery (ACM) Test of Time Award at a virtual ceremony on Wednesday 23 June at the ...
The Rocky Mountain Journal of Mathematics, Vol. 32, No. 2 (SUMMER 2002), pp. 589-605 (17 pages) We evaluate the determinant ${\det _{1 \leqslant i,j \leqslant n ...
With AlphaTensor, DeepMind Technologies has presented an AI system that is supposed to independently find novel, efficient and provably correct algorithms for complex mathematical tasks. AlphaTensor ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results