Certifying Galois/monodromy Actions via Homotopy Graphs
यह शोध पत्र एक प्रमाणित संख्यात्मक एल्गोरिदम प्रस्तुत करता है जो पैरामीटराइज्ड बहुपद प्रणालियों के लिए गैलवा/मोनोड्रोमी समूहों की कठोरता से गणना और सत्यापन करने हेतु होमोटोपी पाथ ट्रैकिंग का उपयोग करता है, और शुद्ध एवं अनुप्रयुक्त गणित दोनों के उदाहरणों पर व्यापक प्रयोगों के माध्यम से इसकी प्रभावशीलता को प्रदर्शित करता है।