搜索结果: 1-15 共查到“非线性偏微分方程”相关记录490条 . 查询时间(0.718 秒)

深圳技术大学大数据与互联网学院何俊锋副教授(图)
深圳技术大学大数据与互联网学院 何俊锋 副教授 非线性偏微分方程
2025/3/21

深圳技术大学大数据与互联网学院史诗洁副教授(图)
深圳技术大学大数据与互联网学院 史诗洁 副教授 非线性偏微分方程 生物趋化性
2025/3/21


中国科学院软件所分布式SMT求解器研究工作获CAV杰出论文奖(图)
系统 结构 非线性算术
2024/9/20
2024年7月25日,中国科学院软件研究所基础软件与系统重点实验室(计算机科学国家重点实验室)的论文Distributed SMT Arithmetic Theories Solving Based on Dynamic Variable-level Partitioning在形式化验证领域国际旗舰会议Computer Aided Verification(CAV 2024)上荣获杰出论文奖(CA...

Academy of Mathematics and Systems Science, CAS Colloquia & Seminars:"Sobolev extensions"(7)&(8)
Sobolev扩展 Whitney扩展 技术变体
2023/11/29
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars:C1,1/3- very weak solutions to the two dimensional Monge–Ampère equation
二维 Monge–Ampère方程 C1,1/3极弱解
2023/11/29
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars:"Sobolev extensions"(5)&(6)
Sobolev扩展 Whitney扩展 技术变体
2023/11/29