Differential Equations

Upcoming events

Toward Reliable AI-Assisted Mathematics

Qihao Ye · Columbia University

Wed, Sep 23, 2026 · 10:00 America/New_York

Qihao Ye examines practical, affordable ways for individual mathematicians to use AI in literature searches, proof development and verification. The talk identifies seven recurring failure modes and introduces the open-source QED multi-agent system designed to address them. A case study on constructing Carleman weights for wave equations on the half-line shows how automated search can be combined with a researcher’s mathematical insight and rigorous checking. The organizer links both the implementation and the accompanying research paper. Online via Rutgers DIMACS Zoom. Wednesday 23 September 2026, 10:00–11:00 EDT (America/New_York; UTC−4). Use the Zoom link and passcode on the official event page. Organized by the DIMACS AI and Mathematics Seminar. This listing advertises the verified remote attendance option.

mathematical proofAI-assisted mathematics+1 moreSeries: Rutgers DIMACS

Thu, Sep 24, 2026 · 11:00 Europe/Rome

Antonio Pedro Ramos examines point-evaluation bounds for integrable functions of spherical exponential type in the multivariable Paley–Wiener space. Radial extremizers connect the problem to a weighted space in one variable. The talk establishes a third-order linear differential equation with polynomial coefficients in every dimension, extending the previously known odd-dimensional result. It also develops interpolation and reciprocal identities using the extremizer’s zeros. The research is joint work with Felipe Gonçalves and Danylo Radchenko.

Thu, Sep 24, 2026 · 15:00 America/New_York

Leonid Berlyand discusses mathematical models for the onset of cell motion driven by myosin contraction. A two-dimensional free-boundary PDE model links cell-shape evolution to diffusion and Keller–Segel-type transport. The talk examines linear stability, a stability-determining eigenvalue and the way nonlinear diffusion changes the bifurcation from supercritical to subcritical. It also considers the curvature of the bifurcation curve, connections to bistability, and the role of non-self-adjoint operators. An example illustrates why a spectral gap alone need not guarantee stability. This is an in-person Analysis of Fluids and Related Topics seminar at Princeton.

active matterpartial differential equations+1 moreSeries: Princeton University

Recordings

No recordings listed.

Open deadlines

Stockholm University's Department of Mathematics is recruiting a postdoctoral fellow to develop numerical time-stepping methods for glacial ice dynamics. The project connects computational mathematics, continuum modeling and climate-response questions through efficient and reliable simulation methods.

Recent changes

Toward Reliable AI-Assisted Mathematics

Qihao Ye · Columbia University

Wed, Sep 23, 2026 · 10:00 America/New_York

Qihao Ye examines practical, affordable ways for individual mathematicians to use AI in literature searches, proof development and verification. The talk identifies seven recurring failure modes and introduces the open-source QED multi-agent system designed to address them. A case study on constructing Carleman weights for wave equations on the half-line shows how automated search can be combined with a researcher’s mathematical insight and rigorous checking. The organizer links both the implementation and the accompanying research paper. Online via Rutgers DIMACS Zoom. Wednesday 23 September 2026, 10:00–11:00 EDT (America/New_York; UTC−4). Use the Zoom link and passcode on the official event page. Organized by the DIMACS AI and Mathematics Seminar. This listing advertises the verified remote attendance option.

mathematical proofAI-assisted mathematics+1 moreSeries: Rutgers DIMACS

Thu, Sep 24, 2026 · 15:00 America/New_York

Leonid Berlyand discusses mathematical models for the onset of cell motion driven by myosin contraction. A two-dimensional free-boundary PDE model links cell-shape evolution to diffusion and Keller–Segel-type transport. The talk examines linear stability, a stability-determining eigenvalue and the way nonlinear diffusion changes the bifurcation from supercritical to subcritical. It also considers the curvature of the bifurcation curve, connections to bistability, and the role of non-self-adjoint operators. An example illustrates why a spectral gap alone need not guarantee stability. This is an in-person Analysis of Fluids and Related Topics seminar at Princeton.

active matterpartial differential equations+1 moreSeries: Princeton University

Thu, Sep 24, 2026 · 11:00 Europe/Rome

Antonio Pedro Ramos examines point-evaluation bounds for integrable functions of spherical exponential type in the multivariable Paley–Wiener space. Radial extremizers connect the problem to a weighted space in one variable. The talk establishes a third-order linear differential equation with polynomial coefficients in every dimension, extending the previously known odd-dimensional result. It also develops interpolation and reciprocal identities using the extremizer’s zeros. The research is joint work with Felipe Gonçalves and Danylo Radchenko.

We use essential cookies to run the site. Optional analytics and public-page session replay help us improve World Wide. Learn more.