Skip to main content
Have a personal or library account? Click to login
On Computer-Assisted Proving The Existence Of Periodic And Bounded Orbits Cover

On Computer-Assisted Proving The Existence Of Periodic And Bounded Orbits

Annales Mathematicae Silesianae
Volume 29 (2015): Issue 1 (September 2015)
By:   
Open Access
|Sep 2015
References

References

  1. [1] Appel K., Haken W.,, Illinois J. Math.(1977), 429–490.
    Search in Google Scholar
  2. [2] Appel K., Haken W., Koch J.,, Illinois J. Math.(1977), 491–567.
    Search in Google Scholar
  3. [3] Bánhelyi B., Csendes T., Garay B.M., Hatvani L.,∑-, SIAM J. Appl. Dyn. Syst.(2008), 843–867.
    Open DOISearch in Google Scholar
  4. [4] CAPA,
    Search in Google Scholar
  5. [5] CAPD,
    Search in Google Scholar
  6. [6] Capiński M.J.,, SIAM J. Appl. Dyn. Syst.(2012), 1723–1753.
    Open DOISearch in Google Scholar
  7. [7] CHomP,
    Search in Google Scholar
  8. [8] Eckmann J.-P., Koch H., Wittwer P.,, Mem. Amer. Math. Soc.(1984), 1–121.
    Search in Google Scholar
  9. [9] Galias Z.,, Nonlinear Theory Appl. IEICE(2014), 309–319.
    Open DOISearch in Google Scholar
  10. [10] Galias Z., Tucker W.,, Int. J. Bifurcation Chaos(2013), no. 7, 1330025, 18 pp.
    Open DOISearch in Google Scholar
  11. [11] Gidea M., Zgliczyński P.,, J. Differential Equations(2004), 33–58.
    Open DOISearch in Google Scholar
  12. [12] Hales T.C.,, Ann. of Math. (2)(2005), 1065–1185.
    Open DOISearch in Google Scholar
  13. [13] Hales T.C. et al.,, preprint (2015),
    Search in Google Scholar
  14. [14] Hass J., Schlafly R.,, Ann. of Math. (2)(2000), 459–515.
    Open DOISearch in Google Scholar
  15. [15] Hassard B., Zhang J.,, SIAM J. Math. Anal.(1994), 179–196.
    Open DOISearch in Google Scholar
  16. [16] Hastings S.P., Troy W.C.,, Bull. Amer. Math. Soc.(1992), 128–131.
    Open DOISearch in Google Scholar
  17. [17] Hickey T., Ju Q., van Emden M.H.,, J. ACM(2001), 1038–1068.
    Open DOISearch in Google Scholar
  18. [18] Hutchings M., Morgan F., Ritoré M., Ros A.,, Ann. of Math. (2)(2002), 459–489.
    Open DOISearch in Google Scholar
  19. [19] Kapela T., Simó C.,, Nonlinearity(2007), 1241–1255.
    Open DOISearch in Google Scholar
  20. [20] Kapela T., Zgliczyński P.,, Nonlinearity(2003), 1899–1918.
    Open DOISearch in Google Scholar
  21. [21] Lam C.W.H.,, Amer. Math. Monthly(1991), 305–318.
    Open DOISearch in Google Scholar
  22. [22] Lam C.W.H., Thiel L., Swiercz S.,10, Canad. J. Math.(1989), 1117–1123.
    Open DOISearch in Google Scholar
  23. [23] Lanford O.E., III,, Bull. Amer. Math. Soc. (N.S.)(1982), 427–434.
    Open DOISearch in Google Scholar
  24. [24] Lanford O.E., III,, in: Proceedings of the International Congress of Mathematicians, Berkeley, California, USA, 1986, pp. 1385–1394.
    Search in Google Scholar
  25. [25] Lorenz E.N.,, J. Atmos. Sci.(1963), 130–141.
    Open DOISearch in Google Scholar
  26. [26] Mann A.L.,, preprint (2003).
    Search in Google Scholar
  27. [27] McCune W.,, J. Autom. Reasoning(1997), 263–276.
    Open DOISearch in Google Scholar
  28. [28] Mischaikow K., Mrozek M.,, Bull. Amer. Math. Soc. (N.S.)(1995), 66–72.
    Open DOISearch in Google Scholar
  29. [29] Mischaikow K., Mrozek M.,, Math. Comp.(1998), 1023–1046.
    Search in Google Scholar
  30. [30] Mischaikow K., Mrozek M., Szymczak A.,, J. Differential Equations(2001), 17–56.
    Open DOISearch in Google Scholar
  31. [31] Mischaikow K., Zgliczyński P.,, Found. Comput. Math.(2001), 255–288.
    Open DOISearch in Google Scholar
  32. [32] Mizar project,
    Search in Google Scholar
  33. [33] Moeckel R.,, Trans. Amer. Math. Soc.(2005), 3105–3117.
    Open DOISearch in Google Scholar
  34. [34] Mrozek M.,, Trans. Amer. Math. Soc.(1990),149–178.
    Open DOISearch in Google Scholar
  35. [35] Mrozek M.,, Banach Center Publ.(1995), 105–120.
    Open DOISearch in Google Scholar
  36. [36] Mrozek M.,, Comput. Math. Appl.(1996), 83–104.
    Open DOISearch in Google Scholar
  37. [37] Mrozek M.,, Found. Comput. Math.(2006), 457–493.
    Open DOISearch in Google Scholar
  38. [38] Mrozek M., Srzednicki R.,, Found. Comput. Math.(2010), 191–220.
    Open DOISearch in Google Scholar
  39. [39] Mrozek M., Srzednicki R., Weilandt F.,, SIAM J. Appl. Dyn. Syst.(2015), 1348–1386.
    Open DOISearch in Google Scholar
  40. [40] Mrozek M., Żelawski M.,, Reliab. Comput.(1997), 277–285.
    Open DOISearch in Google Scholar
  41. [41] Robertson N., Sanders D., Seymour P., Thomas R.,, J. Combin. Theory Ser. B(1997), 2–44.
    Open DOISearch in Google Scholar
  42. [42] Tucker W.,, C.R. Math. Acad. Sci. Paris(1999), 1197–1202.
    Open DOISearch in Google Scholar
  43. [43] Tucker W.,, Found. Comput. Math.(2002), 53–117.
    Open DOISearch in Google Scholar
  44. [44] Wikipedia,,
    Search in Google Scholar
  45. [45] Wilczak D.,, J. Differential Equations(2003), 433–459.
    Open DOISearch in Google Scholar
  46. [46] Wilczak D.,, Found. Comput. Math.(2006), 495–535.
    Open DOISearch in Google Scholar
  47. [47] Wilczak D., Zgliczyński P.,, Comm. Math. Phys.(2003), 37–75.
    Open DOISearch in Google Scholar
  48. [48] Wilczak D., Zgliczyński P.,, Found. Comput. Math.(2009), 611–649.
    Open DOISearch in Google Scholar
  49. [49] Wilczak D., Zgliczyński P.,, SIAM J. Appl. Dyn. Syst.(2009), 1632–1663.
    Open DOISearch in Google Scholar
  50. [50] Zgliczyński P.,, Nonlinearity(1997), 243–252.
    Open DOISearch in Google Scholar
  51. [51] Zgliczyński P.,, Found. Comput. Math.(2004), 157–185.
    Open DOISearch in Google Scholar
DOI: https://doi.org/10.1515/amsil-2015-0001 | Journal eISSN: 2391-4238 (formerly 0860-2107) | Journal ISSN: 0860-2107
Journal RSS Feed
Language: English
Page range: 7 - 17
Submitted on: Mar 1, 2015
Published on: Sep 30, 2015
Published by: University of Silesia in Katowice, Institute of Mathematics
In partnership with: Paradigm Publishing Services
Keywords:
Poincarémap,
Conley index,
interval arithmetic,
rigorous numerical algorithm
MSC:
37B30,
37C27,
65L99
Related subjects:
Mathematics,
General mathematics

© 2015 Roman Srzednicki, published by University of Silesia in Katowice, Institute of Mathematics
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Volume 29 (2015): Issue 1 (September 2015)
Next article