Dido II" and "Civilization V", as the leader of the Carthaginian civilization, although she appears alongside Hannibal in the former. In Civilization V, she speaks Phoenician, with a modern Israeli accent. In honor of Dido, the asteroid 209 Dido, discovered in 1879, was named after her. Another dedication of Queen Dido is the Mount Dido in Antarctica. Remembrance of the story of the bull's hide and the foundation of Carthage is preserved in mathematics in connection with the Isoperimetric problem which is sometimes called Dido's Problem (and similarly the Isoperimetric theorem is sometimes called Dido's Theorem). It is sometimes stated in
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