Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

3K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

Terence Tao

The workshop on (which I am the lead organizer of) starts in less than an hour: ipam.ucla.edu/programs/worksho . As an experiment, I plan to make some occasional posts on the workshop as comments to this post. (UPDATE: the workshop has now concluded, and videos of the talks are available at youtube.com/@IPAMUCLA/videos .)

IPAMMachine Assisted Proofs - IPAMMachine Assisted Proofs
Feb 13, 2023, 03:41 PM·Public·Web
40boosts·74favorites
SearchLive feeds
About