Li, Yong-Bin; Zhang, Jing-Zhong; Yang, Lu Decomposing polynomial systems into strong regular sets. (English) Zbl 1012.68231 Cohen, Arjeh M. (ed.) et al., Mathematical software. Proceedings of the 1st international congress, Beijing, China, August 17-19, 2002. Singapore: World Scientific. 361-371 (2002). MSC: 68W30 PDFBibTeX XMLCite \textit{Y.-B. Li} et al., in: Mathematical software. Proceedings of the 1st international congress, Beijing, China, August 17--19, 2002. Singapore: World Scientific. 361--371 (2002; Zbl 1012.68231)
Yang, Lu; Zhang, Jingzhong; Zhang, Weinian On number of circles intersected by a line. (English) Zbl 1024.51003 J. Comb. Theory, Ser. A 98, No. 2, 395-405 (2002). Reviewer: M.Kallaher (Pullman) MSC: 51D20 52A10 PDFBibTeX XMLCite \textit{L. Yang} et al., J. Comb. Theory, Ser. A 98, No. 2, 395--405 (2002; Zbl 1024.51003) Full Text: DOI
Yang, Lu; Gao, Xiao-Shan; Chou, Shang-Ching; Zhang, Jing-Zhong Automated production of readable proofs for theorems in non-Euclidean geometries. (English) Zbl 0910.03011 Wang, Dongming (ed.), Automated deduction in geometry. International workshop, Toulouse, France, September 27–29, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1360, 171-188 (1998). Reviewer: Josef Šajda (Bratislava) MSC: 03B35 51M10 51-04 68T15 PDFBibTeX XMLCite \textit{L. Yang} et al., Lect. Notes Comput. Sci. 1360, 171--188 (1998; Zbl 0910.03011)
Zhang, Jing-Zhong; Yang, Lu; Hou, Xiao-Rong WE complete algorithm for automated theorem proving. (Chinese. English summary) Zbl 0838.68102 J. Syst. Sci. Math. Sci. 15, No. 3, 200-207 (1995). MSC: 68T15 12Y05 PDFBibTeX XMLCite \textit{J.-Z. Zhang} et al., J. Syst. Sci. Math. Sci. 15, No. 3, 200--207 (1995; Zbl 0838.68102)
Zhang, Jingzhong; Yang, Lu; Zhang, Weinian Some advances on functional equations. (English) Zbl 0862.39009 Adv. Math., Beijing 24, No. 5, 385-405 (1995). Reviewer: M.Sablik (Katowice) MSC: 39B12 39B22 39B52 PDFBibTeX XMLCite \textit{J. Zhang} et al., Adv. Math., Beijing 24, No. 5, 385--405 (1995; Zbl 0862.39009)
Zhang, Jing-Zhong; Yang, Lu; Hou, Xiao-Rong The sub-resultant method for automated theorem proving. (Chinese. English summary) Zbl 0839.68090 J. Syst. Sci. Math. Sci. 15, No. 1, 10-15 (1995). MSC: 68T15 PDFBibTeX XMLCite \textit{J.-Z. Zhang} et al., J. Syst. Sci. Math. Sci. 15, No. 1, 10--15 (1995; Zbl 0839.68090)
Yang, Lu; Zhang, Jingzhong; Zeng, Zhenbing On the first Heilbronn numbers of a triangle. (Chinese. English summary) Zbl 0812.52003 Acta Math. Sin. 37, No. 5, 678-689 (1994). MSC: 52A10 52A38 11H06 PDFBibTeX XMLCite \textit{L. Yang} et al., Acta Math. Sin. 37, No. 5, 678--689 (1994; Zbl 0812.52003)
Zhang, Jingzhong; Yang, Lu; Hou, Xiaorong A criterion for dependency of algebraic equations with applications to automated theorem proving. (English) Zbl 0820.68108 Sci. China, Ser. A 37, No. 5, 547-554 (1994). MSC: 68T15 PDFBibTeX XMLCite \textit{J. Zhang} et al., Sci. China, Ser. A 37, No. 5, 547--554 (1994; Zbl 0820.68108)
Yang, Lu; Zhang, Jingzhong Searching dependency between algebraic equations: An algorithm applied to automated reasoning. (English) Zbl 0808.68069 Johnson, Jeffrey (ed.) et al., Artificial intelligence in mathematics. Based on the proceedings of a conference, organized by The Institute of Mathematics and its Applications hosted by the University of Strathclyde, Glasgow, GB, and the Turing Institute in April 1991. Oxford: Clarendon Press. Inst. Math. Appl. Conf. Ser., New Ser. 51, 147-156 (1994). MSC: 68W30 68T15 51-04 PDFBibTeX XMLCite \textit{L. Yang} and \textit{J. Zhang}, Inst. Math. Appl. Conf. Ser., New Ser. 51, 147--156 (1994; Zbl 0808.68069)
Zhang, Jingzhong; Yang, Lu; Yang, Xiaochun The realization of elementary configurations in Euclidean space. (English) Zbl 0804.51025 Sci. China, Ser. A 37, No. 1, 15-26 (1994). Reviewer: H.Germer (Berlin) MSC: 51M05 51A20 PDFBibTeX XMLCite \textit{J. Zhang} et al., Sci. China, Ser. A 37, No. 1, 15--26 (1994; Zbl 0804.51025) Full Text: DOI
Zhang, Jingzhong; Yang, Lu; Hou, Xiaorong A note on Wu’s non-degenerate condition. (English) Zbl 0798.68153 Chin. Sci. Bull. 38, No. 1, 86-87 (1993). MSC: 68T15 12D10 PDFBibTeX XMLCite \textit{J. Zhang} et al., Chin. Sci. Bull. 38, No. 1, 86--87 (1993; Zbl 0798.68153) Full Text: DOI
Yang, Lu; Zhang, Jingzhong; Li, Chuanzhong A prover for parallel numerical verification of a class of constructive geometry theorems. (English) Zbl 0762.51001 Res. Rep., Math. Sci. IMS-42, 15 p. (1992). Reviewer: P.Grushko (Irkutsk) MSC: 51-04 51M15 PDFBibTeX XML
Yang, Lu; Zhang, Jingzhong; Zeng, Zhenbing On a conjecture on and computation of the first Heilbronn numbers. (Chinese) Zbl 0781.52004 Chin. Ann. Math., Ser. A 13, No. 4, 503-515 (1992). MSC: 52A10 52A38 PDFBibTeX XMLCite \textit{L. Yang} et al., Chin. Ann. Math., Ser. A 13, No. 4, 503--515 (1992; Zbl 0781.52004)
Zhang, Jingzhong; Yang, Lu; Hou, Xiaorong A criterion for dependency of algebraic equations and its application to automated theorem proving. (English) Zbl 0940.12500 Li, Zhong (ed.) et al., Proceedings of the Asian mathematical conference 1990, Hong Kong, August 14-18, 1990. Singapore: World Scientific. 548-553 (1992). MSC: 12D10 03B35 14A25 68T15 PDFBibTeX XMLCite \textit{J. Zhang} et al., in: Proceedings of the Asian mathematical conference 1990, Hong Kong, August 14--18, 1990. Singapore: World Scientific. 548--553 (1992; Zbl 0940.12500)
Yang, Lu; Zhang, Jingzhong; Hou, Xiaorong A criterion of dependency between algebraic equations and its applications. (English) Zbl 0813.68122 Res. Rep., Math. Sci. IMS-40, 35 p. (1991). MSC: 68W30 68-02 68T15 PDFBibTeX XML
Zhang, Jingzhong; Yang, Lu; Hou, Xiaorong What can we do with only a pair of rusty compasses? (English) Zbl 0722.51017 Geom. Dedicata 38, No. 2, 137-150 (1991). Reviewer: K.Burian (Havirov-Bludovice) MSC: 51M15 PDFBibTeX XMLCite \textit{J. Zhang} et al., Geom. Dedicata 38, No. 2, 137--150 (1991; Zbl 0722.51017) Full Text: DOI
Zhang, Jingzhong; Yang, Lu; Deng, Mike The parallel numerical method of mechanical theorem proving. (English) Zbl 0701.68087 Theor. Comput. Sci. 74, No. 3, 253-271 (1990). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{J. Zhang} et al., Theor. Comput. Sci. 74, No. 3, 253--271 (1990; Zbl 0701.68087) Full Text: DOI
Yang, Lu; Zhang, Jingzhong; Zeng, Zhenbing Fractals in dynamical systems. (Chinese. English summary) Zbl 0697.58037 Adv. Math., Beijing 19, No. 2, 137-188 (1990). MSC: 37D45 28D05 30D05 PDFBibTeX XMLCite \textit{L. Yang} et al., Adv. Math., Beijing 19, No. 2, 137--188 (1990; Zbl 0697.58037)
Zhang, Jingzhong; Yang, Lu; Zhang, Lei The criterion algorithm of relation of implication between periodic orbits. I. (English) Zbl 0742.58044 Appl. Math. Mech., Engl. Ed. 10, No. 11, 1029-1037 (1989). Reviewer: Huang Qiyu (Fujian) MSC: 37C25 PDFBibTeX XMLCite \textit{J. Zhang} et al., Appl. Math. Mech., Engl. Ed. 10, No. 11, 1029--1037 (1989; Zbl 0742.58044) Full Text: DOI
Zhang, Jingzhong; Yang, Lu; Deng, Mike The parallel numerical method of mechanical theorem proving. (English) Zbl 0648.68096 Res. Rep., Math. Sci. 30, 16 p. (1988). MSC: 68T15 51M05 12E05 68W30 68T99 03B45 PDFBibTeX XML
Yang, Lu; Zhang, Jingzhong Average distance constants of some compact convex spaces. (English) Zbl 0646.54035 J. China Univ. Sci. Technol. 17, 17-24 (1987). Reviewer: C.R.Borges MSC: 54F15 PDFBibTeX XMLCite \textit{L. Yang} and \textit{J. Zhang}, J. China Univ. Sci. Technol. 17, 17--24 (1987; Zbl 0646.54035)
Zhang, Jingzhong; Yang, Lu Embedding a piecewise monotone function into a quasisemiflow. (Chinese) Zbl 0635.58027 Acta Math. Sin. 30, No. 1, 115-119 (1987). Reviewer: Pan Yanglian MSC: 37B99 26A18 37C10 PDFBibTeX XMLCite \textit{J. Zhang} and \textit{L. Yang}, Acta Math. Sin. 30, No. 1, 115--119 (1987; Zbl 0635.58027)
Yang, Lu; Zhang, Jingzhong Metric sum and Alexander symmetrization. (Chinese. English summary) Zbl 0628.52010 Chin. Ann. Math., Ser. A 8, No. 1-5, 242-253 (1987). MSC: 52A40 51F99 PDFBibTeX XMLCite \textit{L. Yang} and \textit{J. Zhang}, Chin. Ann. Math., Ser. A 8, No. 1--5, 242--253 (1987; Zbl 0628.52010)
Zhang, Jingzhong; Yang, Lu Some theorems on the Sharkovskij order. (Chinese. English summary) Zbl 0625.54046 Adv. Math., Beijing 16, No. 1, 33-48 (1987). Reviewer: Ho Chung Wu MSC: 54H20 37-XX PDFBibTeX XMLCite \textit{J. Zhang} and \textit{L. Yang}, Adv. Math., Beijing 16, No. 1, 33--48 (1987; Zbl 0625.54046)
Zhang, Jing Zhong; Yang, Lu A geometric criterion for metric embeddings and skew mappings. (Chinese) Zbl 0693.51004 Acta Math. Sin. 29, No. 5, 670-677 (1986). MSC: 51K05 PDFBibTeX XMLCite \textit{J. Z. Zhang} and \textit{L. Yang}, Acta Math. Sin. 29, 670--677 (1986; Zbl 0693.51004)
Yang, Lu; Zhang, Jingzhong Pseudo-symmetric sets and related geometric inequalities. (English) Zbl 0651.52012 Acta Math. Sin. 29, 802-806 (1986). Reviewer: Y.C.Yang MSC: 52A40 PDFBibTeX XMLCite \textit{L. Yang} and \textit{J. Zhang}, Acta Math. Sin. 29, 802--806 (1986; Zbl 0651.52012)
Yang, Lu; Zhang, Jinzhong The second type of Feigenbaum’s functional equations. (English) Zbl 0641.58017 Sci. Sin., Ser. A 29, 1252-1262 (1986). Reviewer: A.Klíč MSC: 37B99 26A18 39B12 PDFBibTeX XMLCite \textit{L. Yang} and \textit{J. Zhang}, Sci. Sin., Ser. A 29, 1252--1262 (1986; Zbl 0641.58017)
Yang, Lu; Zhang, Jingzhong A necessary and sufficient condition for embedding a continuous self- mapping of an interval in a semiflow. (Chinese) Zbl 0589.54051 Acta Math. Sin. 29, 180-183 (1986). MSC: 54H20 PDFBibTeX XMLCite \textit{L. Yang} and \textit{J. Zhang}, Acta Math. Sin. 29, 180--183 (1986; Zbl 0589.54051)
Yang, Lu; Zhang, Jingzhong Average distance constants of some compact convex spaces. (English) Zbl 0583.52004 Res. Rep., Math. Sci. IMS-20, 10 p. (1986). Reviewer: J.Valentine MSC: 52A99 51F10 51K05 52A40 PDFBibTeX XML
Yang, Lu; Zhang, Jingzhong An iteration formula of order \(2^ n\) to compute complex roots by \(n+1\) informations. (English) Zbl 0621.65043 J. China Univ. Sci. Technol. 15, 247-253 (1985). Reviewer: W.C.Rheinboldt MSC: 65H05 65E05 30C15 PDFBibTeX XMLCite \textit{L. Yang} and \textit{J. Zhang}, J. China Univ. Sci. Technol. 15, 247--253 (1985; Zbl 0621.65043)
Zhang, Jingzhong; Yang, Lu Embedding of a homeomorphism in a flow and asymptotic embedding. (English) Zbl 0585.58035 Sci. Sin., Ser. A 28, 683-696 (1985). Reviewer: J.H.Tian MSC: 37C10 58D10 PDFBibTeX XMLCite \textit{J. Zhang} and \textit{L. Yang}, Sci. Sin., Ser. A 28, 683--696 (1985; Zbl 0585.58035)
Zhang, Jingzhong; Yang, Lu On Stolarsky’s problem. (English) Zbl 0563.51012 Kexue Tongbao, Foreign Lang. Ed. 30, 1426-1430 (1985). Reviewer: J.H.Tian MSC: 51F99 51K05 PDFBibTeX XMLCite \textit{J. Zhang} and \textit{L. Yang}, Kexue Tongbao, Sci. Bull. 30, 1426--1430 (1985; Zbl 0563.51012)
Yang, Lu; Zhang, Jing-Zhong Metric spaces which cannot be isometrically embedded in Hilbert space. (English) Zbl 0545.51018 Bull. Aust. Math. Soc. 30, 161-167 (1984). MSC: 51M25 52A40 52Bxx 51M20 PDFBibTeX XMLCite \textit{L. Yang} and \textit{J.-Z. Zhang}, Bull. Aust. Math. Soc. 30, 161--167 (1984; Zbl 0545.51018) Full Text: DOI
Zhang, Jingzhong; Yang, Lu Iterative roots of the piecewise monotone continuous self-mapping. (Chinese) Zbl 0529.39006 Acta Math. Sin. 26, 398-412 (1983). MSC: 39B12 PDFBibTeX XMLCite \textit{J. Zhang} and \textit{L. Yang}, Acta Math. Sin. 26, 398--412 (1983; Zbl 0529.39006)
Yang, Lu; Zhang, Jingzhong A sufficient and necessary condition for embedding a simplex with prescribed dihedral angles in \(E^ n\). (Chinese) Zbl 0528.52007 Acta Math. Sin. 26, 250-256 (1983). MSC: 52Bxx 51K05 PDFBibTeX XMLCite \textit{L. Yang} and \textit{J. Zhang}, Acta Math. Sin. 26, 250--256 (1983; Zbl 0528.52007)
Yang, Lu; Zhang, Jingzhong A simple proof of an inequality on convex bodies. (Chinese) Zbl 0525.52013 Acta Math. Sin. 26, 12-14 (1983). MSC: 52A40 52A20 PDFBibTeX XMLCite \textit{L. Yang} and \textit{J. Zhang}, Acta Math. Sin. 26, 12--14 (1983; Zbl 0525.52013)
Yang, Lu; Zhang, Jingzhong A generalization to several dimensions of the Neuberg-Pedoe inequality, with applications. (English) Zbl 0519.51013 Bull. Aust. Math. Soc. 27, 203-214 (1983). MSC: 51M20 51M25 52A40 52Bxx PDFBibTeX XMLCite \textit{L. Yang} and \textit{J. Zhang}, Bull. Aust. Math. Soc. 27, 203--214 (1983; Zbl 0519.51013) Full Text: DOI
Yang, Lu; Zhang, Jingzhong Spanning-radius of a compact set of hyperbolic space. (English) Zbl 0519.51011 Sci. Sin., Ser. A 26, 148-158 (1983). MSC: 51M10 52A40 PDFBibTeX XMLCite \textit{L. Yang} and \textit{J. Zhang}, Sci. Sin., Ser. A 26, 148--158 (1983; Zbl 0519.51011)
Zhang, Jing-zhong; Yang, Lu \(2^ n\)-order cut-factor method to find the roots of polynomial. (Chinese) Zbl 0522.65030 Math. Numer. Sin. 4, 417-426 (1982). MSC: 65H05 30C15 PDFBibTeX XMLCite \textit{J.-z. Zhang} and \textit{L. Yang}, Math. Numer. Sin. 4, 417--426 (1982; Zbl 0522.65030)
Yang, Lu; Zhang, Jingzhong On a conjecture of R. Alexander’s. (English) Zbl 0506.52005 Kexue Tongbao, Foreign. Lang. Ed. 27, 699-703 (1982). MSC: 52A40 PDFBibTeX XMLCite \textit{L. Yang} and \textit{J. Zhang}, Kexue Tongbao, Sci. Bull. 27, 699--703 (1982; Zbl 0506.52005)
Zhang, Jingzhong; Yang, Lu A simplified model of Smale’s horseshoe. (English) Zbl 0493.58014 Kexue Tongbao, Foreign. Lang. Ed. 27, 132-134 (1982). MSC: 37D99 37C75 PDFBibTeX XMLCite \textit{J. Zhang} and \textit{L. Yang}, Kexue Tongbao, Sci. Bull. 27, 132--134 (1982; Zbl 0493.58014)
Yang, Lu; Zhang, Jingzhong A note on the simplex with odd integral edge-lengths. (Chinese) Zbl 0491.52005 Chin. Ann. Math. 3, 343-348 (1982). MSC: 52Bxx 52A20 51K05 PDFBibTeX XMLCite \textit{L. Yang} and \textit{J. Zhang}, Chin. Ann. Math. 3, 343--348 (1982; Zbl 0491.52005)
Zhang, Jingzhong; Yang, Lu Congruent imbedding of a finite point set in pseudo-Euclidean space. (Chinese) Zbl 0522.51016 Acta Math. Sin. 24, 481-487 (1981). MSC: 51K05 51F20 PDFBibTeX XMLCite \textit{J. Zhang} and \textit{L. Yang}, Acta Math. Sin. 24, 481--487 (1981; Zbl 0522.51016)
Yang, Lu; Zhang, Jingzhong A high-dimensional extension of Neuberg-Pedoe inequality and its application. (Chinese) Zbl 0519.51012 Acta Math. Sin. 24, 401-408 (1981). MSC: 51M20 51M25 52A40 52Bxx PDFBibTeX XMLCite \textit{L. Yang} and \textit{J. Zhang}, Acta Math. Sin. 24, 401--408 (1981; Zbl 0519.51012)
Yang, Lu; Zhang, Jingzhong Two inequalities of higher dimensional metric geometry. (Chinese) Zbl 0483.51009 J. Chengdu Univ. Sci. Technol. 1981, No. 4, 63-70 (1981). MSC: 51F99 PDFBibTeX XMLCite \textit{L. Yang} and \textit{J. Zhang}, J. Chengdu Univ. Sci. Technol. 1981, No. 4, 63--70 (1981; Zbl 0483.51009)
Yang, Lu; Zhang, Jingzhong A proof of the simplex structure theorem. (Chinese) Zbl 0528.51013 Math. Pract. Theory 1980, No. 1, 43-45 (1980). MSC: 51M25 52Bxx PDFBibTeX XMLCite \textit{L. Yang} and \textit{J. Zhang}, Math. Pract. Theory 1980, No. 1, 43--45 (1980; Zbl 0528.51013)
Yang, Lu; Zhang, Jingzhong A class of geometric inequalities on finite points. (Chinese) Zbl 0456.52005 Acta Math. Sin. 23, 740-749 (1980). MSC: 52A40 51N10 PDFBibTeX XMLCite \textit{L. Yang} and \textit{J. Zhang}, Acta Math. Sin. 23, 740--749 (1980; Zbl 0456.52005)