Skip to content. | Skip to navigation

Personal tools

Theme for TIFR Centre For Applicable Mathematics, Bangalore


You are here: Home

Search results

2 items matching your search terms.
Filter the results.
Item type

New items since

Sort by relevance · date (newest first) · alphabetically
The Dimer Model in 3 dimensions
Nishant Chandgotia (TIFR-CAM)
Located in Events
A tool for autoformalization of mathematics in Lean
Speaker: Ashvni Narayanan (Imperial College, London)
Located in Events