权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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
关键词：
Pushing Back Doubly Exponential Wall

项目摘要

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）

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
期刊：
影响因子：
0
作者：
Betteridge J
通讯作者：
Betteridge J

Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic

在SMT中证明UNSAT：无量词非线性实数算术案例

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
Abraham,E.,
通讯作者：
Abraham,E.,

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

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

James Davenport其他文献

Ethical/Social Impact of Informatics as a Study Subject in Informatics University Degree Programs

信息学作为信息学大学学位课程研究主题的道德/社会影响

DOI：
发表时间：
2019
期刊：
影响因子：
0
作者：
Paola Mello;James Davenport;Gabriele Lenzini;Christian Reuter;Tu Darmstadt;Germany Sara;Román Navarro;Karlsruher Institut für Martina Zitterbart;Technologie;Germany
通讯作者：
Germany

多波長モニタ観測で探るM型星フレアのバルマー線の輝線輪郭非対称性

使用多波长监测观测探索 M 型恒星耀斑巴尔默线的不对称性

DOI：
发表时间：
2020
期刊：
影响因子：
0
作者：
野津湧太;Adam Kowalski;前原裕之;行方宏介;本田敏志;榎戸輝揚 (理研);濱口健二;野津翔太;岡本壮師;幾田佳;野上大作;柴田一成;James Davenport;Suzanne Hawley
通讯作者：
Suzanne Hawley