思维速度的战术运动

Tactix存在的原因，是每一位教练都曾有过脑子里看得清清楚楚、却说不出口的东西。画一条跑位路线。用数学精度看它动起来。无需关键帧。无需近似。就是你看到的，一模一样呈现出来。

团队背景来自纽约红牛和Cedar Stars青训学院、美国足球国家项目，以及波士顿大学的形式化方法研究——Questrom商学院与计算与数据科学学院的跨学科合作。这个工具，是我们当年在球场上时最想拥有的。

背景

我们的团队拥有纽约红牛和Cedar Stars青训体系、USSDA国家项目以及波士顿大学形式化方法研究的经验。Questrom商学院与计算与数据科学学院的跨学科合作。

纽约红牛

Cedar Stars

美国足球发展学院

Questrom商学院

波士顿大学计算与数据科学

工程

每一个球员动作在抵达屏幕之前都经过数学证明。不是测试——是证明。与安全关键系统相同的验证标准。每个位置、每条路径、每次过渡：形式化验证。