Projekty finansowane przez NCN
Algebra liniowa w wymiarze skończenie-orbitowym
2022/45/N/ST6/03242
Słowa kluczowe:
Zbiory skończenie-orbitowe zbiory z atomami równania liniowe przestrzenie wektorowe Sieci Petriego z danymi
Deskryptory:
- ST6_004: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna, algorytmy kwantowe
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca:
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
woj. mazowieckie
Konkurs: PRELUDIUM 21 - ogłoszony 2022-03-28
Przyznana kwota: 130 800 PLN
Rozpoczęcie projektu: 2023-01-25
Zakończenie projektu: 2026-01-24
Planowany czas trwania projektu: 36 miesięcy (z wniosku)
Status projektu: Projekt w realizacji
Opis Projektu
Pobierz opis projektu w formacie .pdf
Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.
Dane z raportu końcowego/rocznego
- Publikacje w czasopismach (1)
- Teksty w publikacjach pokonferencyjnych (1)
- Orbit-finite Linear ProgrammingAutorzy:Arka Ghosh, Piotr Hofman, Sławomir LasotaCzasopismo:Journal of the ACM (rok: 2023, tom: 72, strony: 14246), Wydawca: Association for Computing Machinery, New York, NY, United States.Status:OpublikowanaDoi:10.1145/3703909 - link do publikacji
- Equivariant ideals of polynomialsAutorzy:Arka Ghosh, Sławomir LasotaKonferencja:LICS '24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (rok: 2024, tom: Thirty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), strony: 45671), Wydawca: Association for Computing Machinery, New York, NY, United States.Data:konferencja 8–11 July 2024Status:OpublikowanaDoi:10.1145/3661814.3662074 - link do publikacji