Jingzhong Zhang

According to our database, Jingzhong Zhang authored at least 31 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Self-evident Automated Geometric Theorem Proving Based on Complex Number Identity.

Xicheng Peng, Jingzhong Zhang, Mao Chen, Sannyuya Liu

J. Autom. Reason., December, 2023

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

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

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

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

Attention-Based Densely Connected Convolutional Network for Chromosome Classification.

Zhenjia Gong, Bo Peng, Ao Shen, Yan Gong, Jingzhong Zhang, Song Lang, Yanwei Zhang, Linyu Xu, Hanqing Zheng, Yakang Dai, Chunying Pang

Proceedings of the ICCAI '22: 8th International Conference on Computing and Artificial Intelligence, Tianjin, China, March 18, 2022

2021

Automated Discovery of Geometric Theorems Based on Vector Equations.

Xicheng Peng, Qihang Chen, Jingzhong Zhang, Mao Chen

J. Autom. Reason., 2021

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

2019

Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu's Method Identity.

Jingzhong Zhang, Xicheng Peng, Mao Chen

J. Syst. Sci. Complex., 2019

2018

Website Fingerprinting Attack on Anonymity Networks Based on Profile Hidden Markov Model.

Zhongliu Zhuo, Yang Zhang, Zhi-Li Zhang, Xiaosong Zhang, Jingzhong Zhang

IEEE Trans. Inf. Forensics Secur., 2018

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

2016

A multi-granularity heuristic-combining approach for censorship circumvention activity identification.

Zhongliu Zhuo, Xiaosong Zhang, Ruixing Li, Ting Chen, Jingzhong Zhang

Secur. Commun. Networks, 2016

Improving data field hierarchical clustering using Barnes-Hut algorithm.

Zhongliu Zhuo, Xiaosong Zhang, Weina Niu, Guowu Yang, Jingzhong Zhang

Pattern Recognit. Lett., 2016

2015

Exact bivariate polynomial factorization over ℚ by approximation of roots.

Yong Feng, Wenyuan Wu, Jingzhong Zhang, Jingwei Chen

J. Syst. Sci. Complex., 2015

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

The Sustainability of Digital Educational Resources.

Yongsheng Rao, Ying Wang, Yu Zou, Jingzhong Zhang

Proceedings of the Mathematical Software - ICMS 2014, 2014

2013

Parallel computation of real solving bivariate polynomial systems by zero-matching method.

Xiaolin Qin, Yong Feng, Jingwei Chen, Jingzhong Zhang

Appl. Math. Comput., 2013

2012

A review and prospect of readable machine proofs for geometry theorems.

Jianguo Jiang, Jingzhong Zhang

J. Syst. Sci. Complex., 2012

A complete algorithm to find exact minimal polynomial by approximations.

Xiaolin Qin, Yong Feng, Jingwei Chen, Jingzhong Zhang

Int. J. Comput. Math., 2012

The expansion of real forms on the simplex and applications

Yong Yao, Jia Xu, Jingzhong Zhang

CoRR, 2012

2011

Obtaining exact interpolation multivariate polynomial by approximation.

Yong Feng, Xiaolin Qin, Jingzhong Zhang, Xun Yuan

J. Syst. Sci. Complex., 2011

2010

Detecting Simultaneous Integer Relations for Several Real Vectors

Jingwei Chen, Yong Feng, Xiaolin Qin, Jingzhong Zhang

CoRR, 2010

Exact Bivariate Polynomial Factorization in Q by Approximation of Roots

Yong Feng, Wenyuan Wu, Jingzhong Zhang

CoRR, 2010

Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method.

Yu Zou, Jingzhong Zhang

Proceedings of the Automated Deduction in Geometry - 8th International Workshop, 2010

2009

Finding exact minimal polynomial by approximations.

Xiaolin Qin, Yong Feng, Jingwei Chen, Jingzhong Zhang

Proceedings of the Symbolic Numeric Computation, 2009

Exact polynomial factorization by approximate high degree algebraic numbers.

Jingwei Chen, Yong Feng, Xiaolin Qin, Jingzhong Zhang

Proceedings of the Symbolic Numeric Computation, 2009

2004

An Introduction to Logical Animation.

Jingzhong Zhang, Chuanzhong Li

Proceedings of the Computer Algebra and Geometric Algebra with Applications, 2004

2002

On Number of Circles Intersected by a Line.

Lu Yang, Jingzhong Zhang, Weinian Zhang

J. Comb. Theory A, 2002

2000

A Set of Geometric Invariants for Kinematic Analysis of 6R Manipulators.

Hongguang Fu, Lu Yang, Jingzhong Zhang

Int. J. Robotics Res., 2000

1999

The intelligent CAI system for chemistry based on automated reasoning.

Xiaojing Wang, Jingzhong Zhang

J. Comput. Sci. Technol., 1999

1990

The Parallel Numerical Method of Mechanical Theorem Proving.

Jingzhong Zhang, Lu Yang, Mike Deng

Theor. Comput. Sci., 1990