Dido with the timing of the tribute to Shalmaneser and the year when construction of the First Temple began provide evidence for the essential historicity of at least the existence of Pygmalion and Dido as well as their rift in 825 BC that eventually led to the founding of Carthage. According to J. M. Peñuela, the difference in the two dates for the foundation of Carthage has an explanation if we understand that Dido fled Tyre in 825 BC, but eleven years elapsed before she was given permission by the original inhabitants to build a city on the mainland, years marked
DIDO (software) in solving for the costates in optimal control problems. DIDO generates spectrally accurate solutions whose extremality can be verified using Pontryagin's Minimum Principle. Because no knowledge of pseudospectral methods is necessary to use it, DIDO is often used as a fundamental mathematical tool for solving optimal control problems. That is, a solution obtained from DIDO is treated as a candidate solution for the application of Pontryagin's minimum principle as a necessary condition for optimality. DIDO is used world wide in academia, industry and government laboratories. Thanks to NASA, DIDO was flight-proven in 2006. On November 5, 2006, NASA used DIDO