Concepedia

Bican Xia

BX

27

Publications

998

Citations

19

H-Index

1997

Active since

Affiliations

Peking University(Current)

Western University

Chinese Academy of Sciences

University of Bath

Institute of Software

Bican Xia is an author at Peking University specializing in engineering, computer science, and mathematical programming.

Top concepts

EngineeringComputer ScienceMathematical ProgrammingFormal MethodsStabilityDiscrete MathematicsComputational ComplexityNumerical AnalysisFormal VerificationSystems Engineering

Publications per year

1997–2019

27

Publications

27

A complete algorithm for automated discovering of a class of inequality-type theorems

Yang Lu, Xiaorong Hou, Bican Xia · Science in China Series F Information Sciences · 2001 · 126 citations

Mathematical Programming, Computational Complexity Theory, Engineering +14

Computing cylindrical algebraic decomposition via triangular decomposition

Changbo Chen, Marc Moreno Maza, Bican Xia et al. · 2009 · 98 citations

Numerical Analysis, Geometric Modeling, Numerical Computation +12

An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems

Bican Xia, Yang Lu · Journal of Symbolic Computation · 2002 · 76 citations

Mathematical Programming, Algebraic Structure, Algebraic Method +4

Barrier certificates revisited

Liyun Dai, Ting Gan, Bican Xia et al. · Journal of Symbolic Computation · 2016 · 71 citations

Public Key Infrastructure, Engineering, Barrier Certificates +9

Bican Xia · ACM communications in computer algebra · 2007 · 67 citations

Abstract Object Theory

Rows per page

1–5 of 27