Automatic Proof Procedures for Polynomials and Special Functions
Automatic Proof Procedures for Polynomials and Special Functions
多项式和特殊函数的自动证明程序
批准号：
EP/I010335/1
负责人：
Paul Jackson
金额：
$66.06万
依托单位：
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2010
资助国家：
英国
项目状态：
已结题
起止时间：
2010 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
10.1016/j.cl.2015.11.003
发表时间：
2017
期刊：
Comput. Lang. Syst. Struct.
影响因子：
--
作者：
[Khalil Ghorbal;A. Sogokon;André Platzer]
通讯作者：
Khalil Ghorbal;A. Sogokon;André Platzer
Static Analysis
静态分析
静态分析
DOI：
10.1007/978-3-642-38856-9_22
发表时间：
2013
期刊：
影响因子：
--
作者：
[Brain M]
通讯作者：
Brain M
Case Splitting in an Automatic Theorem Prover for Real-Valued Special Functions
实值特殊函数自动定理证明器中的案例分割
实值特殊函数自动定理证明器中的案例分割
DOI：
10.1007/s10817-012-9245-6
发表时间：
2012
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
[Bridge J]
通讯作者：
Bridge J
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Zongyan Huang]
通讯作者：
Zongyan Huang
Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
自动演绎 - CADE-24 - 第 24 届国际自动演绎会议，美国纽约州普莱西德湖，2013 年 6 月 9 日至 14 日。会议记录
自动演绎 - CADE-24 - 第 24 届国际自动演绎会议，美国纽约州普莱西德湖，2013 年 6 月 9 日至 14 日。会议记录
DOI：
10.1007/978-3-642-38574-2_12
发表时间：
2013
期刊：
影响因子：
--
作者：
[De Moura L]
通讯作者：
De Moura L
共 6 条
Mapping Mental Health Resources for Young People Living in a Conflict Con-text at The Colombian Pacific Region
-
批准号：ES/V013297/1
-
项目类别：Research Grant
-
资助金额：$37.9万
-
财政年份：2021
-
负责人：Paul Jackson
-
依托单位：
MRI: Acquisition of a Liquid Chromatograph-Ion Trap Mass Spectrometer with Electrospray/Atmospheric Pressure Chemical Ionization to Support Faculty-Student Research
-
批准号：0320738
-
项目类别：Standard Grant
-
资助金额：$20.2万
-
财政年份：2003
-
负责人：Paul Jackson
-
依托单位：
海外基金