...
机译:差分方程平衡的整体吸引性:计算机代数系统辅助的基本证明
Difference equation; Equilibrium; Global attractivity; Rational; Second order;
机译:差分方程平衡的整体吸引性:计算机代数系统辅助的基本证明
机译:期望答案与计算机代数系统对学校方程式给出的答案之间的差异
机译:具有非自主强迫的一维粘性Burgers方程全局吸引解的存在-计算机辅助证明
机译:通过计算机代数自动推导和张量积身份证明的基本算法
机译:关于非线性差分方程的整体吸引性。
机译:通过计算机辅助系统方法生成复杂酶系统的速率方程
机译:差分方程平衡的全局吸引性:计算机代数系统辅助的基本证明
机译:具有层流和湍流粘性模型的非相似,平衡和非平衡空气,边界层方程的有限差分解法。第二部分。计算机程序和补充