2 projects found matching your search criteria :
Algorithms concerning the legibility of natural deduction proofs
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: dr Karol Pąk
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
Unexpected hypersurfaces of type (d+k,d) in projective space P^N
Call: SONATA 19 , Panel: ST1
Principal investigator: dr Grzegorz Malara
Uniwersytet Komisji Edukacji Narodowej w Krakowie