Installation Guides

The following pages detail the installation instructions for each component of the Theorem Visualization Pipeline. This includes:

Below is a list of minimum requirements in order to run the TVP:

System Requirements

Minimum Server Requirements

  • A 64-Bit Windows 10 installation (Or a server equivalent).

  • Microsoft .NET Framework 4.6.1 installed (supplied).

  • Microsoft Visual C++ 2010 x64 Redistributable (supplied).

  • Python 3.4 or above (supplied).

  • Perl 5 (Supplied).

  • To be able to install applications as an administrator.

  • Suitable hardware (16 GB RAM, Quad core processor, 250 GB Hard drive).

  • Appropriate CAD Vendor software installed and licensed (if required). Examples include CATIA V5, NX & Creo Parametric.