Edit Profile (opens in new tab) Zhang, Jingzhong Co-Author Distance Author ID: zhang.jingzhong Published as: Zhang, Jingzhong; Zhang, Jing-Zhong; Zhang, Jinzhong; Zhang, Jing Zhong; Zhang, Jing-zhong; Zhang, J.-Z. more...less Documents Indexed: 99 Publications since 1980, including 2 Books and 6 Additional arXiv Preprints Co-Authors: 59 Co-Authors with 92 Joint Publications 1,328 Co-Co-Authors all top 5 Co-Authors 4 single-authored 47 Yang, Lu 13 Feng, Yong 9 Chou, Shangching 9 Gao, Xiaoshan 8 Chen, Jingwei 8 Qin, Xiaolin 7 Hou, Xiaorong 4 Zeng, Zhenbing 3 Chen, Mao 3 Li, Yongbin 3 Peng, Xicheng 3 Zou, Yu 2 Deng, Mike 2 Li, Chuanzhong 2 Wang, Xiaojing 2 Wu, Wenyuan 2 Xu, Jia 2 Yao, Yong 2 Zhang, Weinian 1 Ferri Aliabadi, Mohammad Hossien 1 Chang, Gengzhe 1 Chen, Liang 1 Chen, Qihang 1 Chen, Rui 1 Chen, Shiping 1 Du, Zhanlong 1 Fu, Yunhao 1 Grützmacher, Detlev 1 Hu, Zhigao 1 Jalil, Abdur Rehman 1 Jiang, Jianguo 1 Kölzer, Jonas 1 Kong, Min 1 Li, Xiaomin 1 Liang, Songxin 1 Liu, Sannyuya 1 Liu, Xinhai 1 Lu, Jia Grace 1 Luysberg, Martina 1 Mikulics, Martin 1 Panaitov, Gregory 1 Rosenbach, Daniel 1 Schäpers, Thomas 1 Tang, Jialing 1 Teng, Pengguo 1 Tse, Pok-Lam 1 Valencia, Helen 1 Wang, Duansong 1 Wen, Pihua 1 Wu, He 1 Wu, Sijun 1 Xi, Leiping 1 Yan, Zheping 1 Yang, Xiaochun 1 Yu, Kaiping 1 Yuan, Xun 1 Zeng, Jia 1 Zhang, Gang 1 Zhang, Lei 1 Zhang, Shu 1 Zhang, Tan 1 Zheng, Huan all top 5 Serials 11 Acta Mathematica Sinica 6 Journal of Systems Science and Mathematical Sciences 6 Journal of Automated Reasoning 4 Scientia Sinica. Series A 4 Journal of Systems Science and Complexity 3 Advances in Mathematics (Beijing) 3 Science in China. Series A 3 Kexue Tongbao 3 Journal of Sichuan University. Engineering Science Edition 2 Bulletin of the Australian Mathematical Society 2 Mathematics and Computers in Simulation 2 Mathematica Numerica Sinica 2 Chinese Annals of Mathematics. Series A 2 Journal of China University of Science and Technology 1 Modern Physics Letters A 1 Physics Letters. B 1 Applied Mathematics and Computation 1 Geometriae Dedicata 1 Journal of Approximation Theory 1 Journal of Combinatorial Theory. Series A 1 Theoretical Computer Science 1 Chinese Annals of Mathematics 1 Journal of Chengdu University of Science and Technology 1 Applied Mathematics and Mechanics. (English Edition) 1 Mathematics in Practice and Theory 1 Systems Science and Mathematical Sciences 1 International Journal of Computer Mathematics 1 Chinese Science Bulletin 1 Annals of Mathematics and Artificial Intelligence 1 Science in China. Series E 1 Journal of Harbin Engineering University 1 International Journal of Fracture 1 The European Physical Journal C. Particles and Fields 1 Journal of Guangzhou University. Natural Science Edition 1 Systems Engineering and Electronics 1 Series on Applied Mathematics 1 Acta Mechanica Sinica 1 Acta Mathematica Sinica. Chinese Series 1 Journal of Computer Applications 1 Annalen der Physik all top 5 Fields 44 Computer science (68-XX) 27 Geometry (51-XX) 16 Convex and discrete geometry (52-XX) 14 Numerical analysis (65-XX) 9 Mathematical logic and foundations (03-XX) 8 Dynamical systems and ergodic theory (37-XX) 5 Field theory and polynomials (12-XX) 4 Real functions (26-XX) 4 Quantum theory (81-XX) 3 Number theory (11-XX) 3 Functions of a complex variable (30-XX) 3 Difference and functional equations (39-XX) 3 Approximations and expansions (41-XX) 3 General topology (54-XX) 3 Mechanics of deformable solids (74-XX) 2 Commutative algebra (13-XX) 2 Special functions (33-XX) 2 Mathematics education (97-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Group theory and generalizations (20-XX) 1 Measure and integration (28-XX) 1 Manifolds and cell complexes (57-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Statistics (62-XX) 1 Fluid mechanics (76-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 49 Publications have been cited 339 times in 224 Documents Cited by ▼ Year ▼ Iterative roots of the piecewise monotone continuous self-mapping. Zbl 0529.39006 Zhang, Jingzhong; Yang, Lu 47 1983 Some advances on functional equations. Zbl 0862.39009 Zhang, Jingzhong; Yang, Lu; Zhang, Weinian 41 1995 Machine proofs in geometry. Automated production of readable proofs for geometry theorems. Zbl 0941.68503 Chou, Shang-Ching; Gao, Xiao-shan; Zhang, J.-Z. 38 1994 A deductive database approach to automated geometry theorem proving and discovering. Zbl 0961.68121 Chou, Shang-Ching; Gao, Xiao-Shan; Zhang, Jing-Zhong 21 2000 Searching dependency between algebraic equations: An algorithm applied to automated reasoning. Zbl 0808.68069 Yang, Lu; Zhang, Jingzhong 19 1994 Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles. Zbl 0865.68110 Chou, Shang-Ching; Gao, Xiao-Shan; Zhang, Jing-Zhong 17 1996 Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation. Zbl 0865.68109 Chou, Shang-Ching; Gao, Xiao-Shan; Zhang, Jing-Zhong 15 1996 A generalization to several dimensions of the Neuberg-Pedoe inequality, with applications. Zbl 0519.51013 Yang, Lu; Zhang, Jingzhong 10 1983 A complete discrimination system for polynomials with complex coefficients and its automatic generation. Zbl 0949.12002 Liang, Songxin; Zhang, Jingzhong 10 1999 A review and prospect of readable machine proofs for geometry theorems. Zbl 1291.68351 Jiang, Jianguo; Zhang, Jingzhong 9 2012 Automated geometry theorem proving by vector calculation. Zbl 0968.03520 Chou, Shang-Ching; Gao, Xiao-Shan; Zhang, Jing-Zhong 6 1993 Converse theorems of convexity for Bernstein polynomials over triangles. Zbl 0746.41009 Chang, Gengzhe; Zhang, Jinzhong 6 1990 Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems. Zbl 0855.68095 Zhang, Jing-Zhong; Chou, Shang-Ching; Gao, Xiao-Shan 6 1995 Nature-inspired approach: an enhanced whale optimization algorithm for global optimization. Zbl 07331045 Yan, Zheping; Zhang, Jinzhong; Zeng, Jia; Tang, Jialing 6 2021 The second type of Feigenbaum’s functional equations. Zbl 0641.58017 Yang, Lu; Zhang, Jinzhong 5 1986 A mechanical proof to a geometric inequality of Zirakzadeh through rectangular partition of polyhedra. Zbl 1240.68305 Zeng, Zhenbing; Zhang, Jingzhong 5 2010 The parallel numerical method of mechanical theorem proving. Zbl 0701.68087 Zhang, Jingzhong; Yang, Lu; Deng, Mike 5 1990 A class of geometric inequalities on finite points. Zbl 0456.52005 Yang, Lu; Zhang, Jingzhong 5 1980 Obtaining exact value by approximate computations. Zbl 1202.68494 Zhang, Jingzhong; Feng, Yong 5 2007 The sub-resultant method for automated theorem proving. Zbl 0839.68090 Zhang, Jing-Zhong; Yang, Lu; Hou, Xiao-Rong 4 1995 Automated generation of readable proofs for constructive geometry statements with the mass point method. Zbl 1350.68246 Zou, Yu; Zhang, Jingzhong 4 2011 On the first Heilbronn numbers of a triangle. Zbl 0812.52003 Yang, Lu; Zhang, Jingzhong; Zeng, Zhenbing 4 1994 Pseudo-symmetric sets and related geometric inequalities. Zbl 0651.52012 Yang, Lu; Zhang, Jingzhong 3 1986 Two inequalities of higher dimensional metric geometry. Zbl 0483.51009 Yang, Lu; Zhang, Jingzhong 3 1981 Congruent imbedding of a finite point set in pseudo-Euclidean space. Zbl 0522.51016 Zhang, Jingzhong; Yang, Lu 3 1981 A sufficient and necessary condition for embedding a simplex with prescribed dihedral angles in \(E^ n\). Zbl 0528.52007 Yang, Lu; Zhang, Jingzhong 3 1983 Automated production of traditional proofs in solid geometry. Zbl 0824.03005 Chou, Shang-Ching; Gao, Xiao-Shan; Zhang, Jing-Zhong 3 1995 A criterion for dependency of algebraic equations with applications to automated theorem proving. Zbl 0820.68108 Zhang, Jingzhong; Yang, Lu; Hou, Xiaorong 3 1994 Self-evident automated proving based on point geometry from the perspective of Wu’s method identity. Zbl 1468.68310 Zhang, Jingzhong; Peng, Xicheng; Chen, Mao 3 2019 Parallel computation of real solving bivariate polynomial systems by zero-matching method. Zbl 1311.68200 Qin, Xiaolin; Feng, Yong; Chen, Jingwei; Zhang, Jingzhong 3 2013 An introduction to Geometry Expert. Zbl 1412.68214 Chou, Shang-Ching; Gao, Xiao-Shan; Zhang, Jing-Zhong 3 1996 On a conjecture on and computation of the first Heilbronn numbers. Zbl 0781.52004 Yang, Lu; Zhang, Jingzhong; Zeng, Zhenbing 2 1992 A high-dimensional extension of Neuberg-Pedoe inequality and its application. Zbl 0519.51012 Yang, Lu; Zhang, Jingzhong 2 1981 Decomposing polynomial systems into strong regular sets. Zbl 1012.68231 Li, Yong-Bin; Zhang, Jing-Zhong; Yang, Lu 2 2002 What can we do with only a pair of rusty compasses? Zbl 0722.51017 Zhang, Jingzhong; Yang, Lu; Hou, Xiaorong 2 1991 The realization of elementary configurations in Euclidean space. Zbl 0804.51025 Zhang, Jingzhong; Yang, Lu; Yang, Xiaochun 2 1994 Displacement discontinuity method for fracture mechanics analysis of Reissner plates: static and dynamic. Zbl 1196.74225 Wen, P. H.; Aliabadi, M. H.; Zhang, J. Z. 2 2005 A complete algorithm to find exact minimal polynomial by approximations. Zbl 1257.41017 Qin, Xiaolin; Feng, Yong; Chen, Jingwei; Zhang, Jingzhong 2 2012 Obtaining exact interpolation multivariate polynomial by approximation. Zbl 1259.65012 Feng, Yong; Qin, Xiaolin; Zhang, Jingzhong; Yuan, Xun 2 2011 Metric sum and Alexander symmetrization. Zbl 0628.52010 Yang, Lu; Zhang, Jingzhong 1 1987 A simplified model of Smale’s horseshoe. Zbl 0493.58014 Zhang, Jingzhong; Yang, Lu 1 1982 Metric spaces which cannot be isometrically embedded in Hilbert space. Zbl 0545.51018 Yang, Lu; Zhang, Jing-Zhong 1 1984 Preliminary study on the basis of geometric algebra from a new perspective. Zbl 1224.51001 Zou, Yu; Fu, Yunhao; Zhang, Jingzhong 1 2010 Automatic theorem proving for three decades. Zbl 1212.68259 Zhang, Jingzhong; Li, Yongbin 1 2009 Automated production of readable proofs for theorems in non-Euclidean geometries. Zbl 0910.03011 Yang, Lu; Gao, Xiao-Shan; Chou, Shang-Ching; Zhang, Jing-Zhong 1 1998 A prover for parallel numerical verification of a class of constructive geometry theorems. Zbl 0762.51001 Yang, Lu; Zhang, Jingzhong; Li, Chuanzhong 1 1992 Exact bivariate polynomial factorization over \(\mathbb Q\) by approximation of roots. Zbl 1328.65108 Feng, Yong; Wu, Wenyuan; Zhang, Jingzhong; Chen, Jingwei 1 2015 Exact polynomial factorization by approximate high degree algebraic numbers. Zbl 1356.68272 Chen, Jing-wei; Feng, Yong; Qin, Xiao-lin; Zhang, Jing-zhong 1 2009 Automated discovery of geometric theorems based on vector equations. Zbl 07432185 Peng, Xicheng; Chen, Qihang; Zhang, Jingzhong; Chen, Mao 1 2021 Nature-inspired approach: an enhanced whale optimization algorithm for global optimization. Zbl 07331045 Yan, Zheping; Zhang, Jinzhong; Zeng, Jia; Tang, Jialing 6 2021 Automated discovery of geometric theorems based on vector equations. Zbl 07432185 Peng, Xicheng; Chen, Qihang; Zhang, Jingzhong; Chen, Mao 1 2021 Self-evident automated proving based on point geometry from the perspective of Wu’s method identity. Zbl 1468.68310 Zhang, Jingzhong; Peng, Xicheng; Chen, Mao 3 2019 Exact bivariate polynomial factorization over \(\mathbb Q\) by approximation of roots. Zbl 1328.65108 Feng, Yong; Wu, Wenyuan; Zhang, Jingzhong; Chen, Jingwei 1 2015 Parallel computation of real solving bivariate polynomial systems by zero-matching method. Zbl 1311.68200 Qin, Xiaolin; Feng, Yong; Chen, Jingwei; Zhang, Jingzhong 3 2013 A review and prospect of readable machine proofs for geometry theorems. Zbl 1291.68351 Jiang, Jianguo; Zhang, Jingzhong 9 2012 A complete algorithm to find exact minimal polynomial by approximations. Zbl 1257.41017 Qin, Xiaolin; Feng, Yong; Chen, Jingwei; Zhang, Jingzhong 2 2012 Automated generation of readable proofs for constructive geometry statements with the mass point method. Zbl 1350.68246 Zou, Yu; Zhang, Jingzhong 4 2011 Obtaining exact interpolation multivariate polynomial by approximation. Zbl 1259.65012 Feng, Yong; Qin, Xiaolin; Zhang, Jingzhong; Yuan, Xun 2 2011 A mechanical proof to a geometric inequality of Zirakzadeh through rectangular partition of polyhedra. Zbl 1240.68305 Zeng, Zhenbing; Zhang, Jingzhong 5 2010 Preliminary study on the basis of geometric algebra from a new perspective. Zbl 1224.51001 Zou, Yu; Fu, Yunhao; Zhang, Jingzhong 1 2010 Automatic theorem proving for three decades. Zbl 1212.68259 Zhang, Jingzhong; Li, Yongbin 1 2009 Exact polynomial factorization by approximate high degree algebraic numbers. Zbl 1356.68272 Chen, Jing-wei; Feng, Yong; Qin, Xiao-lin; Zhang, Jing-zhong 1 2009 Obtaining exact value by approximate computations. Zbl 1202.68494 Zhang, Jingzhong; Feng, Yong 5 2007 Displacement discontinuity method for fracture mechanics analysis of Reissner plates: static and dynamic. Zbl 1196.74225 Wen, P. H.; Aliabadi, M. H.; Zhang, J. Z. 2 2005 Decomposing polynomial systems into strong regular sets. Zbl 1012.68231 Li, Yong-Bin; Zhang, Jing-Zhong; Yang, Lu 2 2002 A deductive database approach to automated geometry theorem proving and discovering. Zbl 0961.68121 Chou, Shang-Ching; Gao, Xiao-Shan; Zhang, Jing-Zhong 21 2000 A complete discrimination system for polynomials with complex coefficients and its automatic generation. Zbl 0949.12002 Liang, Songxin; Zhang, Jingzhong 10 1999 Automated production of readable proofs for theorems in non-Euclidean geometries. Zbl 0910.03011 Yang, Lu; Gao, Xiao-Shan; Chou, Shang-Ching; Zhang, Jing-Zhong 1 1998 Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles. Zbl 0865.68110 Chou, Shang-Ching; Gao, Xiao-Shan; Zhang, Jing-Zhong 17 1996 Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation. Zbl 0865.68109 Chou, Shang-Ching; Gao, Xiao-Shan; Zhang, Jing-Zhong 15 1996 An introduction to Geometry Expert. Zbl 1412.68214 Chou, Shang-Ching; Gao, Xiao-Shan; Zhang, Jing-Zhong 3 1996 Some advances on functional equations. Zbl 0862.39009 Zhang, Jingzhong; Yang, Lu; Zhang, Weinian 41 1995 Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems. Zbl 0855.68095 Zhang, Jing-Zhong; Chou, Shang-Ching; Gao, Xiao-Shan 6 1995 The sub-resultant method for automated theorem proving. Zbl 0839.68090 Zhang, Jing-Zhong; Yang, Lu; Hou, Xiao-Rong 4 1995 Automated production of traditional proofs in solid geometry. Zbl 0824.03005 Chou, Shang-Ching; Gao, Xiao-Shan; Zhang, Jing-Zhong 3 1995 Machine proofs in geometry. Automated production of readable proofs for geometry theorems. Zbl 0941.68503 Chou, Shang-Ching; Gao, Xiao-shan; Zhang, J.-Z. 38 1994 Searching dependency between algebraic equations: An algorithm applied to automated reasoning. Zbl 0808.68069 Yang, Lu; Zhang, Jingzhong 19 1994 On the first Heilbronn numbers of a triangle. Zbl 0812.52003 Yang, Lu; Zhang, Jingzhong; Zeng, Zhenbing 4 1994 A criterion for dependency of algebraic equations with applications to automated theorem proving. Zbl 0820.68108 Zhang, Jingzhong; Yang, Lu; Hou, Xiaorong 3 1994 The realization of elementary configurations in Euclidean space. Zbl 0804.51025 Zhang, Jingzhong; Yang, Lu; Yang, Xiaochun 2 1994 Automated geometry theorem proving by vector calculation. Zbl 0968.03520 Chou, Shang-Ching; Gao, Xiao-Shan; Zhang, Jing-Zhong 6 1993 On a conjecture on and computation of the first Heilbronn numbers. Zbl 0781.52004 Yang, Lu; Zhang, Jingzhong; Zeng, Zhenbing 2 1992 A prover for parallel numerical verification of a class of constructive geometry theorems. Zbl 0762.51001 Yang, Lu; Zhang, Jingzhong; Li, Chuanzhong 1 1992 What can we do with only a pair of rusty compasses? Zbl 0722.51017 Zhang, Jingzhong; Yang, Lu; Hou, Xiaorong 2 1991 Converse theorems of convexity for Bernstein polynomials over triangles. Zbl 0746.41009 Chang, Gengzhe; Zhang, Jinzhong 6 1990 The parallel numerical method of mechanical theorem proving. Zbl 0701.68087 Zhang, Jingzhong; Yang, Lu; Deng, Mike 5 1990 Metric sum and Alexander symmetrization. Zbl 0628.52010 Yang, Lu; Zhang, Jingzhong 1 1987 The second type of Feigenbaum’s functional equations. Zbl 0641.58017 Yang, Lu; Zhang, Jinzhong 5 1986 Pseudo-symmetric sets and related geometric inequalities. Zbl 0651.52012 Yang, Lu; Zhang, Jingzhong 3 1986 Metric spaces which cannot be isometrically embedded in Hilbert space. Zbl 0545.51018 Yang, Lu; Zhang, Jing-Zhong 1 1984 Iterative roots of the piecewise monotone continuous self-mapping. Zbl 0529.39006 Zhang, Jingzhong; Yang, Lu 47 1983 A generalization to several dimensions of the Neuberg-Pedoe inequality, with applications. Zbl 0519.51013 Yang, Lu; Zhang, Jingzhong 10 1983 A sufficient and necessary condition for embedding a simplex with prescribed dihedral angles in \(E^ n\). Zbl 0528.52007 Yang, Lu; Zhang, Jingzhong 3 1983 A simplified model of Smale’s horseshoe. Zbl 0493.58014 Zhang, Jingzhong; Yang, Lu 1 1982 Two inequalities of higher dimensional metric geometry. Zbl 0483.51009 Yang, Lu; Zhang, Jingzhong 3 1981 Congruent imbedding of a finite point set in pseudo-Euclidean space. Zbl 0522.51016 Zhang, Jingzhong; Yang, Lu 3 1981 A high-dimensional extension of Neuberg-Pedoe inequality and its application. Zbl 0519.51012 Yang, Lu; Zhang, Jingzhong 2 1981 A class of geometric inequalities on finite points. Zbl 0456.52005 Yang, Lu; Zhang, Jingzhong 5 1980 all cited Publications top 5 cited Publications all top 5 Cited by 263 Authors 30 Zhang, Weinian 19 Li, Lin 15 Zhang, Jingzhong 10 Gao, Xiaoshan 10 Liu, Liu 9 Quaresma, Pedro 8 Janičić, Predrag 8 Narboux, Julien 8 Zeng, Yingying 8 Zeng, Zhenbing 7 Chou, Shangching 7 Shi, YongGuo 7 Wang, Dongming 7 Yang, Lu 7 Yu, Zhiheng 6 Leng, Gangsong 6 Li, Hongbo 6 Song, Wei 5 Feng, Yong 5 Kovács, Zoltán 5 Moreno Maza, Marc 5 Zhang, Pingping 5 Zhang, Wenmeng 4 Chen, Liangyu 4 Jarczyk, Witold 4 Qin, Xiaolin 4 Yang, Zhengfeng 3 Botana, Francisco 3 Chen, Jingmin 3 Chen, Mao 3 Cheng, Jinsan 3 Gong, Xiaobing 3 Li, Xiaoliang 3 Lin, Yinhe 3 Mou, Chenqi 3 Murugan, Veerapazham 3 Peng, Xicheng 3 Recio, Tomas 3 Tang, Xiao 3 Todd, Philip H. 3 Wu, Min 3 Xu, Bing 3 Xu, Yaochen 3 Zdun, Marek Cezary 2 Aubry, Philippe 2 Boulier, François 2 Chen, Jingwei 2 Chen, Xiaoyu 2 Draga, Szymon 2 Graziani, Pierluigi 2 Hong, Hoon 2 Huang, Lei 2 Jarczyk, Justyna 2 Lazard, Daniel 2 Lemaire, François 2 Leng, Tuo 2 Leśniak, Zbigniew 2 Li, Yongbin 2 Liang, Songxin 2 Lin, Wang 2 Mai, Jiehua 2 Mathis, Pascal 2 Morawiec, Janusz 2 Olšák, Miroslav 2 Palanivel, Rajendran 2 Poteaux, Adrien 2 Safey El Din, Mohab 2 Sauer, Tomas 2 Schreck, Pascal 2 Shiguo, Yang 2 Song, Dan 2 Sun, Xianbo 2 Wang, Wen 2 Wu, Donghua 2 Wu, Yihong 2 Yang, Lili 2 Yang, Shiguo 2 Ye, Zheng 2 Zeng, Guangxing 2 Zeng, Xiaoning 1 Abdyldayev, Satbek 1 Aley, Danny 1 Altomare, Francesco 1 An, Jie 1 Apel, Susanne 1 Avigad, Jeremy 1 Baeta, Nuno 1 Beeson, Michael J. 1 Berger, Marcel 1 Bertot, Yves 1 Billich, Martin 1 Boutry, Pierre 1 Braude, Eric John 1 Braun, Gabriel 1 Chao, Yuyan 1 Chen, Jie 1 Chen, Li 1 Chen, Mingshuai 1 Chen, Qihang 1 Chen, Rui ...and 163 more Authors all top 5 Cited in 67 Serials 18 Journal of Mathematical Analysis and Applications 17 Journal of Symbolic Computation 13 Journal of Automated Reasoning 13 Aequationes Mathematicae 10 Journal of Systems Science and Complexity 8 Results in Mathematics 8 Annals of Mathematics and Artificial Intelligence 8 Mathematics in Computer Science 7 Science in China. Series A 6 Science China. Mathematics 5 Mathematics and Computers in Simulation 4 Journal of Computational and Applied Mathematics 3 Journal of Geometry 3 Journal of Computer Science and Technology 3 Journal of Difference Equations and Applications 3 Journal of Inequalities and Applications 2 Computers & Mathematics with Applications 2 Discrete Mathematics 2 Applied Mathematics and Computation 2 Geometriae Dedicata 2 Journal of Approximation Theory 2 Discrete & Computational Geometry 2 Applied Mathematics Letters 2 International Journal of Computer Mathematics 2 Linear Algebra and its Applications 2 Chinese Science Bulletin 2 Discrete and Continuous Dynamical Systems 2 Science in China. Series E 2 Abstract and Applied Analysis 2 Discrete Dynamics in Nature and Society 2 Acta Mathematica Scientia. Series B. (English Edition) 2 Bulletin of the Malaysian Mathematical Sciences Society. Second Series 2 Science in China. Series F 2 Journal of Nonlinear Science and Applications 2 Journal of Applied Analysis and Computation 1 Computer Methods in Applied Mechanics and Engineering 1 Mathematical Methods in the Applied Sciences 1 Chaos, Solitons and Fractals 1 Archiv der Mathematik 1 Czechoslovak Mathematical Journal 1 International Journal of Mathematics and Mathematical Sciences 1 Journal of Algebra 1 Journal of Mathematical Economics 1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 1 Real Analysis Exchange 1 Rendiconti del Seminario Matemàtico e Fisico di Milano 1 Theoretical Computer Science 1 Applied Mathematics and Mechanics. (English Edition) 1 Acta Mathematicae Applicatae Sinica. English Series 1 International Journal of Computational Geometry & Applications 1 Journal of Global Optimization 1 Applied Mathematics. Series B (English Edition) 1 Journal of Mathematical Chemistry 1 Journal of Combinatorial Optimization 1 Data Mining and Knowledge Discovery 1 Journal of Discrete Mathematical Sciences & Cryptography 1 Communications in Nonlinear Science and Numerical Simulation 1 Qualitative Theory of Dynamical Systems 1 Nonlinear Analysis. Real World Applications 1 Discrete and Continuous Dynamical Systems. Series B 1 Journal of Applied Mathematics 1 Journal of Applied Logic 1 Advances in Difference Equations 1 Boundary Value Problems 1 Nonlinear Analysis. Hybrid Systems 1 The Review of Symbolic Logic 1 Nonlinear Analysis. Theory, Methods & Applications all top 5 Cited in 37 Fields 86 Computer science (68-XX) 68 Difference and functional equations (39-XX) 50 Geometry (51-XX) 43 Dynamical systems and ergodic theory (37-XX) 31 Real functions (26-XX) 25 Numerical analysis (65-XX) 19 Commutative algebra (13-XX) 18 Mathematical logic and foundations (03-XX) 13 Convex and discrete geometry (52-XX) 12 Field theory and polynomials (12-XX) 11 Operations research, mathematical programming (90-XX) 7 Approximations and expansions (41-XX) 6 Mathematics education (97-XX) 5 Linear and multilinear algebra; matrix theory (15-XX) 5 General topology (54-XX) 4 Ordinary differential equations (34-XX) 4 Systems theory; control (93-XX) 3 History and biography (01-XX) 3 Combinatorics (05-XX) 3 Algebraic geometry (14-XX) 3 Operator theory (47-XX) 2 General and overarching topics; collections (00-XX) 2 Functions of a complex variable (30-XX) 2 Special functions (33-XX) 2 Functional analysis (46-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) 1 Measure and integration (28-XX) 1 Sequences, series, summability (40-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Algebraic topology (55-XX) 1 Manifolds and cell complexes (57-XX) 1 Statistics (62-XX) 1 Mechanics of particles and systems (70-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year