是的，期货市场确实存在量化交易。量化交易通过使用算法和程序化策略来自动执行买卖操作，旨在捕捉市场机会和控制风险。这种交易方式在期货市场中应用广泛，特别适合高频交易、套利和趋势跟踪等策略。

常用的量化交易软件包括：

文华财经WH6：这是一个支持期货程序化交易的平台，具有内置的策略回测功能，非常适合国内投资者使用。

TB（TradeBlazer）：这是一款老牌的量化交易平台，提供策略编写、回测和实盘交易功能，支持多品种联动。

PyQuant（Python生态）：通过使用Python库（如vn.py、backtrader），用户可以自定义策略，具有很强的灵活性，适合有编程能力的量化开发者。

快期：这是一款简洁的期货交易终端，支持部分量化功能，适合轻量级需求的用户。

选择量化交易软件时，需要考虑策略的复杂度、数据接口、执行速度以及合规性。此外，国内的一些期货公司也提供自有的量化平台，例如华泰期货的“矩阵”，可以结合券商的服务来使用。