Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Xia, Bican - School of Mathematical Sciences, Peking University
An InternationalJoumal Available online at www.sciencedirect.com computers &
A SEMI-ALGEBRAIC APPROACH FOR THE COMPUTATION OF LYAPUNOV FUNCTIONS
Computing Cylindrical Algebraic Decomposition via Triangular Decomposition
A New Method for Real Root Isolation of Uni-variate Polynomials
Reprint from the Bulletin of the Belgian Mathematical Society Simon Stevin On a Cubic System with Eight Limit Cycles
REDLOG as a Tool in Symbolic Algebra and Trustworthy Computing
DISCOVERER: A tool for solving problems involving polynomial inequalities
Can Algebraic Geometry Rescue Program Verification?
""General -Purpose Electronic Digital Computer
Preliminaries Filled function . . .
arXiv:1011.1634v1[cs.SC]7Nov2010 Zero Decomposition with Multiplicity of
Nonlinear Analysis: Hybrid Systems 3 (2009) 588596 Contents lists available at ScienceDirect
Vol. 41, No. 3, September 2007 ISSAC 2007 Software Demonstration Abstracts Software Exhibition Abstracts
Quantifier Elimination for Quartics and Bican Xia2,
Algebraic Biology 2005 1 Algebraic Analysis of Stability for Some Biological Systems
Stability Analysis of Biological Systems with Real Solution Classification
doi:10.1006/jsco.2002.0572 Available online at http://www.idealibrary.com on
A Complete Algorithm for Counting Real Solutions of Polynomial Systems of Equations and Inequalities
An effective algorithm for isolating the real solutions of semi-algebraic systems and its applications
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University
Program Verification by Using DISCOVERER , Naijun Zhan2
First Prev Next Last Go Back Full Screen Close Quit Topology Determination of Algebraic Curves and
Science in China Series F: Information Sciences 2007 SCIENCE IN CHINA PRESS
PSEUDO-DIVISION MACHINE (I): A MODEL OF SYMBOLIC COMPUTATION
Real Solution Isolation Based on Interval Krawczyk Operator
March 27, 2006 12:38 WSPC/Trim Size: 9in x 6in for Review Volume yangxia3 AUTOMATED DEDUCTION IN REAL GEOMETRY
arXiv:0906.3065v1[cs.SC]17Jun2009 Real Solution Isolation with Multiplicity of
Math.comput.sci. 1 (2007), 305320 c 2007 Birkhauser Verlag Basel/Switzerland
Solving Parametric Semi-Algebraic Systems Bican Xia, Rong Xiao
Program Verification by Reduction to Semi-Algebraic System Solving
Classification of Intersection Curves of Two Quadrics
Pillwein's Proof of Schoberl's Conjecture
Real Solution Classification for Parametric Semi-Algebraic Systems