You can use all types of programs. ULead Cool 3D is one of about a hundred different ones.
You can also run those as AVIs, mpgs, or you can use BINK video. But you are going to pay some licensing...