单词	程序正确性理论
释义
随便看	boundary value problem boundary value problem of analytic functions boundary value problem of functional differential equation boundary value problem of integral-differential equation boundary value problem of ordinary differential equations boundary value problem of quasiconformal mapping boundary value problem of the first kind boundary value problem of the second kind boundary-value problems of electromagnetic field boundary value problems of nonlinear second order ordinary differential equations boundary value relations of electromagnetic field boundary verification bounded BCI-algebra bounded bilinear form bounded conjunctive reducibility bounded control bounded convex body bounded convex figure bounded disjunctive reducibility bounded domain in Cn bounded element of an ordered (lattice -oredered) permutation group bounded filtration bounded formula bounded function bounded lattice

数学辞典收录了63749条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。