课题基金 / 基金详情

Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition

Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition
推回柱代数分解的双指数墙
批准号：
EP/T015713/1
负责人：
James Davenport
金额：
$64.44万
依托单位：
University of Bath
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2021
资助国家：
英国
项目状态：
未结题
起止时间：
2021 至 --
来源：
https://gtr.ukri.org/projects?ref=EP%2FT015713%2F1
关键词：
PushingBackDoublyExponentialWall

项目摘要

项目成果

James Davenport的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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)
会议论文
The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition
DEWCAD 项目：推回柱代数分解的双指数墙
DOI： --
发表时间： 2021
期刊： ACM COMMUNICATIONS IN COMPUTER ALGEBRA
影响因子： 0.1
作者： [Bradford R.]
通讯作者： Bradford R.
New infinite hierarchies of polynomial identities related to the Capparelli partition theorems
与卡帕雷利分区定理相关的多项式恒等式的新无限层次结构
DOI： 10.1016/j.jmaa.2021.125678
发表时间： 2022
期刊： Journal of Mathematical Analysis and Applications
影响因子： 1.3
作者： [Berkovich A]
通讯作者： Berkovich A
Mathematics Education in the Age of Artificial Intelligence - How Artificial Intelligence can Serve Mathematical Human Learning
人工智能时代的数学教育——人工智能如何服务人类数学学习
DOI： 10.1007/978-3-030-86909-0_12
发表时间： 2022
期刊：
影响因子： --
作者： [Betteridge J]
通讯作者： Betteridge J
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic
在SMT中证明UNSAT：无量词非线性实数算术案例
DOI： --
发表时间： 2021
期刊：
影响因子： --
作者： [Abraham,E.,]
通讯作者： Abraham,E.,
Measuring the Ages of Stars in the Era of Big Data Time-Domain Astronomy
  • 批准号：
    1501418
  • 项目类别：
    Fellowship Award
  • 资助金额：
    $8.9万
  • 财政年份：
    2015
  • 负责人：
    James Davenport
  • 依托单位：
    Davenport James
Real Geometry and Connectedness via Triangular Description
  • 批准号：
    EP/J003247/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $45.81万
  • 财政年份：
    2011
  • 负责人：
    James Davenport
  • 依托单位：
    University of Bath
Equipment Proposal: Establish a Laser Physics Research Facility
  • 批准号：
    8704145
  • 项目类别：
    Standard Grant
  • 资助金额：
    $28.5万
  • 财政年份：
    1987
  • 负责人：
    James Davenport
  • 依托单位：
    Virginia State University
国内基金
海外基金
患者依从性与脑卒中后跌倒风险相关性及“Teach-Back ”护理干预效应研究
  • 批准号：
    2026JJ81464
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2026
  • 负责人：
    叶婷
  • 依托单位：
    岳阳市中医医院
基于Teach-back药学科普模式的慢阻肺患者吸入用药依从性及疗效研究
  • 批准号：
    2024KP61
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    余丹
  • 依托单位：
    清远市中医院
基于Quench-Back保护的超导螺线管磁体失超过程数值模拟研究
  • 批准号：
    51307073
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    25.0万元
  • 批准年份：
    2013
  • 负责人：
    郭兴龙
  • 依托单位：
    江苏大学