Theorem 一直是西門子數碼工業軟體合作夥伴超過 20 年，在我們自己的 CADverter、多 CAD、3D 出版和 Visualize 3D 產品品牌中為 NX 和 JT 提供數據翻譯解決方案。Theorem Solutions 是一家總部的英國獨立公司，成立於 1990 年，在英國和美國設有銷售和支持辦事處。我們的產品組合廣泛支援 CAD、Visualization 和發佈格式，並對模型基於定義 (MBD) 資訊的額外支援從原生 CAD 處理成各種輕量化格式，例如 JT 和 3D PDF。
