---
_id: '16525'
author:
- first_name: Sarah
full_name: Day, Sarah
last_name: Day
- first_name: Oliver
full_name: Junge, Oliver
last_name: Junge
- first_name: Konstantin
full_name: Mischaikow, Konstantin
last_name: Mischaikow
citation:
ama: 'Day S, Junge O, Mischaikow K. Towards Automated Chaos Verification. In: EQUADIFF
2003. ; 2005. doi:10.1142/9789812702067_0014'
apa: Day, S., Junge, O., & Mischaikow, K. (2005). Towards Automated Chaos Verification.
In EQUADIFF 2003. https://doi.org/10.1142/9789812702067_0014
bibtex: '@inproceedings{Day_Junge_Mischaikow_2005, title={Towards Automated Chaos
Verification}, DOI={10.1142/9789812702067_0014},
booktitle={EQUADIFF 2003}, author={Day, Sarah and Junge, Oliver and Mischaikow,
Konstantin}, year={2005} }'
chicago: Day, Sarah, Oliver Junge, and Konstantin Mischaikow. “Towards Automated
Chaos Verification.” In EQUADIFF 2003, 2005. https://doi.org/10.1142/9789812702067_0014.
ieee: S. Day, O. Junge, and K. Mischaikow, “Towards Automated Chaos Verification,”
in EQUADIFF 2003, 2005.
mla: Day, Sarah, et al. “Towards Automated Chaos Verification.” EQUADIFF 2003,
2005, doi:10.1142/9789812702067_0014.
short: 'S. Day, O. Junge, K. Mischaikow, in: EQUADIFF 2003, 2005.'
date_created: 2020-04-15T08:14:05Z
date_updated: 2022-01-06T06:52:52Z
department:
- _id: '101'
doi: 10.1142/9789812702067_0014
language:
- iso: eng
publication: EQUADIFF 2003
publication_identifier:
isbn:
- '9789812561695'
- '9789812702067'
publication_status: published
status: public
title: Towards Automated Chaos Verification
type: conference
user_id: '15701'
year: '2005'
...
---
_id: '17024'
author:
- first_name: Sarah
full_name: Day, Sarah
last_name: Day
- first_name: Oliver
full_name: Junge, Oliver
last_name: Junge
- first_name: Konstantin
full_name: Mischaikow, Konstantin
last_name: Mischaikow
citation:
ama: 'Day S, Junge O, Mischaikow K. Towards automized chaos verification. In: Proceedings
of Equadiff 2003, International Conference on Differential Equations. ; 2005.
doi:10.1142/9789812702067_0014'
apa: Day, S., Junge, O., & Mischaikow, K. (2005). Towards automized chaos verification.
In Proceedings of Equadiff 2003, International Conference on Differential Equations.
https://doi.org/10.1142/9789812702067_0014
bibtex: '@inproceedings{Day_Junge_Mischaikow_2005, title={Towards automized chaos
verification}, DOI={10.1142/9789812702067_0014},
booktitle={Proceedings of Equadiff 2003, International Conference on Differential
Equations}, author={Day, Sarah and Junge, Oliver and Mischaikow, Konstantin},
year={2005} }'
chicago: Day, Sarah, Oliver Junge, and Konstantin Mischaikow. “Towards Automized
Chaos Verification.” In Proceedings of Equadiff 2003, International Conference
on Differential Equations, 2005. https://doi.org/10.1142/9789812702067_0014.
ieee: S. Day, O. Junge, and K. Mischaikow, “Towards automized chaos verification,”
in Proceedings of Equadiff 2003, International Conference on Differential Equations,
2005.
mla: Day, Sarah, et al. “Towards Automized Chaos Verification.” Proceedings of
Equadiff 2003, International Conference on Differential Equations, 2005, doi:10.1142/9789812702067_0014.
short: 'S. Day, O. Junge, K. Mischaikow, in: Proceedings of Equadiff 2003, International
Conference on Differential Equations, 2005.'
date_created: 2020-05-19T20:11:14Z
date_updated: 2022-01-06T06:53:02Z
doi: 10.1142/9789812702067_0014
language:
- iso: eng
publication: Proceedings of Equadiff 2003, International Conference on Differential
Equations
publication_identifier:
isbn:
- '9789812702067'
publication_status: published
status: public
title: Towards automized chaos verification
type: conference
user_id: '32829'
year: '2005'
...