Symbolic dynamics based method for rigorous study of the existence of short cycles for chaotic systems | IEEE Conference Publication | IEEE Xplore