Dongming Wang

Elimination Methods

Automated Deduction In Geometry

Distributed Mimo And Cell-Free Mobile Communication

Mathematics Mechanization And Applications

Automated Practical Reasoning: Algebraic Approaches (Texts And Monographs In Symbolic Computation)

Large-Scale Wind Power Grid Integration