刷新
{{item.name}}会员
The order of a modulo p and variations of artin`s conjecture
模 p 的阶数和 artin 猜想的变体
基本信息
- 批准号：363233-2008
- 负责人：
- 金额：$ 1.53万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Postgraduate Scholarships - Doctoral
- 财政年份：2009
- 资助国家：加拿大
- 起止时间：2009-01-01 至 2010-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 }}
Felix, Adam其他文献
Felix, Adam的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Felix, Adam', 18)}}的其他基金
The order of a modulo p and variations of artin`s conjecture
模 p 的阶数和 artin 猜想的变体
- 批准号：
363233-2008 - 财政年份：2010
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
The order of a modulo p and variations of artin`s conjecture
模 p 的阶数和 artin 猜想的变体
- 批准号：
363233-2008 - 财政年份：2008
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
相似国自然基金
Orlicz-Sobolev空间的点态结构与Modulo方法
- 批准号：11771273
- 批准年份：2017
- 资助金额：48.0 万元
- 项目类别：面上项目
相似海外基金
Collaborative Research: SHF: Small: Integrating Synthesis and Optimization in Satisfiability Modulo Theories
合作研究：SHF：小型：在可满足性模理论中集成综合和优化
- 批准号：
2006407 - 财政年份：2020
- 资助金额：
$ 1.53万 - 项目类别：
Standard Grant
Collaborative Research: SHF: Small: Integrating Synthesis and Optimization in Satisfiability Modulo Theories
合作研究：SHF：小型：在可满足性模理论中集成综合和优化
- 批准号：
2006542 - 财政年份：2020
- 资助金额：
$ 1.53万 - 项目类别：
Standard Grant
A Method for Integrating Allocation and Binding in Modulo Scheduling using Complex Sub-circuits
复杂子电路模调度中分配与绑定结合的方法
- 批准号：
420658696 - 财政年份：2019
- 资助金额：
$ 1.53万 - 项目类别：
Research Grants
Verifying engineering systems using satisfiability modulo theories
使用可满足性模理论验证工程系统
- 批准号：
536684-2018 - 财政年份：2018
- 资助金额：
$ 1.53万 - 项目类别：
Engage Plus Grants Program
Integer flows, circular flow indices and modulo orientations
整数流量、循环流量指数和模方向
- 批准号：
1700218 - 财政年份：2017
- 资助金额：
$ 1.53万 - 项目类别：
Continuing Grant
Enhancing mathematical theory coverage in satisfiability modulo theory solvers
增强可满足性模理论求解器中的数学理论覆盖范围
- 批准号：
520750-2017 - 财政年份：2017
- 资助金额：
$ 1.53万 - 项目类别：
Engage Grants Program
Studies on K3 surfaces and related varieties using reduction modulo p
使用约简模 p 研究 K3 表面和相关品种
- 批准号：
16K17560 - 财政年份：2016
- 资助金额：
$ 1.53万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
SHF: Small: Compiler Validation via Equivalence Modulo Inputs
SHF：小型：通过等效模输入进行编译器验证
- 批准号：
1528133 - 财政年份：2015
- 资助金额：
$ 1.53万 - 项目类别：
Standard Grant
Study of the reduction modulo positive characteristics in algebraic geometry
代数几何中模正约化特性的研究
- 批准号：
26707002 - 财政年份：2014
- 资助金额：
$ 1.53万 - 项目类别：
Grant-in-Aid for Young Scientists (A)
TWC: Small: Collaborative: Extensible Symbolic Analysis Modulo SMT: Combining the Powers of Rewriting, Narrowing, and SMT Solving in Maude
TWC：小：协作：可扩展符号分析 Modulo SMT：结合 Maude 中重写、缩小和 SMT 求解的能力
- 批准号：
1319109 - 财政年份：2013
- 资助金额：
$ 1.53万 - 项目类别：
Standard Grant