Automated reasoning in algebra, geometry and combinatorics

代数、几何和组合学中的自动推理

基本信息

  • 批准号:
    8215-2002
  • 负责人:
  • 金额:
    $ 0.44万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Individual
  • 财政年份:
    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 }}

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
  • 财政年份:
    2005
  • 资助金额:
    $ 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
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了