Passar para o conteúdo principal

CMAFcIO

From axioms to synthetic inference rules via focusing

Mathematical Logic Seminar, por Elaine Pimentel (University College London).

Ler mais acerca de From axioms to synthetic inference rules via focusing

The quantum Witten-Kontsevich series

Geometry & Physics Seminar, por Xavier Blot (GFM-UL).

Ler mais acerca de The quantum Witten-Kontsevich series

What if worlds could vary?

Mathematical Logic Seminar, por Bruno Dinis (Universidade de Évora).

Ler mais acerca de What if worlds could vary?

Continuity and regularity improvement for maximal operators at the derivative level

Lisbon Webinar in Analysis and Differential Equations, por Cristian González-Riquelme (CAMGSD, Instituto Superior Técnico).

Ler mais acerca de Continuity and regularity improvement for maximal operators at the derivative level

Proof mining for the dual of a Banach space and extensions

Mathematical Logic Webinar, por Nicholas Pischke (Technical University of Darmstadt).

Ler mais acerca de Proof mining for the dual of a Banach space and extensions

Gabor orthonormal bases, tiling and periodicity

Lisbon Webinar in Analysis and Differential Equations, por Alberto Debernardi Pinos (CIDMA - Universidade de Aveiro).

Ler mais acerca de Gabor orthonormal bases, tiling and periodicity

Functional interpretations over finite types with star types

Mathematical Logic Seminar, por Paulo Firmino (University of Lisbon).

Ler mais acerca de Functional interpretations over finite types with star types

Completeness of the random graph

Mathematical Logic Seminar, por Ana Catarina Monteiro (University of Lisbon).

Ler mais acerca de Completeness of the random graph

From electrostatics to geodesics in K3 surfaces

Geometry & Physics Seminar, por Gonçalo Oliveira (Instituto Superior Técnico, Universidade de Lisboa).

Ler mais acerca de From electrostatics to geodesics in K3 surfaces

Non-tightness in class theory and second-order arithmetic

Mathematical Logic Seminar, por Alfredo Freire (University of Aveiro).

Ler mais acerca de Non-tightness in class theory and second-order arithmetic

Páginas