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

验证码:

换一张

忘记密码？记住我

取消登录

CORC

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

在结果中检索

科研机构

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

大连理工大学 [2]

软件研究所 [2]

北京大学 [1]

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

中国农业科学院 [1]

内容类型

期刊论文 [9]

会议论文 [2]

发表日期

学科主题

Computer S... [1]

biochemist... [1]

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

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

帮助

已选(0)清除条数/页：排序方式：
	On the Topology and Isotopic Meshing of Plane Algebraic Curves 期刊论文 JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2020, 卷号: 33, 期号: 1, 页码: 230-260 作者: Jin, Kai; Cheng, Jinsan 收藏 \| 浏览/下载：13/0 \| 提交时间：2020/05/24 Interval polynomial isotopic meshing plane curve topology
	Numerical method for real root isolation of semi-algebraic system and its applications 期刊论文 Journal of Computational and Theoretical Nanoscience, 2016, 卷号: 13, 期号: 1, 页码: 803-811 作者: Ji, Zhenyi; Wu, Wenyuan; Feng, Yong; Li, Yi; Qin, Xiao Lin 收藏 \| 浏览/下载：19/0 \| 提交时间：2018/03/16
	Decidability of the Reachability for a Family of Linear Vector Fields 其他 2015-01-01 Gan, Ting; Chen, Mingshuai; Dai, Liyun; Xia, Bican; Zhan, Naijun 收藏 \| 浏览/下载：7/0 \| 提交时间：2017/12/03 Tarski&apos Polynomial-exponential function Reachability Real root isolation Cylindrical Algebraic Decomposition (CAD) CYLINDRICAL ALGEBRAIC DECOMPOSITION QUANTIFIER ELIMINATION HYBRID SYSTEMS IMPROVED PROJECTION AUTOMATA s algebra
	Numerical Method for Computing the Stable Equilibrium of High Dimensional Predator Prey System 期刊论文 JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE, 2014, 卷号: 11, 期号: 9, 页码: 1942-1946 作者: Ji, Zhenyi; Liu, Zijian; Wu, Wenyuan; Feng, Yong; Li, Yi 收藏 \| 浏览/下载：10/0 \| 提交时间：2018/03/15 Homotopy Method Real Root Isolation Stability Analysis Lyapunov's First Method
	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
	Some decidable results on reachability of solvable systems 期刊论文 INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2013, 卷号: 42, 期号: 4, 页码: 405-425 Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin 收藏 \| 浏览/下载：19/0 \| 提交时间：2014/12/16 reachability analysis solvable mappings nonlinear systems hybrid systems symbolic computation decision procedures
	Isolation and characterization of a gene from Medicago sativa L., encoding a bZIP transcription factor 期刊论文 MOLECULAR BIOLOGY REPORTS, 2013, 卷号: 40, 期号: 2, 页码: 1227-1239 作者: Li, Yan; Sun, Yan; Yang, Qingchuan; Fang, Feng; Kang, Junmei 收藏 \| 浏览/下载：1/0 \| 提交时间：2016/12/06 Medicago Sativa L Gene cloning Subcellular localization Real time fluorescent quantitative PCR analysis Transgenic tobacco analysis
	Real root isolation of zero-dimensional piecewise algebraic variety 期刊论文 2011, 卷号: 29, 期号: 1-2, 页码: 135 作者: 吴金明[1]; 张晓磊[2] 收藏 \| 浏览/下载：3/0 \| 提交时间：2019/12/26 real root isolation piecewise polynomial zero- dimensional piecewise algebraic variety univariate interval polynomial
	a heuristic approach to positive root isolation for multiple power sums 期刊论文 JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2010, 卷号: 16, 期号: 14, 页码: 1912-1926 Xu Ming; Mu Chuandong; Zeng Zhenbing; Li Zhi-bin 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/05/23 multiple power sums root isolation root bounds Descartes sign rule Fouriers theorem
	Isolating the real roots of the piecewise algebraic variety 期刊论文 COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2009, 卷号: 57, 页码: 565-570 作者: Zhang, Xiaolei; Wang, Renhong 收藏 \| 浏览/下载：9/0 \| 提交时间：2019/12/24 Real root isolation Piecewise algebraic variety Semi-algebraic set Univariate interval polynomial Interval zero

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

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

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

中文简体

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