Differential elimination and algebraic invariants of polynomial dynamical systems
Simmons, William ; Platzer, André
1,2
1 Fakultät für Informatik (INFORMATIK), Karlsruher Institut für Technologie (KIT)
2 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
1,21 Fakultät für Informatik (INFORMATIK), Karlsruher Institut für Technologie (KIT)
2 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsmonat/-jahr | 06.2026 |
| Sprache | Englisch |
| Identifikator | ISSN: 0304-3975, 1879-2294 KITopen-ID: 1000192535 |
| HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
| Erschienen in | Theoretical Computer Science |
| Verlag | Elsevier |
| Band | 1074 |
| Seiten | 115925 |
| Vorab online veröffentlicht am | 26.03.2026 |
| Externe Relationen | Siehe auch |
| Nachgewiesen in | Scopus Web of Science OpenAlex |
| Relationen in KITopen |