Efficient Automation of Index Pairs in Computational Conley Index Theory (Q5388654)
From MaRDI portal
scientific article; zbMATH DE number 6025753
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Efficient Automation of Index Pairs in Computational Conley Index Theory |
scientific article; zbMATH DE number 6025753 |
Statements
Efficient Automation of Index Pairs in Computational Conley Index Theory (English)
0 references
19 April 2012
0 references
computer-assisted proof
0 references
topological entropy
0 references
standard map
0 references
Conley index
0 references
