解法器问题集

       
        Solver研讨会公开征集解法器问题，形成问题集。讨论主题可由1人或多人联合提出，对每个入选的主题，将安排不超过5分钟主题发言（形式不限），由提议者阐述问题，然后组织讨论。主题讨论时间根据具体情况确定。征集范围包括但不限于：

        有待解决的解法器相关理论、算法、实现及应用等问题；
        实际应用对解法器的需求；
        解法器研究及应用过程中的新现象和新问题；
        对解法器相关研究进展的评论与讨论；
        解法器相关学术交流、合作平台的建议与提议；
        其他任何与解法器相关的问题。

        当前问题集：Solver研讨会问题集2018-2020.pdf

组织委员会

徐小文（北京应用物理与计算数学研究所）
张晨松（中国科学院数学与系统科学研究院）
舒    适（湘潭大学）
谭光明（中国科学院计算技术研究所）
刘伟峰（中国石油大学（北京））

本地组织委员会

刘伟峰（中国石油大学（北京））
金    洲（中国石油大学（北京））
黄牛武（湖南国家应用数学中心）
陈春艳（湖南国家应用数学中心）
吴    竹（湖南国家应用数学中心）
赵健崎（中国石油大学（北京））
闻    瑶（中国石油大学（北京））
连浩丞（中国石油大学（北京））
杨德闯（中国石油大学（北京））

程序委员会共同主席

安恒斌 （北京应用物理与计算数学研究所）
冯春生 （湘潭大学）
谢和虎 （中国科学院数学与系统科学研究院）

程序委员会委员

安恒斌（北京应用物理与计算数学研究所）
陈荣亮（中国科学院深圳先进技术研究院）
崔    涛（中国科学院数学与系统科学研究院）
冯春生（湘潭大学）
谷同祥（北京应用物理与计算数学研究所）
何    鑫（中国科学院计算技术研究所）
胡少亮（中物院高性能数值模拟软件中心）
荆燕飞（电子科技大学）
李胜国（国防科技大学）
刘伟峰（中国石油大学（北京））
舒    适（湘潭大学）
谭光明（中国科学院计算技术研究所）
谢和虎（中国科学院计算数学所）
徐小文（北京应用物理与计算数学研究所）
薛    巍（清华大学）
岳孝强（湘潭大学）
张晨松（中国科学院计算数学研究所）
钟柳强（华南师范大学）
周振亚（北京华大九天科技股份有限公司）
朱圣鑫（北京师范大学/北师港浸大(UIC)）