Yang Zhang

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 4

Top Topics

Data Transmission

Prime Implicants

Decision Procedures

Top Venues

J. Formaliz. Reason.

Comput. Appl. Math.

J. Autom. Reason.

Publications

Zhuo-Heng He, Wei-Lu Qin, Jie Tian, Xiang-Xiang Wang, Yang Zhang
A new Sylvester-type quaternion matrix equation model for color image data transmission. Comput. Appl. Math. 43 (4) (2024)
G. I. Moghaddam, Ranganathan Padmanabhan, Yang Zhang
Automated Reasoning with Power Maps. J. Autom. Reason. 64 (4) (2020)
Ranganathan Padmanabhan, Yang Zhang
Commutativity Theorems in Groups with Power-like Maps. J. Formaliz. Reason. 12 (1) (2019)
Ranganathan Padmanabhan, Yang Zhang
Automated Deduction in Ring Theory. ICMS (2016)