代: take the place of; be in pla ...入定: sit quietly and meditate理: texture; grain嵌入定理: embedding theorem; imbedding theorem; theorem on embedding納什嵌入定理: nash embedding theorem惠特尼嵌入定理: whitney embedding theorem水列夫嵌入定理: sobolev embedding theorem代入: [數(shù)學(xué)] substitution◇代入法 substitution method; 代入規(guī)則 rule of substitution; 代入消元法 elimination by substitution代入點(diǎn): substitute point代入法: method of substitution; substitution method; substitutional solid solution代入名: call by name代入值: call by value宏代入: macrosubstitution弱代入: weak substitution定理: (已經(jīng)證明正確,可以作為原則或規(guī)律的命題或公式) theorem 基本定理 fundamental theorem; 幾何定理 geometrical theorems; 定理驗(yàn)證[明] theorem proving bom僧家入定: bom yeoreum gaeul gyeoul geurigo老僧入定: very calm and without worldly passions -- said of a monk僧家入定: pring, summer, fall, winter... and spring收入定單薄: orders received book收入定貨器: order received book再入定位: reentry positioning阻入定價(jià): keep-out pricing被代入項(xiàng): substituend變量代入法: substitution of variables代入規(guī)則: rule of substitution
