Skip to main content

Search form

Search

$European Mathematical Society »$

European Mathematical Society

News
Inside EMS
Membership
- Individual Members
- Corporate members
Jobs
Services
Scientific Activities
Publishing House
Solidarity
- Travel Grants
- Event Funding Requests

Gilles Dowek

Computation, Proof, Machine. Mathematics Enters a New Age

Submitted by Adhemar Bultheel | 17 / Aug / 2015

Read more about Computation, Proof, Machine. Mathematics Enters a New Age

News

Recent News
e-News
EMS Newsletter
News archive

Inside EMS

Governance
Committees
From the President
Meetings of Presidents
Agenda

Membership

Individual Members
Corporate members

Jobs

Job List
Job Map
European Advertisements
MathHire

Services

Event List
Event Calendar
Book Reviews
Mathematics-in-Europe
EU-MATHS-IN
Funding and Sponsorship
Outlook Reports
Discussion Forum
EuDML

Digital Resources

zbMath
Jahrbuch
EuDML
Encyclopedia EoM
ECM Proceedings

Scientific Activities

EMS Scientific Activities
Calls
European Congress of Mathematics (ECM)
EMS prizes
EMS-Simons for Africa

Publishing House

Journals
Books
Code of Practice

EMS Secretariat

Mailing address:
Department of Mathematics and Statistics
P.O.Box 68
00014 University of Helsinki, Finland

Visiting address:
Pietari Kalmin katu 5

ems-office[at]helsinki.fi

Contact
Privacy
Conditions
Industrial activity
Copyright © 2014
Useful links

Hosted by: University of Helsinki