刷新
{{item.name}}会员
Mechanical Theorem Proving: Theory and Practice
力学定理证明：理论与实践
基本信息
- 批准号：7500666
- 负责人：
- 金额：$ 4.32万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1975
- 资助国家：美国
- 起止时间：1975-06-01 至 1977-11-30
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ 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 }}
Donald Loveland其他文献
Zeroth-Order SciML: Non-intrusive Integration of Scientific Software with Deep Learning
零阶 SciML：科学软件与深度学习的非侵入式集成
- DOI：
10.48550/arxiv.2206.02785 - 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
Ioannis C. Tsaknakis;B. Kailkhura;Sijia Liu;Donald Loveland;James Diffenderfer;A. Hiszpanski;Min - 通讯作者：
Min
The algorithm to infer production rules of the molecular NCE grammar and parse molecular graphs
推断分子NCE语法产生规则并解析分子图的算法
- DOI：
- 发表时间：
2020 - 期刊：
- 影响因子：0
- 作者：
Ioannis C. Tsaknakis;B. Kailkhura;Sijia Liu;Donald Loveland;James Diffenderfer;A. Hiszpanski;Min - 通讯作者：
Min
Donald Loveland的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Donald Loveland', 18)}}的其他基金
Workshop on Future Directions of Automated Deduction, March 2-3, l996, Chicago, IL
自动演绎未来方向研讨会，1996 年 3 月 2-3 日，伊利诺伊州芝加哥
- 批准号：
9625544 - 财政年份：1996
- 资助金额：
$ 4.32万 - 项目类别：
Standard Grant
U.S.-Germany Cooperative Research to Enhance the Performance of the Model Elimination Proof Procedure
美德合作研究提高模型消除证明程序的性能
- 批准号：
9514375 - 财政年份：1996
- 资助金额：
$ 4.32万 - 项目类别：
Standard Grant
Linear Input Theorem Provers: Design & Performance Enhancement
线性输入定理证明器：设计
- 批准号：
9116203 - 财政年份：1992
- 资助金额：
$ 4.32万 - 项目类别：
Continuing Grant
Near-Horn Prolog: Extending Yet Preserving Prolog
近号角 Prolog：扩展但保留 Prolog
- 批准号：
8900383 - 财政年份：1989
- 资助金额：
$ 4.32万 - 项目类别：
Continuing Grant
Extending the Domain of Logic Programming
扩展逻辑编程的领域
- 批准号：
8805696 - 财政年份：1988
- 资助金额：
$ 4.32万 - 项目类别：
Standard Grant
Dialog Processing for Voice Interactive Problem Solving (Computer and Information Science)
用于语音交互问题解决的对话处理（计算机与信息科学）
- 批准号：
8603231 - 财政年份：1986
- 资助金额：
$ 4.32万 - 项目类别：
Continuing Grant
相似海外基金
SHF: Medium: Neurosymbolic Agents for Formal Theorem-Proving
SHF：介质：用于形式定理证明的神经符号代理
- 批准号：
2403211 - 财政年份：2024
- 资助金额：
$ 4.32万 - 项目类别：
Continuing Grant
Automated Theorem Proving for Infinite Term Rewriting Systems
无限项重写系统的自动定理证明
- 批准号：
22K11904 - 财政年份：2022
- 资助金额：
$ 4.32万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Development of Deductive Failure Reasoner with Stepwise Refinement and Theorem Proving
逐步细化和定理证明的演绎失败推理机的开发
- 批准号：
22K11987 - 财政年份：2022
- 资助金额：
$ 4.32万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
SHF: Small: Synergy between Automated Reasoning and Interactive Theorem Proving
SHF：小：自动推理和交互式定理证明之间的协同作用
- 批准号：
2229099 - 财政年份：2022
- 资助金额：
$ 4.32万 - 项目类别：
Standard Grant
Mapping and Re-applying Mathematical Knowledge in Mechanical Theorem Proving
力学定理证明中数学知识的映射和重新应用
- 批准号：
2424098 - 财政年份：2020
- 资助金额：
$ 4.32万 - 项目类别：
Studentship
Can Computer be a Mathematician? Automated Theorem Proving in Undergraduate Mathematics
计算机可以成为数学家吗？
- 批准号：
20K11679 - 财政年份：2020
- 资助金额：
$ 4.32万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Machine Learning in Automated Theorem Proving
自动定理证明中的机器学习
- 批准号：
2119928 - 财政年份：2019
- 资助金额：
$ 4.32万 - 项目类别：
Studentship
Automated Theorem Proving with Machine Learning for Automating Mathematics
使用机器学习自动证明数学自动化
- 批准号：
19K22842 - 财政年份：2019
- 资助金额：
$ 4.32万 - 项目类别：
Grant-in-Aid for Challenging Research (Exploratory)
Interactions between Reinforcement Learning and Mechanical Theorem Proving
强化学习与力学定理证明之间的相互作用
- 批准号：
2096912 - 财政年份：2018
- 资助金额：
$ 4.32万 - 项目类别：
Studentship
Improvement of lemma generation and reasoning strategies for automated inductive theorem proving
自动归纳定理证明的引理生成和推理策略的改进
- 批准号：
16K16032 - 财政年份：2016
- 资助金额：
$ 4.32万 - 项目类别：
Grant-in-Aid for Young Scientists (B)