Edit Profile (opens in new tab) Yang, Lu Co-Author Distance Author ID: yang.lu Published as: Yang, Lu; Yang, L. Documents Indexed: 102 Publications since 1980, including 2 Books and 2 Additional arXiv Preprints 1 Contribution as Editor Co-Authors: 59 Co-Authors with 92 Joint Publications 2,073 Co-Co-Authors all top 5 Co-Authors 7 single-authored 47 Zhang, Jingzhong 16 Zeng, Zhenbing 15 Xia, Bican 11 Hou, Xiaorong 5 Zhang, Weinian 4 Zhan, Naijun 3 Feng, Yong 3 Fu, Hongguang 3 Zhou, Chaochen 2 Chen, Yinghua 2 Dehbi, Lydia 2 Deng, Mike 2 Gao, Xiaoshan 2 Qin, Xiaolin 2 Smyth, William F. 2 Wang, Dongming 2 Yao, Yong 2 Yu, Wensheng 2 Yu, Zhiheng 1 Bachmann, Bernhard 1 Cao, Sheng 1 Chen, Changbo 1 Chou, Shangching 1 Cole, Richard John 1 Dai, Yiqi 1 Dress, Andreas W. M. 1 Feng, Yu 1 Franek, Frantisek 1 Fritzson, Peter A. 1 Gao, Shudi 1 Guan, Qiang 1 Iliopoulos, Costas S. 1 Kapur, Deepak 1 Kulshestha, Devendra K. 1 Li, Chuanzhong 1 Li, Hongbo 1 Li, Yaohui 1 Li, Yongbin 1 Li, Zhibin 1 Liu, Xiangqing 1 Liu, Zhong 1 Lu, Weilin 1 Luo, Ping 1 Mohamed, Manal 1 Moreno Maza, Marc 1 Qi, Dongxu 1 Ryan, Patrick J. 1 Sag, Tom W. 1 Saxena, Tushar 1 Sun, Yu 1 Wang, Daoshun 1 Wang, Long 1 Wu, Hao 1 Xu, Ming 1 Xue, Jiwei 1 Yang, Lili 1 Yang, Xiaochun 1 Yuan, Ruyi 1 Zhang, Ju 1 Zhang, Lei 1 Zhang, Lige 1 Zhang, Zhihai 1 Zhou, Jianwen all top 5 Serials 11 Acta Mathematica Sinica 6 Journal of Symbolic Computation 3 Bulletin of the Australian Mathematical Society 3 Advances in Mathematics (Beijing) 3 Journal of Systems Science and Mathematical Sciences 3 Science in China. Series A 3 Scientia Sinica. Series A 3 Kexue Tongbao 2 Applied Mathematics and Computation 2 Chinese Annals of Mathematics. Series A 2 Journal of China University of Science and Technology 2 Science in China. Series E 2 Science in China. Series F 1 Computers & Mathematics with Applications 1 The Mathematical Intelligencer 1 Geometriae Dedicata 1 Journal of Combinatorial Theory. Series A 1 Theoretical Computer Science 1 Chinese Annals of Mathematics 1 Mathematica Numerica Sinica 1 Acta Mathematicae Applicatae Sinica 1 Journal of Chengdu University of Science and Technology 1 Applied Mathematics and Mechanics. (English Edition) 1 Mathematics in Practice and Theory 1 Journal of Computer Science and Technology 1 JCMCC. The Journal of Combinatorial Mathematics and Combinatorial Computing 1 Journal of Robotic Systems 1 Journal of Hebei Normal University. Natural Science Edition 1 Formal Aspects of Computing 1 International Journal of Computational Geometry & Applications 1 Chinese Science Bulletin 1 Electronic Journal of Differential Equations (EJDE) 1 Journal of Automata, Languages and Combinatorics 1 Chinese Quarterly Journal of Mathematics 1 Communications in Nonlinear Science and Numerical Simulation 1 Progress in Natural Science 1 Lecture Notes in Computer Science 1 Science China. Mathematics 1 Science China. Information Sciences 1 Frontiers of Computer Science in China all top 5 Fields 43 Computer science (68-XX) 32 Geometry (51-XX) 20 Convex and discrete geometry (52-XX) 13 Mathematical logic and foundations (03-XX) 11 Field theory and polynomials (12-XX) 10 Real functions (26-XX) 10 Numerical analysis (65-XX) 7 Dynamical systems and ergodic theory (37-XX) 5 Algebraic geometry (14-XX) 5 Difference and functional equations (39-XX) 4 Functions of a complex variable (30-XX) 4 General topology (54-XX) 2 Commutative algebra (13-XX) 2 Ordinary differential equations (34-XX) 2 Partial differential equations (35-XX) 2 Probability theory and stochastic processes (60-XX) 2 Mechanics of particles and systems (70-XX) 1 General and overarching topics; collections (00-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Measure and integration (28-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 61 Publications have been cited 561 times in 423 Documents Cited by ▼ Year ▼ Recent advances on determining the number of real roots of parametric polynomials. Zbl 0957.65041 Yang, Lu 67 1999 A complete discrimination system for polynomials. Zbl 0866.68104 Yang, Lu; Hou, Xiaorong; Zeng, Zhenbing 56 1996 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 Algebraic and geometric reasoning using Dixon resultants. Zbl 0964.68536 Kapur, Deepak; Saxena, Tushar; Yang, Lu 40 1994 A complete algorithm for automated discovering of a class of inequality-type theorems. Zbl 1125.68406 Yang, Lu; Hou, Xiaorong; Xia, Bican 35 2001 Computing cylindrical algebraic decomposition via triangular decomposition. Zbl 1237.14068 Chen, Changbo; Moreno Maza, Marc; Xia, Bican; Yang, Lu 30 2009 An algorithm for isolating the real solutions of semi-algebraic systems. Zbl 1027.68150 Xia, Bican; Yang, Lu 27 2002 Verifying a border array in linear time. Zbl 1009.68106 Franěk, František; Gao, Shudi; Lu, Weilin; Ryan, P. J.; Smyth, W. F.; Sun, Yu; Yang, Lu 24 2002 Searching dependency between algebraic equations: An algorithm applied to automated reasoning. Zbl 0808.68069 Yang, Lu; Zhang, Jingzhong 19 1994 A generalization to several dimensions of the Neuberg-Pedoe inequality, with applications. Zbl 0519.51013 Yang, Lu; Zhang, Jingzhong 10 1983 Discovering non-linear ranking functions by solving semi-algebraic systems. Zbl 1147.68442 Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun; Zhou, Chaochen 10 2007 The complexity of the minimum \(k\)-cover problem. Zbl 1136.68618 Cole, Richard; Iliopoulos, Costas S.; Mohamed, Manal; Smyth, W. F.; Yang, Lu 9 2005 Discussion on polynomials having polynomial iterative roots. Zbl 1254.12002 Yu, Zhiheng; Yang, Lu; Zhang, Weinian 8 2012 Generating polynomial invariants with DISCOVERER and QEPCAD. Zbl 1151.68366 Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun 8 2007 Differential elimination with Dixon resultants. Zbl 1257.34024 Yang, Lu; Zeng, Zhenbing; Zhang, Weinian 7 2012 Recent advances in automated theorem proving on inequalities. Zbl 0944.68169 Yang, Lu 6 1999 Automated discovering and proving for geometric inequalities. Zbl 0947.03017 Yang, Lu; Hou, Xiaorong; Xia, Bican 6 1999 A practical program of automated proving for a class of geometric inequalities. Zbl 0985.68556 Yang, Lu; Zhang, Ju 6 2001 Recent advances in program verification through computer algebra. Zbl 1267.68099 Yang, Lu; Zhou, Chaochen; Zhan, Naijun; Xia, Bican 6 2010 The second type of Feigenbaum’s functional equations. Zbl 0641.58017 Yang, Lu; Zhang, Jinzhong 5 1986 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 Symbolic decision procedure for termination of linear programs. Zbl 1216.68077 Xia, Bican; Yang, Lu; Zhan, Naijun; Zhang, Zhihai 5 2011 Automated inequality proving and discovering. Zbl 1362.26001 Xia, Bican; Yang, Lu 5 2016 Quantifier elimination for a class of exponential polynomial formulas. Zbl 1382.03056 Xu, Ming; Li, Zhi-Bin; Yang, Lu 5 2015 The sub-resultant method for automated theorem proving. Zbl 0839.68090 Zhang, Jing-Zhong; Yang, Lu; Hou, Xiao-Rong 4 1995 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 A criterion for dependency of algebraic equations with applications to automated theorem proving. Zbl 0820.68108 Zhang, Jingzhong; Yang, Lu; Hou, Xiaorong 3 1994 An open problem on metric invariants of tetrahedra. Zbl 1352.51018 Yang, Lu; Zeng, Zhenbing 3 2005 Heuristics to sift extraneous factors in Dixon resultants. Zbl 07493811 Qin, Xiaolin; Zhang, Lige; Yang, Lu; Cao, Sheng 3 2022 Real polynomial iterative roots in the case of nonmonotonicity height \(\geqslant 2\). Zbl 1259.68246 Yang, LiLi; Yang, Lu; Yu, ZhiHeng; Zhang, WeiNian 3 2012 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 Difference substitution matrices and decision on nonnegativity of polynomials. Zbl 1212.68257 Yang, Lu; Yao, Yong 2 2009 A computer-aided geometric approach to inverse kinematics. Zbl 0955.70003 Fu, Hongguang; Yang, Lu; Zhou, Chaochen 2 1998 Distance coordinates used in geometric constraint solving. Zbl 1193.68274 Yang, Lu 2 2004 A recursive algorithm for constructing generalized Sturm sequence. Zbl 0984.12008 Fu, Hongguang; Yang, Lu; Zeng, Zhenbing 2 2000 Equi-Cevaline points of triangles. Zbl 0981.65031 Yang, Lu; Zeng, Zhenbing 2 2000 Decomposing polynomial systems into strong regular sets. Zbl 1012.68231 Li, Yong-Bin; Zhang, Jing-Zhong; Yang, Lu 2 2002 Some properties of the discrimination matrix of polynomials with applications. Zbl 1051.15010 Xia, Bican; Yang, Lu 2 2003 Automated deduction in real geometry. Zbl 1082.65054 Yang, Lu; Xia, Bican 2 2004 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 Metric sum and Alexander symmetrization. Zbl 0628.52010 Yang, Lu; Zhang, Jingzhong 1 1987 A class of mechanically decidable problems beyond Tarski’s model. Zbl 1133.68423 Yang, Lu; Feng, Yong; Yao, Yong 1 2007 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 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 Heilbronn problem for six points in a planar convex body. Zbl 0879.52001 Dress, Andreas W. M.; Yang, Lu; Zeng, Zhenbing 1 1995 Solving spatial constraints with global distance coordinate system. Zbl 1114.65027 Yang, Lu 1 2006 A prover for parallel numerical verification of a class of constructive geometry theorems. Zbl 0762.51001 Yang, Lu; Zhang, Jingzhong; Li, Chuanzhong 1 1992 Solution to the generalized champagne problem on simultaneous stabilization of linear systems. Zbl 1124.93030 Guan, Qiang; Wang, Long; Xia, Bican; Yang, Lu; Yu, Wensheng; Zeng, Zhenbing 1 2007 On the number of congruent classes of the tetrahedra determined by given volume, circumradius and face areas. Zbl 1467.52019 Zeng, Zhenbing; Yang, Lu; Dehbi, Lydia 1 2019 Solving spatial constraints with generalized distance geometry. Zbl 1272.51007 Yang, Lu 1 2013 A practical symbolic algorithm for the inverse kinematics of 6R manipulators with simple geometry. Zbl 1430.70010 Yang, Lu; Fu, Hongguang; Zeng, Zhenbing 1 1997 Index reduction of differential algebraic equations by differential Dixon resultant. Zbl 1427.65140 Qin, Xiaolin; Yang, Lu; Feng, Yong; Bachmann, Bernhard; Fritzson, Peter 1 2018 Heuristics to sift extraneous factors in Dixon resultants. Zbl 07493811 Qin, Xiaolin; Zhang, Lige; Yang, Lu; Cao, Sheng 3 2022 On the number of congruent classes of the tetrahedra determined by given volume, circumradius and face areas. Zbl 1467.52019 Zeng, Zhenbing; Yang, Lu; Dehbi, Lydia 1 2019 Index reduction of differential algebraic equations by differential Dixon resultant. Zbl 1427.65140 Qin, Xiaolin; Yang, Lu; Feng, Yong; Bachmann, Bernhard; Fritzson, Peter 1 2018 Automated inequality proving and discovering. Zbl 1362.26001 Xia, Bican; Yang, Lu 5 2016 Quantifier elimination for a class of exponential polynomial formulas. Zbl 1382.03056 Xu, Ming; Li, Zhi-Bin; Yang, Lu 5 2015 Solving spatial constraints with generalized distance geometry. Zbl 1272.51007 Yang, Lu 1 2013 Discussion on polynomials having polynomial iterative roots. Zbl 1254.12002 Yu, Zhiheng; Yang, Lu; Zhang, Weinian 8 2012 Differential elimination with Dixon resultants. Zbl 1257.34024 Yang, Lu; Zeng, Zhenbing; Zhang, Weinian 7 2012 Real polynomial iterative roots in the case of nonmonotonicity height \(\geqslant 2\). Zbl 1259.68246 Yang, LiLi; Yang, Lu; Yu, ZhiHeng; Zhang, WeiNian 3 2012 Symbolic decision procedure for termination of linear programs. Zbl 1216.68077 Xia, Bican; Yang, Lu; Zhan, Naijun; Zhang, Zhihai 5 2011 Recent advances in program verification through computer algebra. Zbl 1267.68099 Yang, Lu; Zhou, Chaochen; Zhan, Naijun; Xia, Bican 6 2010 Computing cylindrical algebraic decomposition via triangular decomposition. Zbl 1237.14068 Chen, Changbo; Moreno Maza, Marc; Xia, Bican; Yang, Lu 30 2009 Difference substitution matrices and decision on nonnegativity of polynomials. Zbl 1212.68257 Yang, Lu; Yao, Yong 2 2009 Discovering non-linear ranking functions by solving semi-algebraic systems. Zbl 1147.68442 Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun; Zhou, Chaochen 10 2007 Generating polynomial invariants with DISCOVERER and QEPCAD. Zbl 1151.68366 Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun 8 2007 A class of mechanically decidable problems beyond Tarski’s model. Zbl 1133.68423 Yang, Lu; Feng, Yong; Yao, Yong 1 2007 Solution to the generalized champagne problem on simultaneous stabilization of linear systems. Zbl 1124.93030 Guan, Qiang; Wang, Long; Xia, Bican; Yang, Lu; Yu, Wensheng; Zeng, Zhenbing 1 2007 Solving spatial constraints with global distance coordinate system. Zbl 1114.65027 Yang, Lu 1 2006 The complexity of the minimum \(k\)-cover problem. Zbl 1136.68618 Cole, Richard; Iliopoulos, Costas S.; Mohamed, Manal; Smyth, W. F.; Yang, Lu 9 2005 An open problem on metric invariants of tetrahedra. Zbl 1352.51018 Yang, Lu; Zeng, Zhenbing 3 2005 Distance coordinates used in geometric constraint solving. Zbl 1193.68274 Yang, Lu 2 2004 Automated deduction in real geometry. Zbl 1082.65054 Yang, Lu; Xia, Bican 2 2004 Some properties of the discrimination matrix of polynomials with applications. Zbl 1051.15010 Xia, Bican; Yang, Lu 2 2003 An algorithm for isolating the real solutions of semi-algebraic systems. Zbl 1027.68150 Xia, Bican; Yang, Lu 27 2002 Verifying a border array in linear time. Zbl 1009.68106 Franěk, František; Gao, Shudi; Lu, Weilin; Ryan, P. J.; Smyth, W. F.; Sun, Yu; Yang, Lu 24 2002 Decomposing polynomial systems into strong regular sets. Zbl 1012.68231 Li, Yong-Bin; Zhang, Jing-Zhong; Yang, Lu 2 2002 A complete algorithm for automated discovering of a class of inequality-type theorems. Zbl 1125.68406 Yang, Lu; Hou, Xiaorong; Xia, Bican 35 2001 A practical program of automated proving for a class of geometric inequalities. Zbl 0985.68556 Yang, Lu; Zhang, Ju 6 2001 A recursive algorithm for constructing generalized Sturm sequence. Zbl 0984.12008 Fu, Hongguang; Yang, Lu; Zeng, Zhenbing 2 2000 Equi-Cevaline points of triangles. Zbl 0981.65031 Yang, Lu; Zeng, Zhenbing 2 2000 Recent advances on determining the number of real roots of parametric polynomials. Zbl 0957.65041 Yang, Lu 67 1999 Recent advances in automated theorem proving on inequalities. Zbl 0944.68169 Yang, Lu 6 1999 Automated discovering and proving for geometric inequalities. Zbl 0947.03017 Yang, Lu; Hou, Xiaorong; Xia, Bican 6 1999 A computer-aided geometric approach to inverse kinematics. Zbl 0955.70003 Fu, Hongguang; Yang, Lu; Zhou, Chaochen 2 1998 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 practical symbolic algorithm for the inverse kinematics of 6R manipulators with simple geometry. Zbl 1430.70010 Yang, Lu; Fu, Hongguang; Zeng, Zhenbing 1 1997 A complete discrimination system for polynomials. Zbl 0866.68104 Yang, Lu; Hou, Xiaorong; Zeng, Zhenbing 56 1996 Some advances on functional equations. Zbl 0862.39009 Zhang, Jingzhong; Yang, Lu; Zhang, Weinian 41 1995 The sub-resultant method for automated theorem proving. Zbl 0839.68090 Zhang, Jing-Zhong; Yang, Lu; Hou, Xiao-Rong 4 1995 Heilbronn problem for six points in a planar convex body. Zbl 0879.52001 Dress, Andreas W. M.; Yang, Lu; Zeng, Zhenbing 1 1995 Algebraic and geometric reasoning using Dixon resultants. Zbl 0964.68536 Kapur, Deepak; Saxena, Tushar; Yang, Lu 40 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 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 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 571 Authors 35 Zhang, Weinian 21 Li, Lin 19 Xia, Bican 19 Yang, Lu 15 England, Matthew 12 Davenport, James Harold 12 Liu, Liu 12 Llibre, Jaume 12 Zeng, Zhenbing 11 Moreno Maza, Marc 11 Yu, Zhiheng 10 Smyth, William F. 9 Zeng, Yingying 8 Wang, Dongming 7 Huang, Jicai 7 Shi, YongGuo 6 Chen, Changbo 6 Feng, Yong 6 Kapur, Deepak 6 Leng, Gangsong 6 Qin, Xiaolin 6 Radoszewski, Jakub 6 Song, Wei 6 Zhang, Wenmeng 5 Bannai, Hideo 5 Bradford, Russell J. 5 Gao, Qingbin 5 Inenaga, Shunsuke 5 Kulenović, Mustafa R. S. 5 Liu, Xiaohua 5 Niu, Wei 5 Takeda, Masayuki 5 Wang, Hao 5 Wang, Renhong 5 Wilson, David J. 5 Zhan, Naijun 5 Zhang, Jingzhong 5 Zhang, Pingping 5 Zhang, Zhihai 4 Chtcherba, Arthur D. 4 Fu, Hongguang 4 Gao, Xiaoshan 4 Gawrychowski, Paweł 4 Hou, Xiaorong 4 Huang, Bo 4 I, Tomohiro 4 Jarczyk, Witold 4 Kociumaka, Tomasz 4 Lai, Yisheng 4 Li, Yi 4 Mou, Chenqi 4 Pilav, Esmir 4 Starikovskaya, Tatiana A. 4 Sun, Xianbo 4 Tang, Xiaoxian 4 Wang, Long 4 Wu, Jinming 4 Wu, Yudong 4 Xu, Ming 4 Yang, Zhengfeng 4 Yu, Wensheng 4 Zhang, Limin 4 Zhao, Hengjun 3 Boulier, François 3 Brett, Ann 3 Chen, Jingmin 3 Chen, Ting 3 Cheng, Jinsan 3 Gong, Xiaobing 3 Hong, Hoon 3 Iliopoulos, Costas S. 3 Lazard, Daniel 3 Lemaire, François 3 Lewis, Robert H. 3 Li, Lingfei 3 Li, Xiaoliang 3 Li, Zhibin 3 Lin, Yinhe 3 Mhaskar, Neerja 3 Murugan, Veerapazham 3 Poteaux, Adrien 3 Rytter, Wojciech 3 Safey El Din, Mohab 3 Schost, Éric 3 Srivastava, Hari Mohan 3 Tang, Xiao 3 Valls Anglés, Cláudia 3 Waleń, Tomasz 3 Wang, Jihua 3 Xie, Yingying 3 Xu, Bing 3 Yao, Yong 3 Yuan, Chunming 3 Zdun, Marek Cezary 3 Zhi, Lihong 2 Ábrahám, Erika 2 Aubry, Philippe 2 Bachmann, Bernhard 2 Batic, Davide 2 Bilgin, Arzu ...and 471 more Authors all top 5 Cited in 118 Serials 49 Journal of Symbolic Computation 20 Journal of Mathematical Analysis and Applications 16 Theoretical Computer Science 16 Journal of Systems Science and Complexity 15 Aequationes Mathematicae 12 Applied Mathematics and Computation 10 Computers & Mathematics with Applications 10 Mathematics in Computer Science 9 Journal of Computational and Applied Mathematics 9 Science in China. Series A 8 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 7 Results in Mathematics 7 Journal of Inequalities and Applications 6 Journal of Difference Equations and Applications 6 Science China. Mathematics 5 Chaos, Solitons and Fractals 5 Journal of Discrete Algorithms 5 Advances in Difference Equations 4 Journal of Differential Equations 4 Computer Aided Geometric Design 4 Journal of Automated Reasoning 4 Applied Mathematics Letters 4 Nonlinear Dynamics 4 Science China. Information Sciences 3 Journal of the Franklin Institute 3 Automatica 3 Journal of Geometry 3 Mathematics and Computers in Simulation 3 Systems & Control Letters 3 International Journal of Computer Mathematics 3 Linear Algebra and its Applications 3 Applicable Algebra in Engineering, Communication and Computing 3 Science in China. Series E 3 Discrete Dynamics in Nature and Society 3 Qualitative Theory of Dynamical Systems 3 Discrete and Continuous Dynamical Systems. Series B 3 Acta Mathematica Scientia. Series B. (English Edition) 2 Discrete Mathematics 2 Information Processing Letters 2 Journal of Mathematical Biology 2 Mathematical Methods in the Applied Sciences 2 Physics Letters. A 2 Geometriae Dedicata 2 Advances in Applied Mathematics 2 Journal of Computer Science and Technology 2 Formal Aspects of Computing 2 Chinese Science Bulletin 2 Bulletin des Sciences Mathématiques 2 Annals of Mathematics and Artificial Intelligence 2 Discrete and Continuous Dynamical Systems 2 Abstract and Applied Analysis 2 Communications in Nonlinear Science and Numerical Simulation 2 Journal of Applied Mathematics 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 Bulletin of the Australian Mathematical Society 1 Discrete Applied Mathematics 1 Journal of Mathematical Physics 1 Mathematics of Computation 1 Journal of Geometry and Physics 1 Archiv der Mathematik 1 Czechoslovak Mathematical Journal 1 Information Sciences 1 International Journal of Mathematics and Mathematical Sciences 1 Journal of Combinatorial Theory. Series B 1 Journal of Mathematical Economics 1 Le Matematiche 1 Meccanica 1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 1 Proceedings of the Edinburgh Mathematical Society. Series II 1 Real Analysis Exchange 1 Revista de la Unión Matemática Argentina 1 Studies in Applied Mathematics 1 Cryptologia 1 European Journal of Combinatorics 1 Applied Mathematics and Mechanics. (English Edition) 1 Journal of Robotic Systems 1 Computational Geometry 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Foundations of Computer Science 1 Journal of Global Optimization 1 Applied Mathematical Modelling 1 Computational Complexity 1 International Applied Mechanics 1 Electronic Journal of Differential Equations (EJDE) 1 Buletinul Academiei de Științe a Republicii Moldova. Matematica 1 Journal of Mathematical Chemistry 1 Theory of Computing Systems 1 Conformal Geometry and Dynamics 1 Journal of Combinatorial Optimization 1 Annals of Combinatorics 1 Chaos 1 Mechanism and Machine Theory 1 Journal of Discrete Mathematical Sciences & Cryptography 1 RAIRO. Theoretical Informatics and Applications 1 Communications in Contemporary Mathematics 1 Fundamenta Informaticae 1 Methodology and Computing in Applied Probability ...and 18 more Serials all top 5 Cited in 43 Fields 165 Computer science (68-XX) 84 Difference and functional equations (39-XX) 71 Dynamical systems and ergodic theory (37-XX) 56 Commutative algebra (13-XX) 47 Real functions (26-XX) 46 Numerical analysis (65-XX) 41 Ordinary differential equations (34-XX) 34 Geometry (51-XX) 30 Algebraic geometry (14-XX) 29 Field theory and polynomials (12-XX) 28 Biology and other natural sciences (92-XX) 18 Systems theory; control (93-XX) 16 Mathematical logic and foundations (03-XX) 14 Convex and discrete geometry (52-XX) 14 Mechanics of particles and systems (70-XX) 11 Partial differential equations (35-XX) 9 Operations research, mathematical programming (90-XX) 8 Linear and multilinear algebra; matrix theory (15-XX) 7 Number theory (11-XX) 6 Quantum theory (81-XX) 5 General topology (54-XX) 4 Functions of a complex variable (30-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Information and communication theory, circuits (94-XX) 3 Combinatorics (05-XX) 3 Approximations and expansions (41-XX) 3 Operator theory (47-XX) 3 Statistics (62-XX) 3 Mathematics education (97-XX) 2 Special functions (33-XX) 2 Functional analysis (46-XX) 2 Optics, electromagnetic theory (78-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Measure and integration (28-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Differential geometry (53-XX) 1 Algebraic topology (55-XX) 1 Manifolds and cell complexes (57-XX) 1 Probability theory and stochastic processes (60-XX) 1 Mechanics of deformable solids (74-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year