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

验证码:

换一张

忘记密码？记住我

取消登录

CORC

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

在结果中检索

科研机构

北京大学 [8]

大连理工大学 [1]

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

浙江工商大学 [1]

软件研究所 [1]

内容类型

期刊论文 [4]

发表日期

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

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

帮助

已选(0)清除条数/页：排序方式：
	Open weak CAD and its applications 其他 2017-01-01 Han, Jingjun; Dai, Liyun; Hong, Hoon; Xia, Bican 收藏 \| 浏览/下载：7/0 \| 提交时间：2017/12/03 Open weak CAD Open weak delineable CAD projection Semi-definiteness Copositivity CYLINDRICAL ALGEBRAIC DECOMPOSITION QUANTIFIER ELIMINATION COPOSITIVE MATRICES IMPROVED PROJECTION INEQUALITIES COMPLEXITY
	Quantifier elimination by cylindrical algebraic decomposition based on regular chains 期刊论文 JOURNAL OF SYMBOLIC COMPUTATION, 2016, 卷号: 75, 页码: 74-93 作者: Chen, Changbo; Maza, Marc Moreno 收藏 \| 浏览/下载：17/0 \| 提交时间：2018/03/15 Quantifier elimination Cylindrical algebraic decomposition Regular chains Triangular decomposition
	Multivariate Discriminant and Iterated Resultant 其他 2016-01-01 Han, Jing Jun 收藏 \| 浏览/下载：4/0 \| 提交时间：2017/12/03 Cylindrical algebraic decomposition semi-definiteness polynomial resultant multivariate discriminant IMPROVED PROJECTION
	Computing Reachable Sets of Linear Vector Fields Revisited 其他 2016-01-01 Gan, Ting; Chen, Mingshuai; Li, Yangjia; Xia, Bican; Zhan, Naijun 收藏 \| 浏览/下载：3/0 \| 提交时间：2017/12/03 CYLINDRICAL ALGEBRAIC DECOMPOSITION HYBRID SYSTEMS QUANTIFIER ELIMINATION IMPROVED PROJECTION VERIFICATION
	Multiphase until formulas over Markov reward models: An algebraic approach 期刊论文 THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 611, 页码: 116-135 Xu, M; Zhang, LJ; Jansen, DN; Zhu, HB; Yang, ZY 收藏 \| 浏览/下载：12/0 \| 提交时间：2016/12/13 Probabilistic model checking Markov reward model Continuous stochastic logic Cylindrical algebraic decomposition Transcendental number
	Proving inequalities and solving global optimization problems via simplified CAD projection 其他 2015-01-01 Han, Jingjun; Jin, Zhi; Xia, Bican 收藏 \| 浏览/下载：6/0 \| 提交时间：2017/12/03 CAD projection Global optimization Semi-definiteness Polynomials CYLINDRICAL ALGEBRAIC DECOMPOSITION POLYNOMIAL INEQUALITIES QUANTIFIER ELIMINATION EXISTENTIAL THEORY SETS COEFFICIENTS COMPLEXITY SYSTEMS THEOREM SQUARES
	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
	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
	Real zeros of the zero-dimensional parametric piecewise algebraic variety 期刊论文 SCIENCE IN CHINA SERIES A-MATHEMATICS, 2009, 卷号: 52, 页码: 817-832 作者: Lai YiSheng; Wang RenHong; Wu JinMing 收藏 \| 浏览/下载：5/0 \| 提交时间：2019/12/24 piecewise algebraic variety partial cylindrical algebraic decomposition number of real zeros
	Real zeros of the zero-dimensional parametric piecewise algebraic variety 期刊论文 2009, 卷号: 52, 期号: 4, 页码: 817 作者: YiSheng Lai; RenHong Wang; JinMing Wu 收藏 \| 浏览/下载：3/0 \| 提交时间：2019/12/26 piecewise algebraic variety partial cylindrical algebraic decomposition number of real zeros

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

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

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

中文简体

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