查询词典 converse theorem

automatic texting：自动电文处理

自动测试 automatic testing | 自动电文处理 automatic texting | 自动定理证明 automatic theorem proving

Distances and Light Years：距离与光年

14 A Theorem Most Proved被证明最多次的定理 | 15 Distances and Light Years距离与光年 | 16 Sherlock Holmes Solves a Math Problem 夏洛克.福尔摩斯解出的一个数学题

water-resistant paint：防水油漆

救火自来水表 fire-service meter | 防水油漆 water-resistant paint | 胶合定理 gluing theorem

upper embeddable：上可嵌入

上位机:the Upper-PC | 上可嵌入:upper embeddable | 上限定理:upper bound theorem

finalisation：最终确定

final-value theorem 终值定理 | finalisation 最终确定 | finality 结局

homotopy groups：同伦群

homotopy group ==> 同伦群 | homotopy groups ==> 同伦群 | homotopy invariance theorem ==> 同伦不变性定理

Excessive markups：过分涨价,过度加成

Excess-capacity theorem 过度生产能力定理 | Excessive markups 过分涨价,过度加成 | Excess supply 过度供给

Kolmogorov's inequality for martingales：平赌过程不等式

Kolmogorov不等式 Kolmogorov's inequality | Kolmogorov平赌过程不等式 Kolmogorov's inequality for martingales | Kolmogorov定理 Kolmogorov's theorem

Karush-Kuhn-Tucker multipliers：卡羅需-卡-塔克乘數

Kaplan-Meier estimation 卡本-麦尔估计 | Karush-Kuhn-Tucker multipliers 卡罗需-卡-塔克乘数 | Karush-Kuhn-Tucker Theorem 卡罗需-卡-塔克定理

head normalisation theorem：文头正规化定理

文头正规形式 Head Normal Form | 文头正规化定理 head normalisation theorem | 中心名词 head noun

acetabular foramen：髀臼孔

\\"基节窝\\",\\"acetabular cups\\" | \\"髀臼孔\\",\\"acetabular foramen\\" | \\"髀臼窝;髋血凹\\",\\"acetabular fossa\\"

PRTSC PacketRadioTerminal：数据分组无线电发送终端

PRS PacketRadioStation 数据分组无线电发送站 | PRTSC PacketRadioTerminal 数据分组无线电发送终端 | PRV PacketRadioUnit 数据分组无线发送单元