Automated reasoning in algebra, geometry and combinatorics
代数、几何和组合学中的自动推理
基本信息
- 批准号:8215-2002
- 负责人:
- 金额:$ 0.44万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别: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 }}
Padmanabhan, Ranganathan其他文献
Padmanabhan, Ranganathan的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Padmanabhan, Ranganathan', 18)}}的其他基金
Automated reasoning in algebra, geometry and combinatorics
代数、几何和组合学中的自动推理
- 批准号:
8215-2002 - 财政年份:2004
- 资助金额:
$ 0.44万 - 项目类别:
Discovery Grants Program - Individual
Automated reasoning in algebra, geometry and combinatorics
代数、几何和组合学中的自动推理
- 批准号:
8215-2002 - 财政年份:2003
- 资助金额:
$ 0.44万 - 项目类别:
Discovery Grants Program - Individual
Automated reasoning in algebra, geometry and combinatorics
代数、几何和组合学中的自动推理
- 批准号:
8215-2002 - 财政年份:2002
- 资助金额:
$ 0.44万 - 项目类别:
Discovery Grants Program - Individual
Equational logic and geometry
方程逻辑和几何
- 批准号:
8215-1998 - 财政年份:2001
- 资助金额:
$ 0.44万 - 项目类别:
Discovery Grants Program - Individual
Equational logic and geometry
方程逻辑和几何
- 批准号:
8215-1998 - 财政年份:2000
- 资助金额:
$ 0.44万 - 项目类别:
Discovery Grants Program - Individual
Equational logic and geometry
方程逻辑和几何
- 批准号:
8215-1998 - 财政年份:1999
- 资助金额:
$ 0.44万 - 项目类别:
Discovery Grants Program - Individual
Equational logic and geometry
方程逻辑和几何
- 批准号:
8215-1998 - 财政年份:1998
- 资助金额:
$ 0.44万 - 项目类别:
Discovery Grants Program - Individual
Equational logic and geometry
方程逻辑和几何
- 批准号:
8215-1994 - 财政年份:1996
- 资助金额:
$ 0.44万 - 项目类别:
Discovery Grants Program - Individual
Equational logic and geometry
方程逻辑和几何
- 批准号:
8215-1994 - 财政年份:1995
- 资助金额:
$ 0.44万 - 项目类别:
Discovery Grants Program - Individual
Equational logic and geometry
方程逻辑和几何
- 批准号:
8215-1994 - 财政年份:1994
- 资助金额:
$ 0.44万 - 项目类别:
Discovery Grants Program - Individual
相似海外基金
CAREER: Covariational and Algebraic Reasoning: A New Path to Algebra
职业:协变和代数推理:通向代数的新途径
- 批准号:
2142000 - 财政年份:2022
- 资助金额:
$ 0.44万 - 项目类别:
Continuing Grant
Prisms, a novel immersive learning platform to increase proficiency on bottleneck topics in secondary STEM
Prisms,一种新颖的沉浸式学习平台,可提高中学 STEM 瓶颈主题的熟练程度
- 批准号:
10252740 - 财政年份:2021
- 资助金额:
$ 0.44万 - 项目类别:
Promoting Mathematical Reasoning and Transforming Instruction in College Algebra
促进数学推理并转变大学代数教学
- 批准号:
2013186 - 财政年份:2020
- 资助金额:
$ 0.44万 - 项目类别:
Continuing Grant
Reasoning Language for Teaching Secondary Algebra
用于中学代数教学的推理语言
- 批准号:
2001116 - 财政年份:2019
- 资助金额:
$ 0.44万 - 项目类别:
Standard Grant
Reasoning Language for Teaching Secondary Algebra
用于中学代数教学的推理语言
- 批准号:
1908825 - 财政年份:2019
- 资助金额:
$ 0.44万 - 项目类别:
Standard Grant
Implementing Techtivities to Promote Students' Covariational Reasoning in College Algebra (ITSCoRe)
实施技术活动以促进学生在大学代数中的协变推理 (ITSCoRe)
- 批准号:
1709903 - 财政年份:2017
- 资助金额:
$ 0.44万 - 项目类别:
Standard Grant
CAREER: Investigating Changes in Students' Prior Mathematical Reasoning: An Exploration of Backward Transfer Effects in School Algebra
职业:调查学生先前数学推理的变化:学校代数中的后向迁移效应的探索
- 批准号:
1651571 - 财政年份:2017
- 资助金额:
$ 0.44万 - 项目类别:
Continuing Grant
CAREER: Supporting Students' Proof Practices Through Quantitative Reasoning in Algebra
职业:通过代数定量推理支持学生的证明实践
- 批准号:
1743356 - 财政年份:2016
- 资助金额:
$ 0.44万 - 项目类别:
Continuing Grant
Semiotic research of transition from arithmetic to algebra based on algebraic reasoning
基于代数推理的算术向代数过渡的符号学研究
- 批准号:
24730744 - 财政年份:2012
- 资助金额:
$ 0.44万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
Pre-K Early Algebra through Quantitative Reasoning (PreKEA)
通过定量推理学前班的早期代数 (PreKEA)
- 批准号:
1212766 - 财政年份:2011
- 资助金额:
$ 0.44万 - 项目类别:
Standard Grant














{{item.name}}会员




