Существует множество пакетов редактирования LaTeX, таких, как, MikTex, LyX и ещё куча всякого добра.
Вообще-то Вы смешали в одну кучу как минимум три типа софта: дистрибутив
(собственно транслятор с пакетами), редактор
-овских файлов (или даже что-то вроде среды разработки - с вспомогательными инструментами для контроля версий, автоматической сборки и т.п.) и текстовый процессор, использующий
в качестве "полуфабриката". MikTeX - это первое, LyX - третье, а фактически вопрос относится ко второму.
Ну а ответ - Kile. Из известных мне представителей ПО такого рода наиболее мощный.