# Jingzhong Zhang

According to our database

Collaborative distances:

^{1}, Jingzhong Zhang authored at least 27 papers between 1990 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

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

J. Systems Science & Complexity, 2019

2018

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

IEEE Trans. Information Forensics and Security, 2018

An advanced operating environment for mathematics education resources.

SCIENCE CHINA Information Sciences, 2018

2016

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

Security and Communication Networks, 2016

Improving data field hierarchical clustering using Barnes-Hut algorithm.

Pattern Recognition Letters, 2016

2015

Exact bivariate polynomial factorization over ℚ by approximation of roots.

J. Systems Science & Complexity, 2015

2014

Mouse IDGenes: a reference database for genetic interactions in the developing mouse brain.

Database, 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.

Applied Mathematics and Computation, 2013

2012

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

J. Systems Science & Complexity, 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. Systems Science & Complexity, 2011

2010

Detecting Simultaneous Integer Relations for Several Real Vectors

CoRR, 2010

Exact Bivariate Polynomial Factorization in Q by Approximation of Roots

CoRR, 2010

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

CoRR, 2010

A complete algorithm to find exact minimal polynomial by approximations

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

CoRR, 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

2008

Obtaining Exact Interpolation Multivariate Polynomial by Approximation

CoRR, 2008

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, Ser. A, 2002

2000

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

I. 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