Economics; Matrices(Mathematics); Dynamics; Linear systems; Metzler Matrices; Frobenius Perron Theorem;
机译:与量子动力学Yang-Baxter方程有关的定理证明的一些细节
机译:随机动态系统Hartman-Grobman定理的新证据
机译:非阿基米德蒙特尔定理关于有理动力学的另一种证明
机译:在动态几何环境中自动验证和自动发现基本几何定理
机译:(新)直接乘积定理的新证明。
机译:定理证明实例和规则的做法流行病学
机译:与量子动力学Yang-Baxter方程有关的定理证明的一些细节