登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

约束求解的符号与神经方法
出版社：中国科学院软件研究所
出版年：2023
作者：刘明昊
资源类型：图书
细分类型：学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

基于符号执行和约束求解的程序验证与测试工具
  • 作者：徐辰
  • 出版社：中国科学院
  • 出版年：2002
...

带约束动力学中的符号计算研究
  • 作者：贾屹峰
  • 出版年：2006
...

基于符号计算的非线性系统求解方法与技巧
  • 作者：申亚丽
  • ISBN：9787516655368
  • 出版社：新华出版社
  • 出版年：2020
...

线性矩阵不等式精确求解的符号计算方法
  • 作者：郭庆东
  • 出版年：2014
...

基于深度学习的符号表达式求解方法研究
  • 作者：凤维杰
  • 出版社：中国科学技术大学
  • 出版年：2023
...

广义约束神经网络的约束施加方法研究及其在求解微分方程中的应用
  • 作者：曹林林
  • 出版年：2017