Projects funded by the NCN
Linear algebra in orbit-finite dimension
2022/45/N/ST6/03242
Keywords:
Orbit-finite sets sets with atoms linear equations vector spaces Petri nets with data
Descriptors:
- ST6_004:
Panel:
ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems
Host institution :
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
woj. mazowieckie
Principal investigator (from the host institution):
Number of co-investigators in the project: 3
Call: PRELUDIUM 21 - announced on 2022-03-28
Amount awarded: 130 800 PLN
Project start date (Y-m-d): 2023-01-25
Project end date (Y-m-d): 2026-01-24
Project duration:: 36 months (the same as in the proposal)
Project status: Pending project
Project description
Download the project description in a pdf file
Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.
Information in the final report
- Publication in academic press/journals (1)
- Articles in post-conference publications (1)
- Orbit-finite Linear ProgrammingAuthors:Arka Ghosh, Piotr Hofman, Sławomir LasotaAcademic press:Journal of the ACM (rok: 2023, tom: 72, strony: 14246), Wydawca: Association for Computing Machinery, New York, NY, United States.Status:PublishedDOI:10.1145/3703909 - link to the publication
- Equivariant ideals of polynomialsAuthors:Arka Ghosh, Sławomir LasotaConference: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:PublishedDOI:10.1145/3661814.3662074 - link to the publication