Verified localization of trajectories with prescribed behaviour in the forced damped pendulum

Elmentve itt :
Bibliográfiai részletek
Szerző: Lévai Balázs László
Testületi szerző: CSCS - 8th Conference of PhD Students in Computer Science
Dokumentumtípus: Prezentáció
Megjelent: 2012
Kulcsszavak:informatika
Tárgyszavak:
Online Access:http://eta.bibl.u-szeged.hu/4459