...
机译:一种使用MATHEMATICA演示采样定理证明的交互式方法
Univ Valle, Sch Elect & Elect Engn, Telecommun, Cali, Colombia;
electrical engineering education; Fourier analysis; MATHEMATICA; sampling theorem; Shannon theory;
机译:互动定理证明者Matita证明了勒贝格的主导收敛定理的建设性和形式化证明
机译:交互式定理证明者Matita中Lebesgue占优收敛定理的建设性和形式化证明
机译:说明数学联系:欧拉定理的几何证明
机译:学习通过与校对助手进行互动证明定理
机译:在计算机与学生互动的环境中计算机图形和模拟的有效性的探索性研究,用于说明随机采样和中心极限定理。
机译:评估分类暴露变量的观测工作抽样的统计性能:使用PATH数据说明的模拟方法
机译:mathematica对箭的不可能性定理的证明