BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Vrije Universiteit Amsterdam//NONSGML v1.0//EN
NAME:Inaugural lecture prof.dr. A.S. Mahboubi
METHOD:PUBLISH
BEGIN:VEVENT
DTSTART:20230426T154500
DTEND:20230426T164500
DTSTAMP:20230426T154500
UID:2023/inaugural-lecture-prof-dr@8F96275E-9F55-4B3F-A143-836282E12573
CREATED:20231002T170300
LOCATION:VU Aula De Boelelaan 1105 1081 HV Amsterdam
SUMMARY:Inaugural lecture prof.dr. A.S. Mahboubi
X-ALT-DESC;FMTTYPE=text/html:
Computer Assisted Math
ematics

### Explore, abstract, compute, verify, can we do (all) m
athematics by computer?

Computers have changed the face of res
earch in mathematics says professor Automated math Assia Mahboubi in
her lecture. We use them to observe and conjecture, but also to inven
t patterns, and to substantiate proof steps. The boom of computer-
aided mathematics, in the making, in proofs and in applications, owes
much to the stunning progress in the art of computing and programmin
g.

A wide corpus exist today of sophisticated methods
for constructing and for estimating mathematical objects, developed i
n par with their implementation in actual software. Computer-aided
hunches but also actual computer-aided proofs, pervade all fields of
mathematics, and this impacts us all. For instance, the advent of
digital communication channels has turned number theory, one of the
most ancient branch of mathematics, into the pillar of modern coding
theory and cryptography. And spectacular applications in security
and privacy followed. But how do we trust computers when the
y are doing mathematics? Are humans and computer talking the same lan
guage of mathematics? Mahboubi gives the answers in her lecture.

DESCRIPTION: ### Explore, abstract, compute, verify, can we do (all) m
athematics by computer?

Computers have changed the face of resea
rch in mathematics says professor Automated math Assia Mahboubi in he
r lecture. We use them to observe and conjecture, but also to invent
patterns, and to substantiate proof steps. The boom of computer-ai
ded mathematics, in the making, in proofs and in applications, owes m
uch to the stunning progress in the art of computing and programming�
��. A wide corpus exist today of sophisticated methods for cons
tructing and for estimating mathematical objects, developed in par wi
th their implementation in actual software. Computer-aided hunches
but also actual computer-aided proofs, pervade all fields of mathema
tics, and this impacts us all. For instance, the advent of digital
communication channels has turned number theory, one of the most anc
ient branch of mathematics, into the pillar of modern coding theory a
nd cryptography. And spectacular applications in security and priv
acy followed. But how do we trust computers when they are do
ing mathematics? Are humans and computer talking the same language of
mathematics? Mahboubi gives the answers in her lecture. Computer Ass
isted Mathematics
END:VEVENT
END:VCALENDAR