Automatic Proof Procedures for Polynomials and Special Functions

多项式和特殊函数的自动证明程序

基本信息

  • 批准号：
    EP/I010335/1
  • 负责人：
    Paul Jackson
  • 金额：
    $ 66.06万
  • 依托单位：
    University of Edinburgh
  • 依托单位国家：
    英国
  • 项目类别：
    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.
GTR目前尚未用于所有资助研究的摘要。这通常是因为提交提案时不需要摘要，但可能是因为它包含了敏感信息，例如个人详细信息。

项目成果

期刊论文数量（10）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Static Analysis
静态分析
  • DOI：
    10.1007/978-3-642-38856-9_22
  • 发表时间：
    2013
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Brain M
  • 通讯作者：
    Brain M
Case Splitting in an Automatic Theorem Prover for Real-Valued Special Functions
实值特殊函数自动定理证明器中的案例分割
Machine learning and computer algebra
  • DOI：
  • 发表时间：
    2015
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Zongyan Huang
  • 通讯作者：
    Zongyan Huang
Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
  • DOI：
    10.1016/j.cl.2015.11.003
  • 发表时间：
    2017
  • 期刊：
    Comput. Lang. Syst. Struct.
  • 影响因子：
    0
  • 作者：
    Khalil Ghorbal;A. Sogokon;André Platzer
  • 通讯作者：
    Khalil Ghorbal;A. Sogokon;André Platzer
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Paul Jackson其他文献

A MODULAR METHOD FOR REPRESENTING PRODUCT LIFE-CYCLES
表示产品生命周期的模块化方法
  • DOI：
  • 发表时间：
    1997
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Paul Jackson;D. Wallace
  • 通讯作者：
    D. Wallace
Entrepreneurial finance and monetary policy
  • DOI：
    10.1016/j.euroecorev.2021.103961
  • 发表时间：
    2022-01-01
  • 期刊：
    Research article
  • 影响因子：
  • 作者：
    Paul Jackson;Florian Madison
  • 通讯作者：
    Florian Madison
Situations related to alcoholism relapse.
与酗酒相关的情况复发。
  • DOI：
    10.1111/j.1360-0443.1983.tb02526.x
  • 发表时间：
    1983
  • 期刊：
    British journal of addiction
  • 影响因子：
    0
  • 作者：
    G. K. Litman;John Stapleton;A. Oppenheim;M. Peleg;Paul Jackson
  • 通讯作者：
    Paul Jackson
Staff Empathy and Burnout in Forensic Mental Health Services: The Impact of Psychological Formulation
法医心理健康服务中的工作人员同理心和倦怠：心理形成的影响
  • DOI：
  • 发表时间：
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Helen Wilkinson;Richard Whittington;Catrin Eames;Jayne Taylor;Maxine Ceres;Helen Gibson;Paul Jackson
  • 通讯作者：
    Paul Jackson
Blood transfusion for anaemia of prematurity: Current practice in Australia and New Zealand
输血治疗早产儿贫血：澳大利亚和新西兰的现行做法

Paul Jackson的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

{{ truncateString('Paul Jackson', 18)}}的其他基金

Mapping Mental Health Resources for Young People Living in a Conflict Con-text at The Colombian Pacific Region
为哥伦比亚太平洋地区生活在冲突背景下的年轻人绘制心理健康资源图
  • 批准号：
    ES/V013297/1
  • 财政年份：
    2021
  • 资助金额：
    $ 66.06万
  • 项目类别：
    Research Grant
MRI: Acquisition of a Liquid Chromatograph-Ion Trap Mass Spectrometer with Electrospray/Atmospheric Pressure Chemical Ionization to Support Faculty-Student Research
MRI：购买具有电喷雾/大气压化学电离功能的液相色谱-离子阱质谱仪，以支持师生研究
  • 批准号：
    0320738
  • 财政年份：
    2003
  • 资助金额：
    $ 66.06万
  • 项目类别：
    Standard Grant

相似国自然基金

并发分离逻辑族的元理论
  • 批准号：
    61902240
  • 批准年份：
    2019
  • 资助金额：
    29.0 万元
  • 项目类别：
    青年科学基金项目
面向程序验证的自动定理证明理论、方法与工具研究
  • 批准号：
    61732001
  • 批准年份：
    2017
  • 资助金额：
    270.0 万元
  • 项目类别：
    重点项目
身份加密体制的消息依赖密钥安全研究
  • 批准号：
    61772522
  • 批准年份：
    2017
  • 资助金额：
    58.0 万元
  • 项目类别：
    面上项目
可证明安全的程序混淆关键技术研究
  • 批准号：
    61672010
  • 批准年份：
    2016
  • 资助金额：
    51.0 万元
  • 项目类别：
    面上项目
基于定理证明的多核并行程序验证
  • 批准号：
    61202038
  • 批准年份：
    2012
  • 资助金额：
    24.0 万元
  • 项目类别：
    青年科学基金项目

相似海外基金

Thalamic Coordinated Reset Deep Brain Stimulation for Upper Extremity Essential Tremor: Proof of Principle Study
丘脑协调复位深部脑刺激治疗上肢特发性震颤：原理研究证明
  • 批准号：
    10575895
  • 财政年份：
    2023
  • 资助金额：
    $ 66.06万
  • 项目类别：
Targeting T cell dysfunction in glioblastoma: A proof-of-concept Phase 0/I trial of anti-TIGIT antibody AB154 in combination with anti-PD1 antibody AB122
靶向胶质母细胞瘤中的 T 细胞功能障碍：抗 TIGIT 抗体 AB154 与抗 PD1 抗体 AB122 联合的概念验证 0/I 期试验
  • 批准号：
    10346649
  • 财政年份：
    2022
  • 资助金额：
    $ 66.06万
  • 项目类别：
Targeting T cell dysfunction in glioblastoma: A proof-of-concept Phase 0/I trial of anti-TIGIT antibody AB154 in combination with anti-PD1 antibody AB122
靶向胶质母细胞瘤中的 T 细胞功能障碍：抗 TIGIT 抗体 AB154 与抗 PD1 抗体 AB122 联合的概念验证 0/I 期试验
  • 批准号：
    10573141
  • 财政年份：
    2022
  • 资助金额：
    $ 66.06万
  • 项目类别：
A Proof of Concept Trial of a Sirtuin-NAD+ Activator in Alzheimer's Disease
Sirtuin-NAD 激活剂治疗阿尔茨海默病的概念验证试验
  • 批准号：
    10311161
  • 财政年份：
    2021
  • 资助金额：
    $ 66.06万
  • 项目类别：
A Proof of Concept Trial of a Sirtuin-NAD+ Activator in Alzheimer's Disease
Sirtuin-NAD 激活剂治疗阿尔茨海默病的概念验证试验
  • 批准号：
    10457489
  • 财政年份：
    2021
  • 资助金额：
    $ 66.06万
  • 项目类别：
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了