Computer assisted proofs in dynamical systems
Computer assisted proofs in dynamical systems
复制标题
动力系统中的计算机辅助证明
DOI:
--
复制
发表时间:
2022
影响因子:
3.9
通讯作者:
J. B. Berg
中科院分区:
文献类型:
--
作者:
M. Capinski;J. Mireles;W. Tucker;D. Wilczak;J. B. Berg