The SCEAS System
| |||||||

## 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.005secs, Finished in 0.007secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |