All these .exe files run on an adapted version of the Windows Symbol system. In fact, you don't need to download the base package to use the application, just download the module and install it.
TICAS has a powerful environment of scientific work, completely programmable. This means you don't have to use heavier programs (TICAS is pretty lightweight). Developers interested in the application can find all they need directly on it.
TICAS is a complex program, but it also hides a very user-friendly simplicity.
Do not install in Program Files, as it tends to create an error in that folder.