Talks
Talks
- Computer Algebra Algorithms for Proving Jacobi Theta Function Relations
- The Distribution of Certain Restricted Numbers
- Introduction to Interactive Theorem Proving
- There exist Kobayashi hyperbolic hypersurfaces of all degrees $\geqslant 2N$ in ...
- Explicit examples of complete intersection varieties having ample cotangent bund...
- An introduction to the Fontaine-Mazur conjecture
- Patching and the Fontaine-Mazur conjecture
- On the De Gregorio model for 3D Euler equations
- Soliton resolution in dispersive equations
- Soliton resolution for energy critical wave equations
- Quantization and representation theory III
- Quantization and representation theory II
- Quantization and representation theory I
- Boomerany Connectivity Table: A New Cryptanalysis Tools
- A Survey on the CAESAR Finalist
- On the Dynamics of Opinions and Influence Systems
- On Dynamic Routing and Stochastic Surveillance
- Stationary solution to outflow/inflow problems to a symmetric system
- Critical Thresholds in Nonlinear Balance Laws
- Controllability despite boundary layers