zbMATH — the first resource for mathematics

Yang, Lu

Compute Distance To:
 Author ID: yang.lu Published as: Yang, L.; Yang, Lu
 Documents Indexed: 172 Publications since 1980, including 3 Books
all top 5

Co-Authors

 11 single-authored 47 Zhang, Jingzhong 15 Zeng, Zhenbing 14 Xia, Bican 11 Hou, Xiaorong 6 Yang, Meihua 5 Wang, Xuan 5 Zhang, Weinian 4 Zhan, Naijun 3 Feng, Yong 3 Fu, Hongguang 3 Zhong, Chengkui 3 Zhou, Chaochen 2 Chen, Yinghua 2 Deng, Mike 2 Duan, Jinqiao 2 Gao, Xiaoshan 2 Guo, Yongxia 2 Kloeden, Peter Eris 2 Smyth, William F. 2 Sun, Chunyou 2 Wang, Dongming 2 Wang, Long 2 Wei, Guangsheng 2 Yao, Yong 2 Yu, Zhiheng 2 Yue, Ming 1 Abed-Meraim, Karim 1 Attallah, Samir 1 Bachmann, Bernhard 1 Bai, Yin 1 Chen, Changbo 1 Chen, Lixin 1 Chen, Zhenbang 1 Cheng, Xiyou 1 Chou, Shangching 1 Cole, Richard John 1 Dai, Yiqi 1 Dehbi, Lydia 1 Dress, Andreas W. M. 1 Fan, Jianping 1 Franek, Frantisek 1 Frees, Edward W. 1 Fritzson, Peter A. 1 Gao, Shudi 1 Gao, Wei 1 Gilbert, Nigel 1 Gong, Lingfeng 1 Guan, Qiang 1 Guo, Zhenhua 1 Guo, Zhouxiong 1 He, Jinfang 1 Hou, Xiaoqiang 1 Huang, Juiyu 1 Iliopoulos, Costas S. 1 Jiang, Buyun 1 Kapur, Deepak 1 Kulshestha, Devendra K. 1 Li, Chuanzhong 1 Li, Guofeng 1 Li, Hongbo 1 Li, Xiaoshan 1 Li, Yan 1 Li, Yongbin 1 Li, Zhibin 1 Liu, Deyou 1 Liu, Xia 1 Liu, Yuewei 1 Liu, Zhiming 1 Liu, Zhong 1 Lu, Weilin 1 Luo, Ping 1 Ma, Qiaozhen 1 Ma, Yinghong 1 Mathew, George 1 Mohamed, Manal 1 Moreno Maza, Marc 1 Ning, Yigao 1 Ou, Yaobin 1 Ouyang, Ya 1 Pan, Yiheng 1 Qi, Dongxu 1 Qian, Xinkai 1 Qin, Xiaolin 1 Ryan, Patrick J. 1 Sag, Tom W. 1 Saxena, Tushar 1 Shen, Guoxiao 1 Shen, Xinpu 1 Shi, Lukui 1 Shi, Peng 1 Song, Xiaoya 1 Stolz, Volker 1 Sun, Ruizhi 1 Sun, Yu 1 Sun, Zheng 1 Tan, Zipeng 1 Wang, Daoshun 1 Wang, Ge 1 Wang, Jintao 1 Wang, Qiuyue ...and 25 more Co-Authors
all top 5

Serials

 11 Acta Mathematica Sinica 5 Applied Mathematics and Computation 4 Journal of Systems Science and Mathematical Sciences 4 Journal of Symbolic Computation 4 Nonlinear Analysis. Real World Applications 3 Bulletin of the Australian Mathematical Society 3 Chinese Annals of Mathematics. Series A 3 Advances in Mathematics 3 Science in China. Series A 3 Scientia Sinica. Series A 3 Kexue Tongbao 3 Electronic Journal of Differential Equations (EJDE) 3 Boundary Value Problems 2 Journal of Mathematical Analysis and Applications 2 Journal of the American Statistical Association 2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 2 Applied Mathematics and Mechanics. (English Edition) 2 Journal of China University of Science and Technology 2 IEEE Transactions on Signal Processing 2 Science in China. Series E 2 Discrete and Continuous Dynamical Systems. Series B 2 Science in China. Series F 1 Computers & Mathematics with Applications 1 International Journal of Control 1 Journal of Mathematical Physics 1 The Mathematical Intelligencer 1 Geometriae Dedicata 1 Information Sciences 1 Integral Equations and Operator Theory 1 Journal of Combinatorial Theory. Series A 1 Theoretical Computer Science 1 Transactions of the American Mathematical Society 1 Chinese Annals of Mathematics 1 Mathematica Numerica Sinica 1 Acta Mathematicae Applicatae Sinica 1 Journal of Chengdu University of Science and Technology 1 Mathematics in Practice and Theory 1 Stochastic Analysis and Applications 1 Journal of East China Normal University. Natural Science Edition 1 Journal of Computer Science and Technology 1 Journal of Northwest University. Natural Sciences Edition 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 Linear Algebra and its Applications 1 Chinese Science Bulletin 1 Topological Methods in Nonlinear Analysis 1 Journal of Anhui Normal University. Natural Science 1 Journal of Automata, Languages and Combinatorics 1 Nonlinear Dynamics 1 Soft Computing 1 Chinese Quarterly Journal of Mathematics 1 Communications in Nonlinear Science and Numerical Simulation 1 Journal of Hebei University of Technology 1 Journal of High Energy Physics 1 Progress in Natural Science 1 Acta Mathematica Scientia. Series B. (English Edition) 1 Advances in Complex Systems 1 Stochastics and Dynamics 1 Journal of PLA University of Science and Technology. Natural Science Edition 1 Journal of Lanzhou University of Technology 1 Lecture Notes in Computer Science 1 Undergraduate Math Journal 1 Science China. Mathematics 1 International Journal of Structural Stability and Dynamics 1 Frontiers of Computer Science in China
all top 5

Fields

 45 Computer science (68-XX) 31 Geometry (51-XX) 23 Partial differential equations (35-XX) 19 Convex and discrete geometry (52-XX) 16 Dynamical systems and ergodic theory (37-XX) 13 Mathematical logic and foundations (03-XX) 10 Field theory and polynomials (12-XX) 9 Numerical analysis (65-XX) 8 Real functions (26-XX) 5 Algebraic geometry (14-XX) 5 Ordinary differential equations (34-XX) 5 Difference and functional equations (39-XX) 5 Mechanics of deformable solids (74-XX) 5 Systems theory; control (93-XX) 4 General topology (54-XX) 4 Mechanics of particles and systems (70-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Information and communication theory, circuits (94-XX) 3 Functions of a complex variable (30-XX) 3 Biology and other natural sciences (92-XX) 2 Measure and integration (28-XX) 2 Operator theory (47-XX) 2 Statistics (62-XX) 2 Fluid mechanics (76-XX) 1 General and overarching topics; collections (00-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Optics, electromagnetic theory (78-XX) 1 Quantum theory (81-XX)

Citations contained in zbMATH

96 Publications have been cited 596 times in 462 Documents Cited by Year
Recent advances on determining the number of real roots of parametric polynomials. Zbl 0957.65041
Yang, Lu
1999
A complete discrimination system for polynomials. Zbl 0866.68104
Yang, Lu; Hou, Xiaorong; Zeng, Zhenbing
1996
Some advances on functional equations. Zbl 0862.39009
Zhang, Jingzhong; Yang, Lu; Zhang, Weinian
1995
Iterative roots of the piecewise monotone continuous self-mapping. Zbl 0529.39006
Zhang, Jingzhong; Yang, Lu
1983
Algebraic and geometric reasoning using Dixon resultants. Zbl 0964.68536
Kapur, Deepak; Saxena, Tushar; Yang, Lu
1994
An algorithm for isolating the real solutions of semi-algebraic systems. Zbl 1027.68150
Xia, Bican; Yang, Lu
2002
A complete algorithm for automated discovering of a class of inequality-type theorems. Zbl 1125.68406
Yang, Lu; Hou, Xiaorong; Xia, Bican
2001
Computing cylindrical algebraic decomposition via triangular decomposition. Zbl 1237.14068
Chen, Changbo; Moreno Maza, Marc; Xia, Bican; Yang, Lu
2009
Global attractor for plate equation with nonlinear damping. Zbl 1152.35444
Yang, Lu; Zhong, Cheng-Kui
2008
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
2002
Pullback attractors for non-autonomous quasi-linear parabolic equations with dynamical boundary conditions. Zbl 1261.37033
Yang, Lu; Yang, Meihua; Kloeden, Peter E.
2012
Uniform attractor for non-autonomous plate equation with a localized damping and a critical nonlinearity. Zbl 1139.35031
Yang, Lu
2008
Searching dependency between algebraic equations: An algorithm applied to automated reasoning. Zbl 0808.68069
Yang, Lu; Zhang, Jingzhong
1994
Asymptotic behavior for a semilinear second order evolution equation. Zbl 1235.35046
Sun, Chunyou; Yang, Lu; Duan, Jinqiao
2011
Attractors for the nonclassical diffusion equations with fading memory. Zbl 1180.35127
Wang, Xuan; Yang, Lu; Zhong, Chengkui
2010
Long-time behavior of reaction-diffusion equations with dynamical boundary condition. Zbl 1218.35042
Yang, Lu; Yang, Meihua
2011
A generalization to several dimensions of the Neuberg-Pedoe inequality, with applications. Zbl 0519.51013
Yang, Lu; Zhang, Jingzhong
1983
Discovering non-linear ranking functions by solving semi-algebraic systems. Zbl 1147.68442
Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun; Zhou, Chaochen
2007
An integrated model for ultrasonic wave propagation and scattering in a polycrystalline medium with elongated hexagonal grains. Zbl 1360.74089
Yang, L.; Lobkis, O. I.; Rokhlin, S. I.
2012
Generating polynomial invariants with DISCOVERER and QEPCAD. Zbl 1151.68366
Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun
2007
The complexity of the minimum $$k$$-cover problem. Zbl 1136.68618
Cole, Richard; Iliopoulos, Costas S.; Mohamed, Manal; Smyth, W. F.; Yang, Lu
2005
Asymptotic regularity for $$p$$-Laplacian equation. Zbl 1310.35139
Liu, Yuewei; Yang, Lu; Zhong, Chengkui
2010
Recent advances in program verification through computer algebra. Zbl 1267.68099
Yang, Lu; Zhou, Chaochen; Zhan, Naijun; Xia, Bican
2010
The motion of a rough particle in a Stokes flow adjacent to a boundary. Zbl 1093.76520
Yang, L.; Seddon, J. R. T.; Mullin, T.; Del Pino, C.; Ashmore, J.
2006
A practical program of automated proving for a class of geometric inequalities. Zbl 0985.68556
Yang, Lu; Zhang, Ju
2001
Automated discovering and proving for geometric inequalities. Zbl 0947.03017
Yang, Lu; Hou, Xiaorong; Xia, Bican
1999
Recent advances in automated theorem proving on inequalities. Zbl 0944.68169
Yang, Lu
1999
Discussion on polynomials having polynomial iterative roots. Zbl 1254.12002
Yu, Zhiheng; Yang, Lu; Zhang, Weinian
2012
Symbolic decision procedure for termination of linear programs. Zbl 1216.68077
Xia, Bican; Yang, Lu; Zhan, Naijun; Zhang, Zhihai
2011
Uniform attractor for non-autonomous hyperbolic equation with critical exponent. Zbl 1157.37023
Yang, Lu
2008
The parallel numerical method of mechanical theorem proving. Zbl 0701.68087
Zhang, Jingzhong; Yang, Lu; Deng, Mike
1990
Ultrasonic scattering in polycrystals with orientation clusters of orthorhombic crystallites. Zbl 1454.82044
Yang, L.; Li, J.; Rokhlin, S. I.
2013
Differential elimination with Dixon resultants. Zbl 1257.34024
Yang, Lu; Zeng, Zhenbing; Zhang, Weinian
2012
Attractors of the non-autonomous reaction-diffusion equation with nonlinear boundary condition. Zbl 1201.35054
Yang, Lu; Yang, Mei-Hua
2010
The second type of Feigenbaum’s functional equations. Zbl 0641.58017
Yang, Lu; Zhang, Jinzhong
1986
Understanding cumulative sum operator in grey prediction model with integral matching. Zbl 1451.93211
Wei, Baolei; Xie, Naiming; Yang, Lu
2020
Pair copula constructions for insurance experience rating. Zbl 1398.62323
Shi, Peng; Yang, Lu
2018
Existence of compressible bilayers in the functionalized Cahn-Hilliard equation. Zbl 1348.37039
Promislow, K.; Yang, L.
2014
Strong convergence theorems of total quasi-$$\phi$$-asymptotically nonexpansive semi-groups in Banach spaces. Zbl 1259.47085
Zhao, F. H.; Yang, L.
2012
Real polynomial iterative roots in the case of nonmonotonicity height $$\geqslant 2$$. Zbl 1259.68246
Yang, LiLi; Yang, Lu; Yu, ZhiHeng; Zhang, WeiNian
2012
The sub-resultant method for automated theorem proving. Zbl 0839.68090
Zhang, Jing-Zhong; Yang, Lu; Hou, Xiao-Rong
1995
A criterion for dependency of algebraic equations with applications to automated theorem proving. Zbl 0820.68108
Zhang, Jingzhong; Yang, Lu; Hou, Xiaorong
1994
Pseudo-symmetric sets and related geometric inequalities. Zbl 0651.52012
Yang, Lu; Zhang, Jingzhong
1986
A sufficient and necessary condition for embedding a simplex with prescribed dihedral angles in $$E^ n$$. Zbl 0528.52007
Yang, Lu; Zhang, Jingzhong
1983
Congruent imbedding of a finite point set in pseudo-Euclidean space. Zbl 0522.51016
Zhang, Jingzhong; Yang, Lu
1981
Two inequalities of higher dimensional metric geometry. Zbl 0483.51009
Yang, Lu; Zhang, Jingzhong
1981
A class of geometric inequalities on finite points. Zbl 0456.52005
Yang, Lu; Zhang, Jingzhong
1980
Set-valued systems with infinite-dimensional image and applications. Zbl 1402.90170
Li, J.; Yang, L.
2018
Existence of attractors for the non-autonomous Berger equation with nonlinear damping. Zbl 1386.35025
Yang, Lu; Wang, Xuan
2017
A note on solutions of some differential-difference equations. Zbl 1372.30023
Qi, Xiaoguang; Liu, Yong; Yang, Lianzhong
2017
Automated inequality proving and discovering. Zbl 1362.26001
Xia, Bican; Yang, Lu
2016
Quantifier elimination for a class of exponential polynomial formulas. Zbl 1382.03056
Xu, Ming; Li, Zhi-Bin; Yang, Lu
2015
Nonlinear electro-dynamic analysis of micro-actuators: effect of material nonlinearity. Zbl 1427.74097
Peng, J. S.; Yang, L.; Luo, G. B.; Yang, J.
2014
The coprime graph of a group. Zbl 1330.20040
Ma, X.; Wei, H.; Yang, L.
2014
On uniform attractors for non-autonomous $$p$$-Laplacian equation with dynamic boundary condition. Zbl 1343.35144
Yang, Lu; Yang, Meihua; Wu, Jie
2013
Asymptotic regularity and attractors of the reaction-diffusion equation with nonlinear boundary condition. Zbl 1239.35072
Yang, Lu
2012
Difference substitution matrices and decision on nonnegativity of polynomials. Zbl 1212.68257
Yang, Lu; Yao, Yong
2009
Harnessing rCOS for tool support – the CoCoME experience. Zbl 1151.68380
Chen, Zhenbang; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker; Yang, Lu
2007
Model reference adaptive control of a nonsmooth dynamical system. Zbl 1170.70404
Yang, L.; Neild, S. A.; Wagg, D. J.; Virden, D. W.
2006
Some properties of the discrimination matrix of polynomials with applications. Zbl 1051.15010
Xia, Bican; Yang, Lu
2003
Sequential linear-quadratic method for differential games with air combat applications. Zbl 1048.91016
Mukai, H.; Tanikawa, A.; Tunay, İ.; Ozcan, İ. A.; Katz, I. N.; Schättler, H.; Rinaldi, P.; Wang, G. J.; Yang, L.; Sawada, Y.
2003
Decomposing polynomial systems into strong regular sets. Zbl 1012.68231
Li, Yong-Bin; Zhang, Jing-Zhong; Yang, Lu
2002
A recursive algorithm for constructing generalized Sturm sequence. Zbl 0984.12008
Fu, Hongguang; Yang, Lu; Zeng, Zhenbing
2000
Interactions between an idealized rotating string and stationary constraints. Zbl 1049.74619
Yang, L.; Hutton, S. G.
1995
On the first Heilbronn numbers of a triangle. Zbl 0812.52003
Yang, Lu; Zhang, Jingzhong; Zeng, Zhenbing
1994
What can we do with only a pair of rusty compasses? Zbl 0722.51017
Zhang, Jingzhong; Yang, Lu; Hou, Xiaorong
1991
A high-dimensional extension of Neuberg-Pedoe inequality and its application. Zbl 0519.51012
Yang, Lu; Zhang, Jingzhong
1981
Inverse eigenvalue problems for a damped Stieltjes string with mixed data. Zbl 1443.74201
Yang, Lu; Guo, Yongxia; Wei, Guangsheng
2020
Incompressible limit of non-isentropic compressible magnetohydrodynamic equations with zero magnetic diffusivity in bounded domains. Zbl 1433.35292
Ou, Yaobin; Yang, Lu
2019
Index reduction of differential algebraic equations by differential Dixon resultant. Zbl 1427.65140
Qin, Xiaolin; Yang, Lu; Feng, Yong; Bachmann, Bernhard; Fritzson, Peter
2018
Boundary element analysis of bar silencers using the scattering matrix with two-dimensional finite element modes. Zbl 1403.76124
Yang, L.; Wang, P.; Wu, T. W.
2017
Long-time behavior of stochastic reaction-diffusion equation with dynamical boundary condition. Zbl 1365.37058
Yang, Lu; Yang, Meihua
2017
On semilinear biharmonic equations with concave-convex nonlinearities involving weight functions. Zbl 1304.35261
Yang, Lu; Wang, Xuan
2014
Nontrivial solutions for a quasilinear elliptic system. Zbl 1302.35166
Cheng, Xiyou; Yang, Lu
2014
The shielding effects of the crack-tip plastic zone. Zbl 1273.74526
Zhu, P.; Yang, L.; Li, Zhonghua; Sun, J.
2010
Decision making with uncertainty information based on lattice-valued fuzzy concept lattice. Zbl 1216.68298
Yang, L.; Xu, Y.
2010
A perturbation method for numerical differentiation. Zbl 1142.65026
Yang, Lu
2008
A class of mechanically decidable problems beyond Tarski’s model. Zbl 1133.68423
Yang, Lu; Feng, Yong; Yao, Yong
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
2007
An open problem on metric invariants of tetrahedra. Zbl 1352.51018
Yang, Lu; Zeng, Zhenbing
2005
Distance coordinates used in geometric constraint solving. Zbl 1193.68274
Yang, Lu
2004
Automated deduction in real geometry. Zbl 1082.65054
Yang, Lu; Xia, Bican
2004
On Hopf bifurcations in singularly perturbed systems. Zbl 1364.34053
Yang, L.; Tang, Y.; Du, D.
2003
Equi-Cevaline points of triangles. Zbl 0981.65031
Yang, Lu; Zeng, Zhenbing
2000
On the passive stabilization of the equilibrium state of Lagrangian systems. Zbl 0990.70016
He, C.; Liu, G.; Yang, L.; Tian, Y.
1999
A computer-aided geometric approach to inverse kinematics. Zbl 0955.70003
Fu, Hongguang; Yang, Lu; Zhou, Chaochen
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
1998
Heilbronn problem for six points in a planar convex body. Zbl 0879.52001
Dress, Andreas W. M.; Yang, Lu; Zeng, Zhenbing
1995
The realization of elementary configurations in Euclidean space. Zbl 0804.51025
Zhang, Jingzhong; Yang, Lu; Yang, Xiaochun
1994
A note on Wu’s non-degenerate condition. Zbl 0798.68153
Zhang, Jingzhong; Yang, Lu; Hou, Xiaorong
1993
A criterion for dependency of algebraic equations and its application to automated theorem proving. Zbl 0940.12500
Zhang, Jingzhong; Yang, Lu; Hou, Xiaorong
1992
On a conjecture on and computation of the first Heilbronn numbers. Zbl 0781.52004
Yang, Lu; Zhang, Jingzhong; Zeng, Zhenbing
1992
A prover for parallel numerical verification of a class of constructive geometry theorems. Zbl 0762.51001
Yang, Lu; Zhang, Jingzhong; Li, Chuanzhong
1992
Metric sum and Alexander symmetrization. Zbl 0628.52010
Yang, Lu; Zhang, Jingzhong
1987
Metric spaces which cannot be isometrically embedded in Hilbert space. Zbl 0545.51018
Yang, Lu; Zhang, Jing-Zhong
1984
A simplified model of Smale’s horseshoe. Zbl 0493.58014
Zhang, Jingzhong; Yang, Lu
1982
Understanding cumulative sum operator in grey prediction model with integral matching. Zbl 1451.93211
Wei, Baolei; Xie, Naiming; Yang, Lu
2020
Inverse eigenvalue problems for a damped Stieltjes string with mixed data. Zbl 1443.74201
Yang, Lu; Guo, Yongxia; Wei, Guangsheng
2020
Incompressible limit of non-isentropic compressible magnetohydrodynamic equations with zero magnetic diffusivity in bounded domains. Zbl 1433.35292
Ou, Yaobin; Yang, Lu
2019
Pair copula constructions for insurance experience rating. Zbl 1398.62323
Shi, Peng; Yang, Lu
2018
Set-valued systems with infinite-dimensional image and applications. Zbl 1402.90170
Li, J.; Yang, L.
2018
Index reduction of differential algebraic equations by differential Dixon resultant. Zbl 1427.65140
Qin, Xiaolin; Yang, Lu; Feng, Yong; Bachmann, Bernhard; Fritzson, Peter
2018
Existence of attractors for the non-autonomous Berger equation with nonlinear damping. Zbl 1386.35025
Yang, Lu; Wang, Xuan
2017
A note on solutions of some differential-difference equations. Zbl 1372.30023
Qi, Xiaoguang; Liu, Yong; Yang, Lianzhong
2017
Boundary element analysis of bar silencers using the scattering matrix with two-dimensional finite element modes. Zbl 1403.76124
Yang, L.; Wang, P.; Wu, T. W.
2017
Long-time behavior of stochastic reaction-diffusion equation with dynamical boundary condition. Zbl 1365.37058
Yang, Lu; Yang, Meihua
2017
Automated inequality proving and discovering. Zbl 1362.26001
Xia, Bican; Yang, Lu
2016
Quantifier elimination for a class of exponential polynomial formulas. Zbl 1382.03056
Xu, Ming; Li, Zhi-Bin; Yang, Lu
2015
Existence of compressible bilayers in the functionalized Cahn-Hilliard equation. Zbl 1348.37039
Promislow, K.; Yang, L.
2014
Nonlinear electro-dynamic analysis of micro-actuators: effect of material nonlinearity. Zbl 1427.74097
Peng, J. S.; Yang, L.; Luo, G. B.; Yang, J.
2014
The coprime graph of a group. Zbl 1330.20040
Ma, X.; Wei, H.; Yang, L.
2014
On semilinear biharmonic equations with concave-convex nonlinearities involving weight functions. Zbl 1304.35261
Yang, Lu; Wang, Xuan
2014
Nontrivial solutions for a quasilinear elliptic system. Zbl 1302.35166
Cheng, Xiyou; Yang, Lu
2014
Ultrasonic scattering in polycrystals with orientation clusters of orthorhombic crystallites. Zbl 1454.82044
Yang, L.; Li, J.; Rokhlin, S. I.
2013
On uniform attractors for non-autonomous $$p$$-Laplacian equation with dynamic boundary condition. Zbl 1343.35144
Yang, Lu; Yang, Meihua; Wu, Jie
2013
Pullback attractors for non-autonomous quasi-linear parabolic equations with dynamical boundary conditions. Zbl 1261.37033
Yang, Lu; Yang, Meihua; Kloeden, Peter E.
2012
An integrated model for ultrasonic wave propagation and scattering in a polycrystalline medium with elongated hexagonal grains. Zbl 1360.74089
Yang, L.; Lobkis, O. I.; Rokhlin, S. I.
2012
Discussion on polynomials having polynomial iterative roots. Zbl 1254.12002
Yu, Zhiheng; Yang, Lu; Zhang, Weinian
2012
Differential elimination with Dixon resultants. Zbl 1257.34024
Yang, Lu; Zeng, Zhenbing; Zhang, Weinian
2012
Strong convergence theorems of total quasi-$$\phi$$-asymptotically nonexpansive semi-groups in Banach spaces. Zbl 1259.47085
Zhao, F. H.; Yang, L.
2012
Real polynomial iterative roots in the case of nonmonotonicity height $$\geqslant 2$$. Zbl 1259.68246
Yang, LiLi; Yang, Lu; Yu, ZhiHeng; Zhang, WeiNian
2012
Asymptotic regularity and attractors of the reaction-diffusion equation with nonlinear boundary condition. Zbl 1239.35072
Yang, Lu
2012
Asymptotic behavior for a semilinear second order evolution equation. Zbl 1235.35046
Sun, Chunyou; Yang, Lu; Duan, Jinqiao
2011
Long-time behavior of reaction-diffusion equations with dynamical boundary condition. Zbl 1218.35042
Yang, Lu; Yang, Meihua
2011
Symbolic decision procedure for termination of linear programs. Zbl 1216.68077
Xia, Bican; Yang, Lu; Zhan, Naijun; Zhang, Zhihai
2011
Attractors for the nonclassical diffusion equations with fading memory. Zbl 1180.35127
Wang, Xuan; Yang, Lu; Zhong, Chengkui
2010
Asymptotic regularity for $$p$$-Laplacian equation. Zbl 1310.35139
Liu, Yuewei; Yang, Lu; Zhong, Chengkui
2010
Recent advances in program verification through computer algebra. Zbl 1267.68099
Yang, Lu; Zhou, Chaochen; Zhan, Naijun; Xia, Bican
2010
Attractors of the non-autonomous reaction-diffusion equation with nonlinear boundary condition. Zbl 1201.35054
Yang, Lu; Yang, Mei-Hua
2010
The shielding effects of the crack-tip plastic zone. Zbl 1273.74526
Zhu, P.; Yang, L.; Li, Zhonghua; Sun, J.
2010
Decision making with uncertainty information based on lattice-valued fuzzy concept lattice. Zbl 1216.68298
Yang, L.; Xu, Y.
2010
Computing cylindrical algebraic decomposition via triangular decomposition. Zbl 1237.14068
Chen, Changbo; Moreno Maza, Marc; Xia, Bican; Yang, Lu
2009
Difference substitution matrices and decision on nonnegativity of polynomials. Zbl 1212.68257
Yang, Lu; Yao, Yong
2009
Global attractor for plate equation with nonlinear damping. Zbl 1152.35444
Yang, Lu; Zhong, Cheng-Kui
2008
Uniform attractor for non-autonomous plate equation with a localized damping and a critical nonlinearity. Zbl 1139.35031
Yang, Lu
2008
Uniform attractor for non-autonomous hyperbolic equation with critical exponent. Zbl 1157.37023
Yang, Lu
2008
A perturbation method for numerical differentiation. Zbl 1142.65026
Yang, Lu
2008
Discovering non-linear ranking functions by solving semi-algebraic systems. Zbl 1147.68442
Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun; Zhou, Chaochen
2007
Generating polynomial invariants with DISCOVERER and QEPCAD. Zbl 1151.68366
Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun
2007
Harnessing rCOS for tool support – the CoCoME experience. Zbl 1151.68380
Chen, Zhenbang; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker; Yang, Lu
2007
A class of mechanically decidable problems beyond Tarski’s model. Zbl 1133.68423
Yang, Lu; Feng, Yong; Yao, Yong
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
2007
The motion of a rough particle in a Stokes flow adjacent to a boundary. Zbl 1093.76520
Yang, L.; Seddon, J. R. T.; Mullin, T.; Del Pino, C.; Ashmore, J.
2006
Model reference adaptive control of a nonsmooth dynamical system. Zbl 1170.70404
Yang, L.; Neild, S. A.; Wagg, D. J.; Virden, D. W.
2006
The complexity of the minimum $$k$$-cover problem. Zbl 1136.68618
Cole, Richard; Iliopoulos, Costas S.; Mohamed, Manal; Smyth, W. F.; Yang, Lu
2005
An open problem on metric invariants of tetrahedra. Zbl 1352.51018
Yang, Lu; Zeng, Zhenbing
2005
Distance coordinates used in geometric constraint solving. Zbl 1193.68274
Yang, Lu
2004
Automated deduction in real geometry. Zbl 1082.65054
Yang, Lu; Xia, Bican
2004
Some properties of the discrimination matrix of polynomials with applications. Zbl 1051.15010
Xia, Bican; Yang, Lu
2003
Sequential linear-quadratic method for differential games with air combat applications. Zbl 1048.91016
Mukai, H.; Tanikawa, A.; Tunay, İ.; Ozcan, İ. A.; Katz, I. N.; Schättler, H.; Rinaldi, P.; Wang, G. J.; Yang, L.; Sawada, Y.
2003
On Hopf bifurcations in singularly perturbed systems. Zbl 1364.34053
Yang, L.; Tang, Y.; Du, D.
2003
An algorithm for isolating the real solutions of semi-algebraic systems. Zbl 1027.68150
Xia, Bican; Yang, Lu
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
2002
Decomposing polynomial systems into strong regular sets. Zbl 1012.68231
Li, Yong-Bin; Zhang, Jing-Zhong; Yang, Lu
2002
A complete algorithm for automated discovering of a class of inequality-type theorems. Zbl 1125.68406
Yang, Lu; Hou, Xiaorong; Xia, Bican
2001
A practical program of automated proving for a class of geometric inequalities. Zbl 0985.68556
Yang, Lu; Zhang, Ju
2001
A recursive algorithm for constructing generalized Sturm sequence. Zbl 0984.12008
Fu, Hongguang; Yang, Lu; Zeng, Zhenbing
2000
Equi-Cevaline points of triangles. Zbl 0981.65031
Yang, Lu; Zeng, Zhenbing
2000
Recent advances on determining the number of real roots of parametric polynomials. Zbl 0957.65041
Yang, Lu
1999
Automated discovering and proving for geometric inequalities. Zbl 0947.03017
Yang, Lu; Hou, Xiaorong; Xia, Bican
1999
Recent advances in automated theorem proving on inequalities. Zbl 0944.68169
Yang, Lu
1999
On the passive stabilization of the equilibrium state of Lagrangian systems. Zbl 0990.70016
He, C.; Liu, G.; Yang, L.; Tian, Y.
1999
A computer-aided geometric approach to inverse kinematics. Zbl 0955.70003
Fu, Hongguang; Yang, Lu; Zhou, Chaochen
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
1998
A complete discrimination system for polynomials. Zbl 0866.68104
Yang, Lu; Hou, Xiaorong; Zeng, Zhenbing
1996
Some advances on functional equations. Zbl 0862.39009
Zhang, Jingzhong; Yang, Lu; Zhang, Weinian
1995
The sub-resultant method for automated theorem proving. Zbl 0839.68090
Zhang, Jing-Zhong; Yang, Lu; Hou, Xiao-Rong
1995
Interactions between an idealized rotating string and stationary constraints. Zbl 1049.74619
Yang, L.; Hutton, S. G.
1995
Heilbronn problem for six points in a planar convex body. Zbl 0879.52001
Dress, Andreas W. M.; Yang, Lu; Zeng, Zhenbing
1995
Algebraic and geometric reasoning using Dixon resultants. Zbl 0964.68536
Kapur, Deepak; Saxena, Tushar; Yang, Lu
1994
Searching dependency between algebraic equations: An algorithm applied to automated reasoning. Zbl 0808.68069
Yang, Lu; Zhang, Jingzhong
1994
A criterion for dependency of algebraic equations with applications to automated theorem proving. Zbl 0820.68108
Zhang, Jingzhong; Yang, Lu; Hou, Xiaorong
1994
On the first Heilbronn numbers of a triangle. Zbl 0812.52003
Yang, Lu; Zhang, Jingzhong; Zeng, Zhenbing
1994
The realization of elementary configurations in Euclidean space. Zbl 0804.51025
Zhang, Jingzhong; Yang, Lu; Yang, Xiaochun
1994
A note on Wu’s non-degenerate condition. Zbl 0798.68153
Zhang, Jingzhong; Yang, Lu; Hou, Xiaorong
1993
A criterion for dependency of algebraic equations and its application to automated theorem proving. Zbl 0940.12500
Zhang, Jingzhong; Yang, Lu; Hou, Xiaorong
1992
On a conjecture on and computation of the first Heilbronn numbers. Zbl 0781.52004
Yang, Lu; Zhang, Jingzhong; Zeng, Zhenbing
1992
A prover for parallel numerical verification of a class of constructive geometry theorems. Zbl 0762.51001
Yang, Lu; Zhang, Jingzhong; Li, Chuanzhong
1992
What can we do with only a pair of rusty compasses? Zbl 0722.51017
Zhang, Jingzhong; Yang, Lu; Hou, Xiaorong
1991
The parallel numerical method of mechanical theorem proving. Zbl 0701.68087
Zhang, Jingzhong; Yang, Lu; Deng, Mike
1990
Metric sum and Alexander symmetrization. Zbl 0628.52010
Yang, Lu; Zhang, Jingzhong
1987
The second type of Feigenbaum’s functional equations. Zbl 0641.58017
Yang, Lu; Zhang, Jinzhong
1986
Pseudo-symmetric sets and related geometric inequalities. Zbl 0651.52012
Yang, Lu; Zhang, Jingzhong
1986
Metric spaces which cannot be isometrically embedded in Hilbert space. Zbl 0545.51018
Yang, Lu; Zhang, Jing-Zhong
1984
Iterative roots of the piecewise monotone continuous self-mapping. Zbl 0529.39006
Zhang, Jingzhong; Yang, Lu
1983
A generalization to several dimensions of the Neuberg-Pedoe inequality, with applications. Zbl 0519.51013
Yang, Lu; Zhang, Jingzhong
1983
A sufficient and necessary condition for embedding a simplex with prescribed dihedral angles in $$E^ n$$. Zbl 0528.52007
Yang, Lu; Zhang, Jingzhong
1983
A simplified model of Smale’s horseshoe. Zbl 0493.58014
Zhang, Jingzhong; Yang, Lu
1982
Congruent imbedding of a finite point set in pseudo-Euclidean space. Zbl 0522.51016
Zhang, Jingzhong; Yang, Lu
1981
Two inequalities of higher dimensional metric geometry. Zbl 0483.51009
Yang, Lu; Zhang, Jingzhong
1981
A high-dimensional extension of Neuberg-Pedoe inequality and its application. Zbl 0519.51012
Yang, Lu; Zhang, Jingzhong
1981
A class of geometric inequalities on finite points. Zbl 0456.52005
Yang, Lu; Zhang, Jingzhong
1980
all top 5

Cited by 680 Authors

 30 Zhang, Weinian 19 Yang, Lu 17 Xia, Bican 13 Li, Lin 11 Davenport, James Harold 11 England, Matthew 10 Moreno Maza, Marc 9 Llibre, Jaume 9 Smyth, William F. 8 Liu, Liu 8 Ma, Qiaozhen 8 Zeng, Zhenbing 7 Li, Fang 7 Wang, Dongming 7 Yu, Zhiheng 6 Feng, Yong 6 Kang, Jum-Ran 6 Kapur, Deepak 6 Leng, Gangsong 6 Qin, Yuming 6 Shi, YongGuo 6 You, Bo 6 Zhan, Naijun 5 Bannai, Hideo 5 Bradford, Russell J. 5 Inenaga, Shunsuke 5 Kulenović, Mustafa R. S. 5 Qin, Xiaolin 5 Song, Wei 5 Takeda, Masayuki 5 Wang, Renhong 5 Wilson, David J. 5 Zeng, Yingying 5 Zhang, Wenmeng 5 Zhang, Zhihai 4 Chen, Changbo 4 Chtcherba, Arthur D. 4 Conti, Monica C. 4 Gao, Xiaoshan 4 Hou, Xiaorong 4 I, Tomohiro 4 Lai, Yisheng 4 Liu, Tingting 4 Liu, Xiaohua 4 Tang, Xiaoxian 4 Wang, Long 4 Wu, Jinming 4 Wu, Yudong 4 Xu, Ming 4 Yu, Wensheng 4 Zhang, Jingzhong 4 Zhang, Pingping 4 Zhao, Hengjun 3 Brett, Ann 3 Chen, Jingmin 3 Cheng, Jinsan 3 Fu, Hongguang 3 Gong, Xiaobing 3 Hong, Hoon 3 Iliopoulos, Costas S. 3 Kloeden, Peter Eris 3 Kociumaka, Tomasz 3 Lazard, Daniel 3 Lewis, Robert H. 3 Li, Zhibin 3 Marchini, Elsa Maria 3 Park, Jong Yeoul 3 Pilav, Esmir 3 Promislow, Keith Steven 3 Radoszewski, Jakub 3 Simsen, Jacson 3 Srivastava, Hari Mohan 3 Sun, Xianbo 3 Valls Anglés, Cláudia 3 Wang, Jihua 3 Xu, Bing 3 Yang, Meihua 3 Yang, Xinguang 3 Yang, Zhengfeng 3 Yao, Yong 3 Zdun, Marek Cezary 3 Zhang, Limin 2 Ábrahám, Erika 2 Anguiano, María 2 Aubry, Philippe 2 Bachmann, Bernhard 2 Batic, Davide 2 Bilgin, Arzu 2 Boulier, François 2 Bridge, James P. 2 Chai, Xiaojuan 2 Chen, Liangyu 2 Chen, Ting 2 Chen, Zhenghong 2 Colak, Ilker E. 2 Draga, Szymon 2 Fan, Zhaohui 2 Feng, Baowei 2 Fritzson, Peter A. 2 Gao, Qingbin ...and 580 more Authors
all top 5

Cited in 135 Serials

 42 Journal of Symbolic Computation 30 Journal of Mathematical Analysis and Applications 15 Theoretical Computer Science 14 Applied Mathematics and Computation 14 Journal of Systems Science and Complexity 11 Computers & Mathematics with Applications 11 Aequationes Mathematicae 11 Discrete and Continuous Dynamical Systems. Series B 9 Journal of Computational and Applied Mathematics 9 Science in China. Series A 9 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 8 Mathematical Methods in the Applied Sciences 8 Journal of Differential Equations 8 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 8 Boundary Value Problems 8 Mathematics in Computer Science 7 Results in Mathematics 6 Journal of Inequalities and Applications 6 Science China. Mathematics 5 Wave Motion 5 ZAMP. Zeitschrift für angewandte Mathematik und Physik 5 Discrete Dynamics in Nature and Society 5 Nonlinear Analysis. Real World Applications 5 Journal of Discrete Algorithms 5 Advances in Difference Equations 4 Journal of Fluid Mechanics 4 Journal of Difference Equations and Applications 4 Abstract and Applied Analysis 3 Applicable Analysis 3 Journal of Mathematical Physics 3 Chaos, Solitons and Fractals 3 Journal of Geometry 3 Journal of Optimization Theory and Applications 3 Mathematics and Computers in Simulation 3 Systems & Control Letters 3 Journal of Automated Reasoning 3 Applied Mathematics Letters 3 Applied Mathematical Modelling 3 International Journal of Computer Mathematics 3 Linear Algebra and its Applications 3 Science in China. Series E 3 Mathematical Problems in Engineering 3 Nonlinear Dynamics 3 Communications in Nonlinear Science and Numerical Simulation 3 Journal of Applied Mathematics 3 Fixed Point Theory and Applications 3 Science China. Information Sciences 2 Discrete Mathematics 2 Information Processing Letters 2 Journal of the Franklin Institute 2 Applied Mathematics and Optimization 2 Automatica 2 Geometriae Dedicata 2 Computer Aided Geometric Design 2 Journal of Computer Science and Technology 2 Formal Aspects of Computing 2 Chinese Science Bulletin 2 Physics of Fluids 2 Bulletin des Sciences Mathématiques 2 Qualitative Theory of Dynamical Systems 2 Bulletin of the Malaysian Mathematical Sciences Society. Second Series 2 Communications on Pure and Applied Analysis 2 Science in China. Series F 2 Journal of Nonlinear Science and Applications 2 International Journal of Group Theory 2 Journal of Applied Analysis and Computation 2 Journal of Function Spaces 1 Acta Mechanica 1 Bulletin of the Australian Mathematical Society 1 Discrete Applied Mathematics 1 Journal of Mathematical Biology 1 Physics Letters. A 1 Rocky Mountain Journal of Mathematics 1 Journal of Geometry and Physics 1 Annales Polonici Mathematici 1 Archiv der Mathematik 1 Czechoslovak Mathematical Journal 1 Information Sciences 1 International Journal of Mathematics and Mathematical Sciences 1 Integral Equations and Operator Theory 1 Journal of Combinatorial Theory. Series B 1 Journal of Mathematical Economics 1 Mathematische Nachrichten 1 Quarterly of Applied Mathematics 1 Cryptologia 1 European Journal of Combinatorics 1 Advances in Applied Mathematics 1 Science of Computer Programming 1 Insurance Mathematics & Economics 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 Communications in Statistics. Simulation and Computation 1 Journal of Dynamics and Differential Equations 1 Computational Complexity 1 International Applied Mechanics 1 Electronic Journal of Differential Equations (EJDE) ...and 35 more Serials
all top 5

Cited in 47 Fields

 129 Computer science (68-XX) 96 Partial differential equations (35-XX) 84 Dynamical systems and ergodic theory (37-XX) 68 Difference and functional equations (39-XX) 46 Commutative algebra (13-XX) 41 Numerical analysis (65-XX) 39 Real functions (26-XX) 36 Mechanics of deformable solids (74-XX) 32 Ordinary differential equations (34-XX) 27 Field theory and polynomials (12-XX) 24 Geometry (51-XX) 20 Algebraic geometry (14-XX) 19 Biology and other natural sciences (92-XX) 19 Systems theory; control (93-XX) 16 Fluid mechanics (76-XX) 12 Mathematical logic and foundations (03-XX) 11 Convex and discrete geometry (52-XX) 11 Operations research, mathematical programming (90-XX) 9 Mechanics of particles and systems (70-XX) 7 Linear and multilinear algebra; matrix theory (15-XX) 7 Operator theory (47-XX) 7 Statistics (62-XX) 6 Functions of a complex variable (30-XX) 6 Integral equations (45-XX) 6 Calculus of variations and optimal control; optimization (49-XX) 5 Number theory (11-XX) 4 General topology (54-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Combinatorics (05-XX) 3 Approximations and expansions (41-XX) 3 Functional analysis (46-XX) 3 Probability theory and stochastic processes (60-XX) 3 Quantum theory (81-XX) 3 Statistical mechanics, structure of matter (82-XX) 3 Information and communication theory, circuits (94-XX) 2 Special functions (33-XX) 2 Differential geometry (53-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Geophysics (86-XX) 2 Mathematics education (97-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Group theory and generalizations (20-XX) 1 Algebraic topology (55-XX) 1 Manifolds and cell complexes (57-XX) 1 Optics, electromagnetic theory (78-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Relativity and gravitational theory (83-XX)