BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Bican Xia
SearchCollections
Map detail
Bican Xia13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipBican XiaABican XiaResearcherSquare-free Strong Triangular Decomposition of Zero-dimensional Polynomial SystemsWSquare-free Strong Tria...preprint / 2022Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal StructureWChoosing the Variable O...preprint / 2021Nonlinear Craig Interpolant GenerationWNonlinear Craig Interpo...preprint / 2020Solving Satisfiability of Polynomial Formulas By Sample-Cell ProjectionWSolving Satisfiability ...preprint / 2020Generating Non-Linear Interpolants by Semidefinite ProgrammingWGenerating Non-Linear I...preprint / 2013logcf: An Efficient Tool for Real Root IsolationWlogcf: An Efficient Too...preprint / 2012Stability of Triangular Decomposition and Comprehensive Triangular DecompositionWStability of Triangular...preprint / 2012Deciding Nonnegativity of Polynomials by MAPLEWDeciding Nonnegativity ...preprint / 2013Smaller SDP for SOS DecompositionWSmaller SDP for SOS Dec...preprint / 2015Zero Decomposition with Multiplicity of Zero-Dimensional Polynomial SystemsWZero Decomposition with...preprint / 2010Non-Termination Sets of Simple Linear LoopsWNon-Termination Sets of...preprint / 2012Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-PolynomialWIsolating Bounded and U...preprint / 2023
Person12 links

Bican Xia

Researcher

PaperSquare-free Strong Triangular Decomposition of Zero-dimensional Polynomial SystemsAuthorship / preprint / 2022PaperChoosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal StructureAuthorship / preprint / 2021PaperNonlinear Craig Interpolant GenerationAuthorship / preprint / 2020PaperSolving Satisfiability of Polynomial Formulas By Sample-Cell ProjectionAuthorship / preprint / 2020PaperGenerating Non-Linear Interpolants by Semidefinite ProgrammingAuthorship / preprint / 2013Paperlogcf: An Efficient Tool for Real Root IsolationAuthorship / preprint / 2012PaperStability of Triangular Decomposition and Comprehensive Triangular DecompositionAuthorship / preprint / 2012PaperDeciding Nonnegativity of Polynomials by MAPLEAuthorship / preprint / 2013

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)