Link identifier archive #link-archive-72779Embracing AI and Formalization: Experimenting with tomorrow's mathematical tools

Link identifier share facebook archive #share-link-archive-46580
Lunedì 2 dicembre 2024, alle ore 16.00, presso il Dipartimento di Matematica e Fisica (Aula M1 - Lungotevere Dante 376), si terrà il prossimo Colloquium di Matematica del prof. Jarod Alper (University of Washington) dal titolo…

Link identifier archive #link-archive-26648Partitions Detect Primes

Link identifier archive #link-archive-thumb-soap-50563
Partitions Detect Primes
Link identifier share facebook archive #share-link-archive-61639
Lunedì 14 ottobre 2024 alle ore 16:00, presso il Dipartimento di Matematica e Fisica, si terrà un colloquium di teoria dei numeri del prof. Ken Ono (University of Virginia) dal titolo "Partitions Detect Primes".               …

Link identifier archive #link-archive-64112Colloquium di Matematica: Laura DeMarco (Harvard)

Link identifier archive #link-archive-thumb-soap-58541
Colloquium di Matematica: Laura DeMarco (Harvard)
Link identifier share facebook archive #share-link-archive-66918
Venerdì 24 Maggio alle ore 14:30, Laura DeMarco (Harvard University), terrà il Colloquium di Matematica dal titolo "The Mandelbrot set: geometry and arithmetic".Abstract: The Mandelbrot set M has been studied for many years and continues to baffle mathematicians.…

Link identifier archive #link-archive-61100Colloquium di Matematica: On the abc Conjecture and some of its consequences

Link identifier archive #link-archive-thumb-soap-15286
Colloquium di Matematica: On the abc Conjecture and some of its consequences
Link identifier share facebook archive #share-link-archive-15011
Martedì 14 novembre alle ore 16:15, Michel Waldschmidt (Sorbonne University Institut Mathématique de Jussieu), terrà il Colloquium di Matematica dal titolo "On the abc Conjecture and some of its consequences".Abstract:According to Nature News, 10 September 2012, quoting Dorian Goldfeld, the abc Conjecture is…

Link identifier archive #link-archive-96981Dalle radici dell'unità a Manin-Mumford e oltre

Link identifier archive #link-archive-thumb-soap-66636
Dalle radici dell'unità a Manin-Mumford e oltre
Link identifier share facebook archive #share-link-archive-75068
Venerdì 24 giugno  alle ore 11:00, Umberto Zannier (Scuola Normale Superiore) , terrà il Colloquium di Matematica dal titolo "Dalle radici dell'unità a Manin-Mumford e oltre". (Un "survey" sulla teoria dei punti di torsione su gruppi algebrici).Abstract:Intendo presentare alcuni…

Link identifier archive #link-archive-11944Some simple distributed network processes

Link identifier share facebook archive #share-link-archive-87282
We will describe network processes in which, at each step, each node communicates with its neighbors, or a random subset of neighbors, and updates its state according to the outcome of these communications. We will…

Link identifier archive #link-archive-5455Mass, Scalar Curvature, Kähler Geometry, and All That

Link identifier share facebook archive #share-link-archive-21379
Given a complete Riemannian manifold that looks enough like Euclidean space at infinity, physicists have defined a quantity called the “mass” that measures the asymptotic deviation of the geometry from the Euclidean model. After first…

Link identifier archive #link-archive-6279Bose fields and Fermi fields in probability

Link identifier share facebook archive #share-link-archive-96038
We review some probabilistic interpretations of symmetric and skew-symmetric Fock spaces related to Markov processes. Most results will be presented in the simple context of finite graphs.

Link identifier archive #link-archive-39425Differential Program Semantics

Link identifier share facebook archive #share-link-archive-31581
Giving meaning to programs through axiomatic, denotational, and operational semantics is one of the main goals of theoretical computer science since its early days. Traditionally, program semantics is built around notions of program equivalence and…