Jingzhong Zhang

According to our database1, Jingzhong Zhang authored at least 26 papers between 1990 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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


  Loading...