×
Author ID: zhang.jingzhong Recent zbMATH articles by "Zhang, Jingzhong"
Published as: Zhang, Jingzhong; Zhang, Jing-Zhong; Zhang, Jinzhong; Zhang, Jing Zhong; Zhang, Jing-zhong; Zhang, J.-Z.
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

Publications by Year

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

Citations by Year