陈世平
【姓名】 陈世平
【职称】
【研究领域】 数学;自动化技术;有机化工;
【研究方向】 机器证明
【发表文献关键词】 可读证明,变量归一算法,计算机符号代数,规则,模型,初等可读证明,逆向演绎系统,智能教育软件,深度约束,三角不等式,不等式,三角函,初等不等式,证明过程,三角形不等式,动生,已知条件,机器证明,正切函...
【工作单位】 四川大学
【曾工作单位】 四川大学;
【所在地域】 成都
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/4 2 2 4 22 847
中国期刊全文数据库    共找到4篇
[1]陈世平;汤晓玉;肖泽仪;王文国;尹小波;VENKATESH Balan;吴波;胡启春;.玉米秸秆水解残渣厌氧消化的产气性能[J]农业环境科学学报.2016,(03)
[2]陈世平;樊森清;汤晓玉;肖泽仪;姚佩娜;邓情;孙兆鹏;.乙醇发酵渗透汽化耦合过程的细胞生长动力学[J]酿酒科技.2015,(11)
[3]陈世平,张景中.三角不等式的自动证明[J]四川大学学报(自然科学版).2003,(04)
[4]陈世平,张景中.初等不等式的可读证明的自动生成[J]四川大学学报(工程科学版).2003,(04)
更多