Effective Testing in Complex Geometry

Projektet vil introducere nye måder at teste om geometriske partielle differentialligninger er løselige i praksis ved at reducere abstrakte teoretiske kriterier til konkrete betingelser, som nu for første gang kan testes bredt ved hjælp af en computer. Vi vil anvende disse resultater til at få en bedre teoretisk forståelse af højdimensionelle komplekse geometriske former, der generaliserer dem der stammer fra Einsteins feltligninger. Projektet vil finansiere to postdocs og en ph.d.-studerende.