theoremproving

基本解釋

• [計(jì)] 定理證明

同根派生

• theoremproving相關(guān)詞

英漢例句

• With the aid of the research fruits from the automated geometry theoremproving, this paper can implement the software with intelligence mentioned aboveby embedding the geometry theorem prover (GTP) in the DGS.
  應(yīng)用幾何定理機(jī)器證明的研究成果,可以研制出高智能的幾何教育軟件。
• theoremproving machine
  [計(jì)] 定理證明機(jī)
• theoremproving system
  [計(jì)] 定理證明系統(tǒng)

• theoremproving更多例句