Passar para o conteúdo principal

Matemática

On the energy equality for solutions to Newtonian and non-Newtonian fluids

Por Hugo Beirão da Veiga (CMAFcIO e Università di Pisa).

Ler mais acerca de On the energy equality for solutions to Newtonian and non-Newtonian fluids

Turbulent solutions of the nonlinear Schrodinger equation: a link between the scattering theory and the Arnold diffusion

Por Nikolay Tzvetkov (Université de Cergy-Pontoise).

Ler mais acerca de Turbulent solutions of the nonlinear Schrodinger equation: a link between the scattering theory and the Arnold diffusion

Convergence of asymptotic systems of non-autonomous Hopfield neural network models with infinite distributed delays

Por José Oliveira (Universidade do Minho).

Ler mais acerca de Convergence of asymptotic systems of non-autonomous Hopfield neural network models with infinite distributed delays

Algebraic marvels in differential equations

An Informal Workshop on Differential Equations and Algebraic Geometry (February 18th - February 22nd 2019).

Alin Bostan, INRIA
Duco van Straten, Mainz
Eric Delaygue, Lyon
Fernando Rodriguez Villegas, ICTP
Herwig Hauser, Viena
Julien Roques, Grenoble
Michael Wibmer, Notre Dame
Orlando Neto, Lisboa

Ler mais acerca de Algebraic marvels in differential equations

Rigid local systems

An Informal Workshop on Differential Equations and Algebraic Geometry (January 28th - February 1st 2019).

First talk is an introductory talk by N. Katz.

The program is decided every day. This is an interactive workshop.

Nicholas Katz, Princeton
Antonio Rojas, Sevilla
Francisco Calderon, Sevilla
Herwig Hauser, Viena
Luis Narvaez, Sevilla
Orlando Neto, Lisboa
Pedro C. Silva, Lisboa

Ler mais acerca de Rigid local systems

Nonlinear Fokker-Planck equations and distribution dependent SDE

Por Michael Röckner (University of Bielefeld).

Ler mais acerca de Nonlinear Fokker-Planck equations and distribution dependent SDE

Decidability in logic via reduction

Por Cristina Sernadas (Instituto Superior Técnico, CMAFcIO).

Abstract: Some reduction techniques are presented for proving decidability of mathematical theories and of logic problems, along with relevant illustrations.