The Parallel Numerical Method of Mechanical Theorem Proving. - Jingzhong Zhang; Lu Yang; Mike Deng (Theor. Comput. Sci., 1990)

The intelligent CAI system for chemistry based on automated reasoning. - Xiaojing Wang; Jingzhong Zhang (J. Comput. Sci. Technol., 1999)

A Set of Geometric Invariants for Kinematic Analysis of 6R Manipulators. - Hongguang Fu; Lu Yang; Jingzhong Zhang (Int. J. Robotics Res., 2000)

On Number of Circles Intersected by a Line. - Lu Yang; Jingzhong Zhang; Weinian Zhang (J. Comb. Theory A, 2002)

An Introduction to Logical Animation. - Jingzhong Zhang; Chuanzhong Li (IWMM/GIAE, 2004)

Exact polynomial factorization by approximate high degree algebraic numbers. - Jingwei Chen; Yong Feng; Xiaolin Qin; Jingzhong Zhang (SNC, 2009)

Finding exact minimal polynomial by approximations. - Xiaolin Qin; Yong Feng; Jingwei Chen; Jingzhong Zhang (SNC, 2009)

Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method. - Yu Zou; Jingzhong Zhang (Automated Deduction in Geometry, 2010)

Exact Bivariate Polynomial Factorization in Q by Approximation of Roots - Yong Feng; Wenyuan Wu; Jingzhong Zhang (CoRR, 2010)

Detecting Simultaneous Integer Relations for Several Real Vectors - Jingwei Chen; Yong Feng; Xiaolin Qin; Jingzhong Zhang (CoRR, 2010)

Obtaining exact interpolation multivariate polynomial by approximation. - Yong Feng; Xiaolin Qin; Jingzhong Zhang; Xun Yuan (J. Syst. Sci. Complex., 2011)

The expansion of real forms on the simplex and applications - Yong Yao; Jia Xu; Jingzhong Zhang (CoRR, 2012)

A complete algorithm to find exact minimal polynomial by approximations. - Xiaolin Qin; Yong Feng; Jingwei Chen; Jingzhong Zhang (Int. J. Comput. Math., 2012)

A review and prospect of readable machine proofs for geometry theorems. - Jianguo Jiang; Jingzhong Zhang (J. Syst. Sci. Complex., 2012)

Parallel computation of real solving bivariate polynomial systems by zero-matching method. - Xiaolin Qin; Yong Feng; Jingwei Chen; Jingzhong Zhang (Appl. Math. Comput., 2013)

The Sustainability of Digital Educational Resources. - Yongsheng Rao; Ying Wang; Yu Zou; Jingzhong Zhang (ICMS, 2014)

Mouse IDGenes: a reference database for genetic interactions in the developing mouse brain. - Michaela Matthes; Martin Preusse; Jingzhong Zhang; Julia Schechter; Daniela Mayer; Bernd Lentes; Fabian J. Theis; Nilima Prakash; Wolfgang Wurst; Dietrich Trümbach (Database J. Biol. Databases Curation, 2014)

Exact bivariate polynomial factorization over ℚ by approximation of roots. - Yong Feng; Wenyuan Wu; Jingzhong Zhang; Jingwei Chen (J. Syst. Sci. Complex., 2015)

Improving data field hierarchical clustering using Barnes-Hut algorithm. - Zhongliu Zhuo; Xiaosong Zhang 001; Weina Niu; Guowu Yang; Jingzhong Zhang (Pattern Recognit. Lett., 2016)

A multi-granularity heuristic-combining approach for censorship circumvention activity identification. - Zhongliu Zhuo; Xiaosong Zhang 001; Ruixing Li; Ting Chen 002; Jingzhong Zhang (Secur. Commun. Networks, 2016)

An advanced operating environment for mathematics education resources. - Yongsheng Rao; Jingzhong Zhang; Yu Zou; Yanchun Sun; Xiangping Chen; Songhua Xu (Sci. China Inf. Sci., 2018)

Website Fingerprinting Attack on Anonymity Networks Based on Profile Hidden Markov Model. - Zhongliu Zhuo; Yang Zhang 006; Zhi-Li Zhang; Xiaosong Zhang 001; Jingzhong Zhang (IEEE Trans. Inf. Forensics Secur., 2018)

Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu's Method Identity. - Jingzhong Zhang; Xicheng Peng; Mao Chen 002 (J. Syst. Sci. Complex., 2019)

Video Preview Generation for Interactive Educational Digital Resources based on the GUI Traversal. - Xiaohong Shi; Chao Ma; Yongsheng Rao; Xiangping Chen; Jingzhong Zhang (Intell. Autom. Soft Comput., 2020)

Automatic recommendation of user interface examples for mobile app development. - Xiaohong Shi; Xiangping Chen; Yongsheng Rao; Kaiyuan Li; Zhensheng Xu; Jingzhong Zhang (Int. J. Comput. Sci. Eng., 2020)

Automated Discovery of Geometric Theorems Based on Vector Equations. - Xicheng Peng; Qihang Chen; Jingzhong Zhang; Mao Chen 002 (J. Autom. Reason., 2021)

Attention-Based Densely Connected Convolutional Network for Chromosome Classification. - Zhenjia Gong; Bo Peng 008; Ao Shen; Yan Gong; Jingzhong Zhang; Song Lang; Yanwei Zhang; Linyu Xu; Hanqing Zheng; Yakang Dai; Chunying Pang (ICCAI, 2022)

Improved One-Stage Detectors with Neck Attention Block for Object Detection in Remote Sensing. - Kaiqi Lang; Mingyu Yang; Hao Wang; Hanyu Wang; Zilong Wang; Jingzhong Zhang; Honghai Shen (Remote. Sens., 2022)

Optimal Compensation of MEMS Gyroscope Noise Kalman Filter Based on Conv-DAE and MultiTCN-Attention Model in Static Base Environment. - Zimin Huo; Fuchao Wang; Honghai Shen; Xin Sun; Jingzhong Zhang; Yaobin Li; Hairong Chu (Sensors, 2022)

Linear-Nonlinear Switching Active Disturbance Rejection Speed Controller for Permanent Magnet Synchronous Motors. - Ying Qu; Bin Zhang; Hairong Chu; Xiaoxia Yang; Honghai Shen; Jingzhong Zhang (Sensors, 2022)

Design of Compact Mid-Infrared Cooled Echelle Spectrometer Based on Toroidal Uniform-Line-Spaced (TULS) Grating. - Qingyu Wang; Honghai Shen; Weiqi Liu; Jingzhong Zhang; Ling-Tong Meng (Sensors, 2022)

Self-evident Automated Geometric Theorem Proving Based on Complex Number Identity. - Xicheng Peng; Jingzhong Zhang; Mao Chen 002; Sannyuya Liu (J. Autom. Reason., 2023)