退出
我的积分:
中文文献批量获取
外文文献批量获取
刘春平; 刘晓平;
扬州大学数学科学学院;
江苏扬州225002;
扬州市职业大学数学学院;
微分方程; 连续性; 反正弦加法定理;
机译:在傅立叶正弦变换的零点上的Polya定理的加法
机译:三角形的视觉区域的一侧的终点角度和三角函数的加法器定理证明
机译:Coq定理证明中参数化并行加法器的形式化
机译:生成可读证明:利用蜘蛛图进行定理证明的启发式方法
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:动态基因的稀疏加法常微分方程监管网络建模
机译:Lazzeri关于余弦和正弦的加法定理的证明。
机译:哪个定理证明。四种定理证明方法综述
机译:利用有效定理证明进行设计验证
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:电话系统的代码信号发生器-使用线性加法器和滤波器从非正弦输入产生正弦波代码信号
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。