Jingzhong Zhang

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Self-evident Automated Geometric Theorem Proving Based on Complex Number Identity.
J. Autom. Reason., December, 2023

2022
Design of Compact Mid-Infrared Cooled Echelle Spectrometer Based on Toroidal Uniform-Line-Spaced (TULS) Grating.
Sensors, 2022

Linear-Nonlinear Switching Active Disturbance Rejection Speed Controller for Permanent Magnet Synchronous Motors.
Sensors, 2022

Optimal Compensation of MEMS Gyroscope Noise Kalman Filter Based on Conv-DAE and MultiTCN-Attention Model in Static Base Environment.
Sensors, 2022

Improved One-Stage Detectors with Neck Attention Block for Object Detection in Remote Sensing.
Remote. Sens., 2022

Attention-Based Densely Connected Convolutional Network for Chromosome Classification.
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.
J. Autom. Reason., 2021

2020
Automatic recommendation of user interface examples for mobile app development.
Int. J. Comput. Sci. Eng., 2020

2019
Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu's Method Identity.
J. Syst. Sci. Complex., 2019

2018
Website Fingerprinting Attack on Anonymity Networks Based on Profile Hidden Markov Model.
IEEE Trans. Inf. Forensics Secur., 2018

An advanced operating environment for mathematics education resources.
Sci. China Inf. Sci., 2018

2016
A multi-granularity heuristic-combining approach for censorship circumvention activity identification.
Secur. Commun. Networks, 2016

Improving data field hierarchical clustering using Barnes-Hut algorithm.
Pattern Recognit. Lett., 2016

2015
Exact bivariate polynomial factorization over ℚ by approximation of roots.
J. Syst. Sci. Complex., 2015

2014
Mouse IDGenes: a reference database for genetic interactions in the developing mouse brain.
Database J. Biol. Databases Curation, 2014

The Sustainability of Digital Educational Resources.
Proceedings of the Mathematical Software - ICMS 2014, 2014

2013
Parallel computation of real solving bivariate polynomial systems by zero-matching method.
Appl. Math. Comput., 2013

2012
A review and prospect of readable machine proofs for geometry theorems.
J. Syst. Sci. Complex., 2012

A complete algorithm to find exact minimal polynomial by approximations.
Int. J. Comput. Math., 2012

The expansion of real forms on the simplex and applications
CoRR, 2012

2011
Obtaining exact interpolation multivariate polynomial by approximation.
J. Syst. Sci. Complex., 2011

2010
Detecting Simultaneous Integer Relations for Several Real Vectors
CoRR, 2010

Exact Bivariate Polynomial Factorization in Q by Approximation of Roots
CoRR, 2010

Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method.
Proceedings of the Automated Deduction in Geometry - 8th International Workshop, 2010

2009
Finding exact minimal polynomial by approximations.
Proceedings of the Symbolic Numeric Computation, 2009

Exact polynomial factorization by approximate high degree algebraic numbers.
Proceedings of the Symbolic Numeric Computation, 2009

2004
An Introduction to Logical Animation.
Proceedings of the Computer Algebra and Geometric Algebra with Applications, 2004

2002
On Number of Circles Intersected by a Line.
J. Comb. Theory A, 2002

2000
A Set of Geometric Invariants for Kinematic Analysis of 6R Manipulators.
Int. J. Robotics Res., 2000

1999
The intelligent CAI system for chemistry based on automated reasoning.
J. Comput. Sci. Technol., 1999

1990
The Parallel Numerical Method of Mechanical Theorem Proving.
Theor. Comput. Sci., 1990


  Loading...