Mathematical Proofs Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Horia Cornean
Aalborg University Denmark
mathematics
mathematical analysis
mathematical physics
applied mathematics
View Professor Profile
Professor
Professor Profile
Stephen Watson
York University Canada
machine-proving
applied mathematics
mathematical economics
pure mathematics
View Professor Profile
Professor
Professor Profile
Victor Adamchik
University of Southern California United States of America
computational mathematics
automated theorem proving
experimental mathematics
discrete mathematics
View Professor Profile
Professor
Professor Profile
Revantha Ramanayake
University of Groningen Netherlands
proof theory
proof assistants
automated theorem proving
View Professor Profile
Professor
Professor Profile
Wilfried Sieg
Carnegie Mellon University United States of America
proof theory
mathematical logic
foundations of mathematics
View Professor Profile
Professor
Professor Profile
Christiane Tretter
University of Bern Switzerland
mathematical theories
mathematics
mathematical applications
View Professor Profile
Professor
Professor Profile
Arne Jensen
Aalborg University Denmark
mathematics
mathematical analysis
mathematical physics
View Professor Profile
Professor
Professor Profile
Sergei Gukov
California Institute of Technology United States of America
mathematics
mathematical physics
automated theorem proving
View Professor Profile
Professor
Professor Profile
Maximilian Engel
University of Amsterdam Netherlands
mathematics
theoretical mathematics
applied mathematics
View Professor Profile
Professor
Professor Profile
Ewain Gwynne
University of Chicago United States of America
mathematics
mathematical analysis
mathematical physics
View Professor Profile
Professor
Professor Profile
Filip Rindler
University of Warwick United Kingdom
theoretical mathematics
mathematical analysis
applied mathematics
View Professor Profile
Professor
Professor Profile
Deborah Cromer
University of New South Wales Australia
mathematics
mathematical modelling
mathematical biology
View Professor Profile
Professor
Professor Profile
Filip Rindler
University of Warwick United Kingdom
theoretical mathematics
mathematical analysis
applied mathematics
View Professor Profile
Professor
Professor Profile
Sherry Gong
Texas A&M University United States of America
mathematical analysis
mathematical modeling
applied mathematics
View Professor Profile
Professor
Professor Profile
Habib Ammari
ETH Zurich Switzerland
mathematical modeling
computational mathematics
applied mathematics
View Professor Profile
Professor
Professor Profile
James Rowbottom
University of Cambridge United Kingdom
mathematics
applied mathematics
theoretical physics
View Professor Profile
Professor
Professor Profile
Kang Li
Friedrich-Alexander-Universität Erlangen-Nürnberg Germany
mathematical modeling
computational mathematics
applied mathematics
View Professor Profile
Professor
Professor Profile
Olav Geil
Aalborg University Denmark
mathematics
computational mathematics
discrete mathematics
View Professor Profile
Professor
Professor Profile
Menny Ginosar
ETH Zurich Switzerland
mathematical modeling
computational mathematics
applied mathematics
View Professor Profile
Professor
Professor Profile
Michael Holst
University of California, San Diego United States of America
mathematical physics
mathematical modeling
mathematical biology
View Professor Profile
Professor
Professor Profile
Andrea Bertozzi
University of California Los Angeles United States of America
computational mathematics
applied mathematics
mathematical biology
View Professor Profile
First
Prev
Page 1 | 4466 Results
Next