Search the dblp DataBase
Lu Yang :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Lu Yang , Ju Zhang A Practical Program of Automated Proving for a Class of Geometric Inequalities. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 2000, pp:41-57 [Conf ] Lu Yang Distance Coordinates Used in Geometric Constraint Solving. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 2002, pp:216-229 [Conf ] Lu Yang , Xiao-Shan Gao , Shang-Ching Chou , Jing-Zhong Zhang Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 1996, pp:171-188 [Conf ] Lu Yang , Xiaorong Hou , Bican Xia Automated Discovering and Proving for Geometric Inequalities. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 1998, pp:30-46 [Conf ] Lu Yang , Zhenbing Zeng Symbolic Solution of a Piano Movers' Problem with Four Parameters. [Citation Graph (0, 0)][DBLP ] Automated Deduction in Geometry, 2004, pp:59-69 [Conf ] Lu Yang , Bican Xia Quantifier Elimination for Quartics. [Citation Graph (0, 0)][DBLP ] AISC, 2006, pp:131-145 [Conf ] Lu Yang , Hongguang Fu , Zhenbing Zeng A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators with Simple Geometry. [Citation Graph (0, 0)][DBLP ] CADE, 1997, pp:73-86 [Conf ] Jianqin Wang , Yong Xue , Yi Xie , Dingsheng Liu , Ruizhi Sun , Lu Yang , Ying Ding , Ya OuYang , Guangli Liu , YunLing Liu , Li Kang , Xinrong Cheng Study on Remotely Sensed Data Access and Integration Grid-enabled Middleware. [Citation Graph (0, 0)][DBLP ] GCC Workshops, 2006, pp:477-481 [Conf ] Lu Yang , Biplab Kumer Sarker , Virendrakumar C. Bhavsar , Harold Boley A Weighted-Tree Simplicity Algorithm for Similarity Matching of Partial Product Descriptions. [Citation Graph (0, 0)][DBLP ] IASSE, 2005, pp:55-60 [Conf ] Changjie Tang , Rynson W. H. Lau , Huabei Yin , Qing Li , Lu Yang , Zhonghua Yu , Limin Xiang , Tianqing Zhang Discovering Tendency Association between Objects with Relaxed Periodicity and its Application in Seismology. [Citation Graph (0, 0)][DBLP ] ICSC, 1999, pp:51-62 [Conf ] Lu Yang , Biplab Kumer Sarker , Virendrakumar C. Bhavsar , Harold Boley Range Similarity Measures Between Buyers and Sellers in e-Marketplaces. [Citation Graph (0, 0)][DBLP ] IICAI, 2005, pp:2559-2572 [Conf ] Guangli Liu , Yongshun Wu , Lu Yang Weighted Ordinal Support Vector Clustering. [Citation Graph (0, 0)][DBLP ] IMSCCS (2), 2006, pp:743-745 [Conf ] Deepak Kapur , Tushar Saxena , Lu Yang Algebraic and Geometric Reasoning Using Dixon Resultants. [Citation Graph (0, 0)][DBLP ] ISSAC, 1994, pp:99-107 [Conf ] Lu Yang , Zhenbing Zeng An open problem on metric invariants of tetrahedra. [Citation Graph (0, 0)][DBLP ] ISSAC, 2005, pp:362-364 [Conf ] Lu Yang Solving Spatial Constraints with Global Distance Coordinate System. [Citation Graph (0, 0)][DBLP ] Int. J. Comput. Geometry Appl., 2006, v:16, n:5-6, pp:533-548 [Journal ] Lu Yang , Jingzhong Zhang , Weinian Zhang On Number of Circles Intersected by a Line. [Citation Graph (0, 0)][DBLP ] J. Comb. Theory, Ser. A, 2002, v:98, n:2, pp:395-405 [Journal ] Bican Xia , Lu Yang An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 2002, v:34, n:5, pp:461-477 [Journal ] Lu Yang Recent Advances on Determining the Number of Real Roots of Parametric Polynomials. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1999, v:28, n:1-2, pp:225-242 [Journal ] Jingzhong Zhang , Lu Yang , Mike Deng The Parallel Numerical Method of Mechanical Theorem Proving. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1990, v:74, n:3, pp:253-271 [Journal ] Yinghua Chen , Bican Xia , Lu Yang , Naijun Zhan Generating Polynomial Invariants with DISCOVERER and QEPCAD. [Citation Graph (0, 0)][DBLP ] Formal Methods and Hybrid Real-Time Systems, 2007, pp:67-82 [Conf ] Zhenbang Chen , Xiaoshan Li , Zhiming Liu , Volker Stolz , Lu Yang Harnessing rCOS for Tool Support - The CoCoME Experience. [Citation Graph (0, 0)][DBLP ] Formal Methods and Hybrid Real-Time Systems, 2007, pp:83-114 [Conf ] Zhenbang Chen , Zhiming Liu , Volker Stolz , Lu Yang , Anders P. Ravn A Refinement Driven Component-Based Design. [Citation Graph (0, 0)][DBLP ] ICECCS, 2007, pp:277-289 [Conf ] Yinghua Chen , Bican Xia , Lu Yang , Naijun Zhan , Chaochen Zhou Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. [Citation Graph (0, 0)][DBLP ] ICTAC, 2007, pp:34-49 [Conf ] Constructing a Tetrahedron with Prescribed Heights and Widths. [Citation Graph (, )][DBLP ] Modelling with Relational Calculus of Object and Component Systems - rCOS. [Citation Graph (, )][DBLP ] DOKMF: Distributed Ontology-Based Knowledge Management Framework. [Citation Graph (, )][DBLP ] A Case Study for Fault Tolerance Oriented Programming in Multi-core Architecture. [Citation Graph (, )][DBLP ] Research on Area-Matching Algorithm Based on Feature-Matching Constraints. [Citation Graph (, )][DBLP ] Improved Dynamic Time Warping algorithm the research and application of query by humming. [Citation Graph (, )][DBLP ] A Solution of Rural Information Network Accessing. [Citation Graph (, )][DBLP ] Program Verification by Reduction to Semi-algebraic Systems Solving. [Citation Graph (, )][DBLP ] Harnessing Theories for Tool Support. [Citation Graph (, )][DBLP ] Computing cylindrical algebraic decomposition via triangular decomposition. [Citation Graph (, )][DBLP ] A new mechanical algorithm for solving system of Volterra integral equation. [Citation Graph (, )][DBLP ] Speeding up Noise Subspace Estimation Algorithms using an Optimal Diagonal Matrix Step-Size Strategy for MC-CDMA Application. [Citation Graph (, )][DBLP ] Program Verification by Using DISCOVERER. [Citation Graph (, )][DBLP ] Stable Noise Subspace Estimation Algorithm Suitable for VLSI Implementation. [Citation Graph (, )][DBLP ] Adaptive Noise Subspace Estimation Algorithm with an Optimal Diagonal-Matrix Step-Size. [Citation Graph (, )][DBLP ] Research on Environmental Perception Technology for Menology Environments Based on Binocular Vision. [Citation Graph (, )][DBLP ] A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in E-Business Environments. [Citation Graph (, )][DBLP ] Computing Cylindrical Algebraic Decomposition via Triangular Decomposition [Citation Graph (, )][DBLP ] Integrating Refinement into Software Development Tools. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.304secs