刷新
{{item.name}}会员
A mechanized mathematics system based on set theory
基于集合论的机械化数学系统
基本信息
- 批准号：304082-2004
- 负责人：
- 金额：$ 1.53万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Postgraduate Scholarships - Doctoral
- 财政年份：2004
- 资助国家：加拿大
- 起止时间：2004-01-01 至 2005-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
没有总结 - Aucun sommaire
项目成果
期刊论文数量（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 }}
Xu, Jian其他文献
Research and Application on Burden Movement Model for Bell-Less Top of BF
高炉无料钟炉顶炉料运动模型的研究与应用
- DOI：
10.4028/www.scientific.net/amr.201-203.1793 - 发表时间：
2011-02 - 期刊：
- 影响因子：0
- 作者：
Fu, Changliang;Wu, Shengli;Xu, Jian;Liu, Chengsong;Kou, Mingyin - 通讯作者：
Kou, Mingyin
Novel magnetically recoverable BiOBr/iron oxides heterojunction with enhanced visible light-driven photocatalytic activity
新型磁可恢复 BiOBr/铁氧化物异质结，具有增强的可见光驱动光催化活性
- DOI：
10.1016/j.apsusc.2014.09.111 - 发表时间：
2014-11-30 - 期刊：
- 影响因子：6.7
- 作者：
Guo, Changsheng;He, Yan;Xu, Jian - 通讯作者：
Xu, Jian
Development of a natural language processing algorithm to extract seizure types and frequencies from the electronic health record.
- DOI：
10.1016/j.seizure.2022.07.010 - 发表时间：
2022-10 - 期刊：
- 影响因子：3
- 作者：
Decker, Barbara M.;Turco, Alexandra;Xu, Jian;Terman, Samuel W.;Kosaraju, Nikitha;Jamil, Alisha;Davis, Kathryn A.;Litt, Brian;Ellis, Colin A.;Khankhanian, Pouya;Hill, Chloe E. - 通讯作者：
Hill, Chloe E.
Systemic Pharmacology Reveals the Potential Targets and Signaling Mechanisms in the Adjuvant Treatment of Brucellosis with Traditional Chinese Medicine.
- DOI：
10.1021/acsomega.3c03716 - 发表时间：
2023-08-08 - 期刊：
- 影响因子：4.1
- 作者：
Zhao, Tianyi;Zhang, Yu;Liu, Liangbo;Deng, Xingmei;Guo, Jia;Cao, Shuzhu;Zhu, Dexin;Xu, Jian;Nikolaevna, Usevich Vera;Maratbek, Suleimenov;Wang, Zhen;Sun, Zhihua;Gu, Xinli;Zhang, Hui - 通讯作者：
Zhang, Hui
Reducing MRI RF-induced heating for the external fixation using capacitive structures
使用电容结构减少 MRI 射频引起的外部固定发热
- DOI：
10.1088/1361-6560/ab9706 - 发表时间：
2020 - 期刊：
- 影响因子：3.5
- 作者：
Zheng, Jianfeng;Yang, Rui;Wang, Qingyan;Guo, Ran;Xu, Jian;Shou, Xingxian;Kainz, Wolfgang;Chen, Ji - 通讯作者：
Chen, Ji
Xu, Jian的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Xu, Jian', 18)}}的其他基金
A mechanized mathematics system based on set theory
基于集合论的机械化数学系统
- 批准号：
304082-2004 - 财政年份：2005
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
相似国自然基金
普林斯顿应用数学指南（The Princeton Companion to Applied Mathematics ）的翻译与出版
- 批准号：12226506
- 批准年份：2022
- 资助金额：10.0 万元
- 项目类别：数学天元基金项目
Handbook of the Mathematics of the Arts and Sciences的中文翻译
- 批准号：12226504
- 批准年份：2022
- 资助金额：20.0 万元
- 项目类别：数学天元基金项目
数学之源书（Source book in mathematics)的翻译与出版
- 批准号：11826405
- 批准年份：2018
- 资助金额：3.0 万元
- 项目类别：数学天元基金项目
怀尔德“Mathematics as a cultural system”翻译研究
- 批准号：11726404
- 批准年份：2017
- 资助金额：3.0 万元
- 项目类别：数学天元基金项目
Frontiers of Mathematics in China
- 批准号：11024802
- 批准年份：2010
- 资助金额：16.0 万元
- 项目类别：专项基金项目
相似海外基金
Library Development for a Mechanized Mathematics System
机械化数学系统的库开发
- 批准号：
480570-2015 - 财政年份：2015
- 资助金额：
$ 1.53万 - 项目类别：
University Undergraduate Student Research Awards
Library Development for a Mechanized Mathematics System
机械化数学系统的库开发
- 批准号：
466871-2014 - 财政年份：2014
- 资助金额：
$ 1.53万 - 项目类别：
University Undergraduate Student Research Awards
Library Development for a Mechanized Mathematics System
机械化数学系统的库开发
- 批准号：
448952-2013 - 财政年份：2013
- 资助金额：
$ 1.53万 - 项目类别：
University Undergraduate Student Research Awards
Library development for a mechanized mathematics system
机械化数学系统的图书馆开发
- 批准号：
400526-2010 - 财政年份：2010
- 资助金额：
$ 1.53万 - 项目类别：
University Undergraduate Student Research Awards
MathScheme: A mechanized mathematics system that integrates symbolic computation and formal deduction
MathScheme：集符号计算和形式演绎于一体的机械化数学系统
- 批准号：
227796-2005 - 财政年份：2009
- 资助金额：
$ 1.53万 - 项目类别：
Discovery Grants Program - Individual
MathScheme: A mechanized mathematics system that integrates symbolic computation and formal deduction
MathScheme：集符号计算和形式演绎于一体的机械化数学系统
- 批准号：
227796-2005 - 财政年份：2008
- 资助金额：
$ 1.53万 - 项目类别：
Discovery Grants Program - Individual
MathScheme: A mechanized mathematics system that integrates symbolic computation and formal deduction
MathScheme：集符号计算和形式演绎于一体的机械化数学系统
- 批准号：
227796-2005 - 财政年份：2007
- 资助金额：
$ 1.53万 - 项目类别：
Discovery Grants Program - Individual
MathScheme: A mechanized mathematics system that integrates symbolic computation and formal deduction
MathScheme：集符号计算和形式演绎于一体的机械化数学系统
- 批准号：
227796-2005 - 财政年份：2006
- 资助金额：
$ 1.53万 - 项目类别：
Discovery Grants Program - Individual
A mechanized mathematics system based on set theory
基于集合论的机械化数学系统
- 批准号：
304082-2004 - 财政年份：2005
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
MathScheme: A mechanized mathematics system that integrates symbolic computation and formal deduction
MathScheme：集符号计算和形式演绎于一体的机械化数学系统
- 批准号：
227796-2005 - 财政年份：2005
- 资助金额：
$ 1.53万 - 项目类别：
Discovery Grants Program - Individual