中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

重庆绿色智能技术研究... [5]

清华大学 [2]

北京大学 [2]

自动化研究所 [2]

大连理工大学 [1]

数学与系统科学研究院 [1]

内容类型

期刊论文 [7]

会议论文 [3]

学位论文 [1]

发表日期

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

浏览/检索结果: 共13条，第1-10条

帮助

已选(0)清除条数/页：排序方式：
	Computing real radicals and S-radicals of polynomial systems 期刊论文 JOURNAL OF SYMBOLIC COMPUTATION, 2021, 卷号: 102, 页码: 259-278 作者: El Din, Mohab Safey; Yang, Zhi-Hong; Zhi, Lihong 收藏 \| 浏览/下载：79/0 \| 提交时间：2020/09/23 Polynomial system Real radical S-radical ideal Semi-algebraic set Real algebraic geometry
	PARAMETERIZED INEQUALITIES ABOUT A POINT IN THE PLANE OF A TRIANGLE 期刊论文 JOURNAL OF MATHEMATICAL INEQUALITIES, 2018, 卷号: 12, 期号: 4, 页码: 953-960 作者: Huang, Fangjian; Li, Yi 收藏 \| 浏览/下载：15/0 \| 提交时间：2019/01/15 Geometric inequality real algebraic geometry barycentric coordinates
	Revealing bistability in neurological disorder models by solving parametric polynomial systems geometrically 会议论文 Suzhou, China, September 16, 2018 - September 19, 2018 作者: Chen, Changbo; Wu, Wenyuan 收藏 \| 浏览/下载：16/0 \| 提交时间：2019/06/25
	Computing real witness points of positive dimensional polynomial systems 期刊论文 THEORETICAL COMPUTER SCIENCE, 2017, 卷号: 681, 页码: 217-231 作者: Wu, Wenyuan; Reid, Greg; Feng, Yong 收藏 \| 浏览/下载：22/0 \| 提交时间：2018/03/05 Numerical algebraic geometry Real algebraic geometry Homotopy continuation Singular critical points Real witness points
	Special algorithm for stability analysis of multistable biological regulatory systems 其他 2015-01-01 Hong, Hoon; Tang, Xiaoxian; Xia, Bican 收藏 \| 浏览/下载：8/0 \| 提交时间：2017/12/03 Quantifier elimination Root classification Biological regulation system Stability CYLINDRICAL ALGEBRAIC DECOMPOSITION APPLYING QUANTIFIER ELIMINATION COMPUTATIONAL-COMPLEXITY 1ST-ORDER THEORY 3-DIMENSIONAL SPACE IMPROVED PROJECTION DECISION PROBLEM GEOMETRY REALS PRELIMINARIES
	Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition 会议论文 Coimbra, Portugal, July 7, 2014 - July 11, 2014 作者: England, Matthew; Bradford, Russell; Chen, Changbo; Davenport, James H.; Maza, Marc Moreno 收藏 \| 浏览/下载：16/0 \| 提交时间：2018/03/16
	Cylindrical algebraic decomposition in the RegularChains library 会议论文 Seoul, Korea, Republic of, August 5, 2014 - August 9, 2014 作者: Chen, Changbo; Moreno Maza, Marc 收藏 \| 浏览/下载：12/0 \| 提交时间：2018/03/16
	On Lagrangian submanifolds in complex hyperquadrics and isoparametric hypersurfaces in spheres 期刊论文 2010, 2010 Ma, Hui; Ohnita, Yoshihiro 收藏 \| 浏览/下载：2/0
	微型计算机断层成像及其与自发荧光断层成像多模态融合的研究学位论文工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2010 作者: 朱守平收藏 \| 浏览/下载：84/0 \| 提交时间：2015/09/02 分子影像 Micro-CT CT重建自发荧光断层成像多模态融合 Molecular imaging Micro-CT CT reconstruction Bioluminescence tomography Multimodality integration
	Study on relative orbit geometry of spacecraft formations in elliptical reference orbits 期刊论文 2010, 2010 Jiang, Fanghua; Li, Junfeng; Baoyin, Hexi; Gao, Yunfeng 收藏 \| 浏览/下载：3/0

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

©版权所有 ©2017 CSpace - Powered by CSpace