Mathematical theory 1970-01-01
Michael Harris (mathematician) 1970-01-01
OpenMath 1970-01-01
Polymath Project 1970-01-01
UTOPIA (bioinformatics tools) 1970-01-01
Valerie Myerscough 1970-01-01
Valery Rubakov 1970-01-01
Andrew Sutherland (mathematician) 1970-01-01
Article proofs 1970-01-01
Articles containing proofs 1970-01-01
Barry Pennington 1970-01-01
Mathematical cognition researchers 1970-01-01
Metatheorem 1970-01-01
Modulo (mathematics) 1970-01-01
Yuri Linnik 1970-01-01
National Nuclear Safety Administration 1970-01-01
Q.E.D. 1970-01-01
Rigour 1970-01-01
Valery Shumakov 1970-01-01