Существует множество пакетов редактирования LaTeX, таких, как, MikTex, LyX и ещё куча всякого добра.
Вообще-то Вы смешали в одну кучу как минимум три типа софта: дистрибутив

(собственно транслятор с пакетами), редактор

-овских файлов (или даже что-то вроде среды разработки - с вспомогательными инструментами для контроля версий, автоматической сборки и т.п.) и текстовый процессор, использующий

в качестве "полуфабриката". MikTeX - это первое, LyX - третье, а фактически вопрос относится ко второму.
Ну а ответ - Kile. Из известных мне представителей ПО такого рода наиболее мощный.