An introduction to Wu's method for mechanical theorem proving in geometry

Geometry theorem proving by decomposing polynomial system into strong regular sets

Journal of Computer Science and Technology

Theorem Proving for Verification (Invited Tutorial)

CAV '08 Proceedings of the 20th international conference on Computer Aided Verification

A correct rule-based geometric constraint solver

Computers and Graphics

A short survey of automated reasoning

AB'07 Proceedings of the 2nd international conference on Algebraic biology

A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs

Electronic Notes in Theoretical Computer Science (ENTCS)