编写代码来测试两个形状（假设3D）是否相交是非常容易出错的任务。我知道有GJK算法，它采用凸形的任何数学定义（支持函数）并以通用方式测试它们的交集。
然而，与包含最少量测试的手工编码相比，像GJK这样的通用测试速度很慢，这些测试手动证明是足够的。
是否有任何研究（或工作代码）来生成优化的交叉点测试代码，给定形状的参数化定义？
示例输入（框）： f（a，b，c）（x，y，z）= | x | ＆LT; a＆amp;＆amp; | Y | ＆LT; b＆amp;＆amp; | Z | ＆LT; ç
示例输出： 生成以（a，b，c）和交叉检查相交的函数与以类似方式描述的另一个形状