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]、[26]独立anzle fr)建议采用的消除quanti?er veri?cation的多项式的混合系统。

艾纳 [8] 和 Fr¨anzle [26] 独立建议使用 quanti?er 消除多项式的混合系统的核查。