default search action
Jingzhong Zhang
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j22]Xicheng Peng, Jingzhong Zhang, Mao Chen
, Sannyuya Liu:
Self-evident Automated Geometric Theorem Proving Based on Complex Number Identity. J. Autom. Reason. 67(4): 38 (2023) - 2022
- [j21]Kaiqi Lang, Mingyu Yang, Hao Wang, Hanyu Wang, Zilong Wang
Improved One-Stage Detectors with Neck Attention Block for Object Detection in Remote Sensing. Remote. Sens. 14(22): 5805 (2022) - [j20]Zimin Huo
Optimal Compensation of MEMS Gyroscope Noise Kalman Filter Based on Conv-DAE and MultiTCN-Attention Model in Static Base Environment. Sensors 22(19): 7249 (2022) - [j19]Qingyu Wang
Design of Compact Mid-Infrared Cooled Echelle Spectrometer Based on Toroidal Uniform-Line-Spaced (TULS) Grating. Sensors 22(19): 7291 (2022) - [j18]Ying Qu, Bin Zhang, Hairong Chu, Xiaoxia Yang, Honghai Shen
Linear-Nonlinear Switching Active Disturbance Rejection Speed Controller for Permanent Magnet Synchronous Motors. Sensors 22(24): 9611 (2022) - [c6]Zhenjia Gong, Bo Peng, Ao Shen, Yan Gong, Jingzhong Zhang, Song Lang, Yanwei Zhang, Linyu Xu, Hanqing Zheng, Yakang Dai, Chunying Pang:
Attention-Based Densely Connected Convolutional Network for Chromosome Classification. ICCAI 2022: 534-540 - 2021
- [j17]Xicheng Peng, Qihang Chen, Jingzhong Zhang, Mao Chen
Automated Discovery of Geometric Theorems Based on Vector Equations. J. Autom. Reason. 65(6): 711-726 (2021) - 2020
- [j16]Xiaohong Shi, Xiangping Chen, Yongsheng Rao, Kaiyuan Li, Zhensheng Xu, Jingzhong Zhang:
Automatic recommendation of user interface examples for mobile app development. Int. J. Comput. Sci. Eng. 23(2): 194-204 (2020)
2010 – 2019
- 2019
- [j15]Jingzhong Zhang, Xicheng Peng, Mao Chen:
Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu's Method Identity. J. Syst. Sci. Complex. 32(1): 78-94 (2019) - 2018
- [j14]Yongsheng Rao, Jingzhong Zhang, Yu Zou, Yanchun Sun, Xiangping Chen, Songhua Xu:
An advanced operating environment for mathematics education resources. Sci. China Inf. Sci. 61(9): 1-3 (2018) - [j13]Zhongliu Zhuo
Website Fingerprinting Attack on Anonymity Networks Based on Profile Hidden Markov Model. IEEE Trans. Inf. Forensics Secur. 13(5): 1081-1095 (2018) - 2016
- [j12]Zhongliu Zhuo, Xiaosong Zhang, Weina Niu, Guowu Yang, Jingzhong Zhang:
Improving data field hierarchical clustering using Barnes-Hut algorithm. Pattern Recognit. Lett. 80: 113-120 (2016) - [j11]Zhongliu Zhuo, Xiaosong Zhang, Ruixing Li, Ting Chen, Jingzhong Zhang:
A multi-granularity heuristic-combining approach for censorship circumvention activity identification. Secur. Commun. Networks 9(16): 3178-3189 (2016) - 2015
- [j10]Yong Feng, Wenyuan Wu, Jingzhong Zhang, Jingwei Chen:
Exact bivariate polynomial factorization over ℚ by approximation of roots. J. Syst. Sci. Complex. 28(1): 243-260 (2015) - 2014
- [j9]Michaela Matthes, Martin Preusse
Mouse IDGenes: a reference database for genetic interactions in the developing mouse brain. Database J. Biol. Databases Curation 2014 (2014) - [c5]Yongsheng Rao, Ying Wang, Yu Zou, Jingzhong Zhang:
The Sustainability of Digital Educational Resources. ICMS 2014: 230-234 - 2013
- [j8]Xiaolin Qin, Yong Feng, Jingwei Chen, Jingzhong Zhang:
Parallel computation of real solving bivariate polynomial systems by zero-matching method. Appl. Math. Comput. 219(14): 7533-7541 (2013) - 2012
- [j7]Xiaolin Qin, Yong Feng, Jingwei Chen, Jingzhong Zhang:
A complete algorithm to find exact minimal polynomial by approximations. Int. J. Comput. Math. 89(17): 2333-2344 (2012) - [j6]Jianguo Jiang, Jingzhong Zhang:
A review and prospect of readable machine proofs for geometry theorems. J. Syst. Sci. Complex. 25(4): 802-820 (2012) - [i7]Yong Yao, Jia Xu, Jingzhong Zhang:
The expansion of real forms on the simplex and applications. CoRR abs/1209.3080 (2012) - 2011
- [j5]Yong Feng, Xiaolin Qin, Jingzhong Zhang, Xun Yuan:
Obtaining exact interpolation multivariate polynomial by approximation. J. Syst. Sci. Complex. 24(4): 803-815 (2011) - 2010
- [c4]Yu Zou, Jingzhong Zhang:
Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method. Automated Deduction in Geometry 2010: 221-258 - [i6]Xiaolin Qin, Yong Feng, Jingwei Chen, Jingzhong Zhang:
A complete algorithm to find exact minimal polynomial by approximations. CoRR abs/1001.0649 (2010) - [i5]Xiaolin Qin, Yong Feng, Jingwei Chen, Jingzhong Zhang:
Parallel computation of real solving bivariate polynomial systems by zero-matching method. CoRR abs/1001.2940 (2010) - [i4]Yong Feng, Wenyuan Wu, Jingzhong Zhang:
Exact Bivariate Polynomial Factorization in Q by Approximation of Roots. CoRR abs/1008.3596 (2010) - [i3]Jingwei Chen, Yong Feng, Xiaolin Qin, Jingzhong Zhang:
Detecting Simultaneous Integer Relations for Several Real Vectors. CoRR abs/1010.1982 (2010)
2000 – 2009
- 2009
- [c3]Jingwei Chen, Yong Feng, Xiaolin Qin, Jingzhong Zhang:
Exact polynomial factorization by approximate high degree algebraic numbers. SNC 2009: 21-28 - [c2]Xiaolin Qin, Yong Feng, Jingwei Chen, Jingzhong Zhang:
Finding exact minimal polynomial by approximations. SNC 2009: 125-132 - [i2]Xiaolin Qin, Yong Feng, Jingwei Chen, Jingzhong Zhang:
Finding Exact Minimal Polynomial by Approximations. CoRR abs/0902.0828 (2009) - 2008
- [i1]Yong Feng, Jingzhong Zhang, Xiaolin Qin, Xun Yuan:
Obtaining Exact Interpolation Multivariate Polynomial by Approximation. CoRR abs/0809.1476 (2008) - 2004
- [c1]Jingzhong Zhang, Chuanzhong Li:
An Introduction to Logical Animation. IWMM/GIAE 2004: 418-428 - 2002
- [j4]Lu Yang, Jingzhong Zhang, Weinian Zhang:
On Number of Circles Intersected by a Line. J. Comb. Theory A 98(2): 395-405 (2002) - 2000
- [j3]Hongguang Fu, Lu Yang, Jingzhong Zhang:
A Set of Geometric Invariants for Kinematic Analysis of 6R Manipulators. Int. J. Robotics Res. 19(8): 784-792 (2000)
1990 – 1999
- 1999
- [j2]Xiaojing Wang, Jingzhong Zhang:
The intelligent CAI system for chemistry based on automated reasoning. J. Comput. Sci. Technol. 14(5): 495-509 (1999) - 1990
- [j1]Jingzhong Zhang, Lu Yang, Mike Deng:
The Parallel Numerical Method of Mechanical Theorem Proving. Theor. Comput. Sci. 74(3): 253-271 (1990)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-10 20:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: