自动编程软件用于曲面编程的主要有以下几种：
CATIA
CATIA是达索系统公司开发的一款专业的三维模型设计软件，广泛应用于航空航天、汽车、电子等领域。它具有强大的曲面造型能力，可以创建复杂的曲面形状，并提供丰富的曲面编辑工具和功能。CATIA还支持完整的模具曲面设计和CAD/CAM编程功能，使用户可以直观地生成和编辑模具曲面，同时使用其编程功能生成可用于机床的数控代码。
Siemens NX
Siemens NX（也称为Unigraphics）是西门子PLM软件系列中的一款软件，它提供了强大的曲面建模和曲面编程功能。NX具有直观的用户界面和丰富的工具，可以方便地创建和编辑复杂的曲面模型，并将其转化为机器语言。它还提供了强大的曲面分析和管理功能，可以对曲面质量进行评估和优化。
Pro/ENGINEER
Pro/ENGINEER是PTC公司的一款三维设计软件，它包含了强大的曲面建模和曲面编程功能。Pro/ENGINEER提供了多种曲面建模工具和选项，使用户可以快速、准确地创建和修改曲面模型。它广泛应用于汽车、工业设计等领域。
Mastercam
Mastercam是一种专业的数控编程软件，它具有丰富的曲面编程功能。Mastercam支持多种曲面建模工具和技术，可以生成高效的曲面编程代码，并提供可视化的仿真和验证功能。它广泛应用于制造业、模具制造行业等。
Rhinoceros 3D
Rhinoceros 3D是一款专业的3D建模软件，特别擅长曲面建模。它提供了丰富的曲面编辑工具和算法，可以创建高质量的曲面模型。此外，Rhinoceros 3D还支持插件扩展，可以与其他软件集成，满足更多的设计需求。
SolidWorks
SolidWorks是一款流行的三维建模软件，其曲面建模工具也非常强大。SolidWorks提供了多种曲面建模工具，包括曲线、曲面、扫掠、拓扑优化等，能够满足大部分曲面建模的需求。与CATIA相比，SolidWorks的使用更加简单和直观。
Autodesk Alias
Autodesk Alias是一款专业的造型设计软件，主要用于汽车、工业设计等领域。它具有强大的曲面建模功能，可以创建高质量的曲面模型，并提供了丰富的编辑和分析工具，方便用户对曲面进行调整和优化。
PowerMill
PowerMill是由英国公司Delcam开发的一款专业的曲面加工编程软件。它具备强大的曲面建模、路径规划、碰撞检测等功能，可用于高效、精准地完成各种复杂曲面加工任务。
GibbsCAM
GibbsCAM是一款流行的CNC编程软件，它提供了直观易用的界面和丰富的功能模块，包括高级曲面加工、多轴加工、机器人编程等。通过GibbsCAM，用户可以轻松完成曲面加工任务的编程工作。
HyperMill 和 SolidCAM
HyperMill和SolidCAM也是实现曲面加工编程的常用软件，它们各自具有独特的优势和功能，可以根据具体需求选择使用。
这些软件各有特点，可以根据具体的应用场景和需求选择合适的软件进行曲面自动编程。