Rigorous computation in dynamics based on topological methods for multivector fields (Q6645914)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Rigorous computation in dynamics based on topological methods for multivector fields |
scientific article; zbMATH DE number 7951563
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rigorous computation in dynamics based on topological methods for multivector fields |
scientific article; zbMATH DE number 7951563 |
Statements
Rigorous computation in dynamics based on topological methods for multivector fields (English)
0 references
29 November 2024
0 references
combinatorial multivector field
0 references
computer assisted proof
0 references
transversal polytope
0 references
periodic orbit
0 references
combinatorial Poincaré Section
0 references
0 references
0 references
0 references
