刷新
{{item.name}}会员
Efficient representation of mathematical concepts in mechanized mathematics systems
机械化数学系统中数学概念的有效表示
基本信息
- 批准号：262084-2003
- 负责人：
- 金额：$ 1.46万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2005
- 资助国家：加拿大
- 起止时间：2005-01-01 至 2006-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 }}
Carette, Jacques其他文献
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
- DOI：
10.1017/s0956796809007205 - 发表时间：
2009-09-01 - 期刊：
- 影响因子：1.1
- 作者：
Carette, Jacques;Kiselyov, Oleg;Shan, Chung-Chieh - 通讯作者：
Shan, Chung-Chieh
Carette, Jacques的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Carette, Jacques', 18)}}的其他基金
From Code to Knowledge to Software
从代码到知识到软件
- 批准号：
RGPIN-2018-05812 - 财政年份：2022
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
From Code to Knowledge to Software
从代码到知识到软件
- 批准号：
RGPIN-2018-05812 - 财政年份：2021
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
From Code to Knowledge to Software
从代码到知识到软件
- 批准号：
RGPIN-2018-05812 - 财政年份：2020
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
From Code to Knowledge to Software
从代码到知识到软件
- 批准号：
RGPIN-2018-05812 - 财政年份：2019
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
From Code to Knowledge to Software
从代码到知识到软件
- 批准号：
RGPIN-2018-05812 - 财政年份：2018
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Disciplined Meta-Programming
严格的元编程
- 批准号：
262084-2012 - 财政年份：2016
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Disciplined Meta-Programming
严格的元编程
- 批准号：
262084-2012 - 财政年份：2015
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Disciplined Meta-Programming
严格的元编程
- 批准号：
262084-2012 - 财政年份：2014
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Disciplined Meta-Programming
严格的元编程
- 批准号：
262084-2012 - 财政年份：2013
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
稀疏表示及其在盲源分离中的应用研究
- 批准号：61104053
- 批准年份：2011
- 资助金额：23.0 万元
- 项目类别：青年科学基金项目
约化群GL(n, F)的表示－－F是非阿基米德局部域
- 批准号：10701034
- 批准年份：2007
- 资助金额：18.0 万元
- 项目类别：青年科学基金项目
信号盲处理的稀疏表示方法
- 批准号：60475004
- 批准年份：2004
- 资助金额：23.0 万元
- 项目类别：面上项目
相似海外基金
Cognitive Processes Underlying Ratio Representation Across Development
整个发展过程中比率表示的认知过程
- 批准号：
10912965 - 财政年份：2023
- 资助金额：
$ 1.46万 - 项目类别：
RTG: Topology, Representation Theory, and Mathematical Physics at Louisiana State University
RTG：路易斯安那州立大学拓扑学、表示论和数学物理
- 批准号：
2231492 - 财政年份：2023
- 资助金额：
$ 1.46万 - 项目类别：
Continuing Grant
Representation theoretic methods in geometry and mathematical physics
几何和数学物理中的表示理论方法
- 批准号：
RGPIN-2019-03961 - 财政年份：2022
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Mathematical verification for a novel Navier-Stokes representation
新颖的纳维-斯托克斯表示的数学验证
- 批准号：
EP/V058754/1 - 财政年份：2022
- 资助金额：
$ 1.46万 - 项目类别：
Research Grant
From Representation Theory to Mathematical Physics and Back
从表示论到数学物理并返回
- 批准号：
2149565 - 财政年份：2022
- 资助金额：
$ 1.46万 - 项目类别：
Standard Grant
Multiscale mathematical treatise of the invasion-metastasis cascade: from the solitary cancer cell migration to the holistic representation of the org
侵袭转移级联的多尺度数学论文：从孤立的癌细胞迁移到组织的整体表征
- 批准号：
2589811 - 财政年份：2021
- 资助金额：
$ 1.46万 - 项目类别：
Studentship
Cognitive Processes Underlying Ratio Representation Across Development
整个发展过程中比率表示的认知过程
- 批准号：
10460325 - 财政年份：2021
- 资助金额：
$ 1.46万 - 项目类别：
Cognitive Processes Underlying Ratio Representation Across Development
整个发展过程中比率表示的认知过程
- 批准号：
10191818 - 财政年份：2021
- 资助金额：
$ 1.46万 - 项目类别：
Representation theoretic methods in geometry and mathematical physics
几何和数学物理中的表示理论方法
- 批准号：
RGPIN-2019-03961 - 财政年份：2021
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
A transdisciplinary approach for dissecting stem cell states in prostate cancer
剖析前列腺癌干细胞状态的跨学科方法
- 批准号：
10686186 - 财政年份：2021
- 资助金额：
$ 1.46万 - 项目类别：