刷新
Developments ofcomputational theory of real algebraic geometry for optimization problem
最优化问题实代数几何计算理论的进展
基本信息
- 批准号：21340025
- 负责人：
- 金额：$ 10.98万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (B)
- 财政年份：2009
- 资助国家：日本
- 起止时间：2009 至 2012
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
In this project we have developed effective and efficient quantifier elimination algorithms for optimization problems. We had many original results on quantifier elimination algorithms and published them in international academic journals. Moreover, we also published textbooks on quantifier elimination and optimization.
在这个项目中，我们为优化问题开发了有效，有效的量词消除算法。我们在消除量化算法上有许多原始结果，并将其发布在国际学术期刊上。此外，我们还发表了有关量化器消除和优化的教科书。
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
自然言語処理と計算代数の接合による数学問題へのアプローチ(<特集>ロボットは東大に入れるか?)
结合自然语言处理和计算代数解决数学问题的方法（<特辑>机器人能考上东京大学吗？）
- DOI：
- 发表时间：2012
- 期刊：
- 影响因子：0
- 作者：相澤 彰子;松崎 拓也;穴井 宏和
- 通讯作者：穴井 宏和
CAD における i-projection operator 導入による QE の効率化
CAD中引入i投影算子提高QE效率
- DOI：
- 发表时间：2010
- 期刊：
- 影响因子：0
- 作者：岩根秀直;穴井宏和;屋並仁史
- 通讯作者：屋並仁史
An SOS-QE Approach to Nonlinear Gain Analysis
非线性增益分析的 SOS-QE 方法
- DOI：
- 发表时间：2011
- 期刊：
- 影响因子：0
- 作者：H.Ichihara;H.Anai
- 通讯作者：H.Anai
A Symbolic-Numeric Approach to Some Classes of Parametric Optimization Problems for Manufacturing Design
制造设计某些类参数优化问题的符号数值方法
- DOI：
- 发表时间：2009
- 期刊：
- 影响因子：0
- 作者：H.Iwane;et al.
- 通讯作者：et al.
{{
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 }}
ANAI Hirokazu其他文献
ANAI Hirokazu的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
大規模行列方程式に対するクリロフ部分空間法の躍進とリーマニアン最適化への応用
大规模矩阵方程Krylov子空间方法的研究进展及其在黎曼优化中的应用
- 批准号：
21K11925 - 财政年份：2021
- 资助金额：
$ 10.98万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Analysis and Synthesis of Discontinuous Dynamical Systems Based on Finite-Time Reachable Set
基于有限时间可达集的不连续动力系统分析与综合
- 批准号：
19K04444 - 财政年份：2019
- 资助金额：
$ 10.98万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Development of Innovative Auto-tuning Middleware With Deep Learning
利用深度学习开发创新的自动调优中间件
- 批准号：
18K19782 - 财政年份：2018
- 资助金额：
$ 10.98万 - 项目类别：
Grant-in-Aid for Challenging Research (Exploratory)
Calculation of blending surfaces with approximate Syzygies
使用近似 Syzygies 计算混合曲面
- 批准号：
16K05035 - 财政年份：2016
- 资助金额：
$ 10.98万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Robust and Efficient Solutions of Large Sparse Constrained Eigenproblems
大型稀疏约束本征问题的鲁棒高效解决方案
- 批准号：
16K17639 - 财政年份：2016
- 资助金额：
$ 10.98万 - 项目类别：
Grant-in-Aid for Young Scientists (B)