- Home
- →
- Proceedings
- →
- Summer Workshop on Interval Methods 2022
- →
- View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Original version
dit Sandretto, Julien Alexandre; Chapoutot, Alexandre; Garion, Christophe; Thirioux, Xavier; Ziat, Ghiles: A constraint programming approach for polytopic simulation of ordinary differential equations - a collision detection application. In: 13th Summer Workshop on Interval Methods - Book of Abstracts. Hannover : Gottfried Wilhelm Leibniz Universität, 2022
Repository version
To cite the version in the repository, please use this identifier:
https://doi.org/10.15488/13208
Files in this item
| Abstract: | |
|
[no abstract available]
|
|
| License of this version: | CC BY 3.0 DE - https://creativecommons.org/licenses/by/3.0/de/ |
| Publication type: | BookPart |
| Publishing status: | publishedVersion |
| Publication date: | 2022 |
| Keywords english: | Constraint programming, Abstract domains, ODEs |
| DDC: | 510 | Mathematik |
| Controlled keywords(GND): | Konferenzschrift |
This item appears in the following Collection(s):
-
Summer Workshop on Interval Methods 2022
Summer Workshop on Interval Methods 2022 (SWIM 2022)