Computational tools and algorithms in real algebraic geometry KU Leuven
Dit doctoraatsvoorstel concentreert zich op stelsels van polynoomvergelijkingen die verschillende problemen in netwerkbetrouwbaarheidstheorie, rigiditeitstheorie en statistiek wiskundig modelleren. Het belangrijkste idee is om combinatorische en geometrische structuren in deze systemen te benutten en ze te gebruiken om hun oplossingsruimten efficiënt te bestuderen. Het oplossen van stelsels van polynomen is in het algemeen buitengewoon ...