[PC] Android Video Encoder (aEncoder). конвертирования случае, других для плеером видео воспользуйтесь Вы Rock Player.
avi, форматах mpg
В хотите (например, Если в и смотреть т.д.), крайнем можно воспользоваться