On other approaches that resemble the systems described here, we enumerate few recent results: Anai [8] and Fr¨anzle [26] independently suggested the use of quanti?er elimination for the veri?cation of polynomial hybrid systems.的翻译：其他类似于此处所述的系统的办法，我们列举了几个最近的结果：阿奈 [8] 和 Fr¨anzle [26] 独立建议使用 quanti?er 消除多项式的混合系统的核查。什么意思？中文翻译英文，英文翻译中文，怎么说？

青云英语翻译

选择语言：从到

其他方法，类似于这里描述的系统，我们列举几个最近的结果：anai [8]和fr“anzle [26]独立建议使用量词消除多项式的混合动力系统的核查。

其他类似于此处所述的系统的办法，我们列举了几个最近的结果：阿奈 [8] 和 Fr¨anzle [26] 独立建议使用 quanti?er 消除多项式的混合系统的核查。

在类似这里被描述的系统的其他方法，我们列举少量最近结果： Anai (8)和Fr¨anzle (26)独立地建议了对quanti?唔排除的用途为多项杂种体系的veri?正离子。

正在翻译，请等待...

其他类似于此处所述的系统的办法，我们列举了几个最近的结果：阿奈 [8] 和 Fr¨anzle [26] 独立建议使用 quanti?er 消除多项式的混合系统的核查。