Mathematics
Video
Learning Invariant Feature Points
In this talk, I will present a novel Deep Network architecture that implements the full feature point-handling pipeline, that is, detection, orientation estimation, and feature description. While previous works have successfully tackled each one of…
Publication
Finitary Coloring
Publication
Congruence Closure in Intensional Type Theory
Video
A polynomial bound for Green’s arithmetic triangle removal lemma in vector spaces
Fix a prime power $q$. A triangle in $\mathbb{F}_q^n$ is a triple $x,y,z$ of elements with $x+y=z$. Green’s triangle removal lemma in $\mathbb{F}_q^n$ states that for each $\epsilon>0$ there is a $\delta>0$ such that every…
