MiKTeX is an up-to-date TeX implementation for the Windows operating system. TeX is a typesetting system written by Donald E. Knuth, who says that it is "intended for the creation of beautiful books - and especially for books that contain a lot of mathematics".
Design Science MathType for Windows and Macintosh is a powerful interactive tool that will revolutionize the way you create print and web-based documents that contain math. MathType works with any word processor, presentation program, page layout program, HTML-authoring tool, plus other types of software, to create equations for research papers, class materials, web pages, slide presentations, journal articles and books.
Ghostscript is a high-performance Postscript and PDF interpreter and rendering engine with the most comprehensive set of page description languages (PDL's) on the market today and technology conversion capabilities covering PDF, PostScript, PCL and XPS languages. Ghostscript has been under active development for over 20 years, and offers an extremely versatile feature set and can be deployed across a wide range of platforms, modules, end uses (embedding in hardware, as an engine in document management systems, providing cloud solution integration and as an engine in leading PDF generators and tools).