0 projects

FRINATEK-Fri prosj.st. mat.,naturv.,tek

Applications of proof interpretations in nonlinear analysis

For enkelthets skyld tar jeg her utgangspunkt i den populærvitenskapelige framstillingen fra prosjektets forrige framdriftsrapport (med rapporteringsfrist 20111001) som kjent bakgrunnsstoff. Hovedsaklig har jeg i perioden etter dette arbeidet med å vide reutvikle funksjonalinterpretasjonen for ...

Awarded: NOK 2.6 mill.

Project Period: 2011-2014

Location: Ukjent Fylke