CSpace

Browse/Search Results:  1-5 of 5 Help

Selected(0)Clear Items/Page:    Sort:
From Petrov-Einstein to Navier-Stokes in spatially curved spacetime 期刊论文
JOURNAL OF HIGH ENERGY PHYSICS, 2011, 期号: 10, 页码: 15
Authors:  Huang, Tai-Zhuo;  Ling, Yi;  Pan, Wen-Jian;  Tian, Yu;  Wu, Xiao-Ning
Favorite  |  View/Download:12/0  |  Submit date:2018/07/30
Classical Theories of Gravity  Differential and Algebraic Geometry  
PROJECTIVE MODULE DESCRIPTION OF EMBEDDED NONCOMMUTATIVE SPACES 期刊论文
REVIEWS IN MATHEMATICAL PHYSICS, 2010, 卷号: 22, 期号: 5, 页码: 507-531
Authors:  Zhang, R. B.;  Zhang, Xiao
Favorite  |  View/Download:4/0  |  Submit date:2018/07/30
Noncommutative space  projective module  isometric embedding  
Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant 期刊论文
SCIENCE IN CHINA SERIES A-MATHEMATICS, 2008, 卷号: 51, 期号: 10, 页码: 1763-1774
Authors:  Feng RuYong;  Yu JianPing
Favorite  |  View/Download:7/0  |  Submit date:2018/07/30
mechanical theorem proving  Wu-Ritt's characteristic set method  local theory of surface  Wronskian determinant  
Intrinsic differential geometry with geometric calculus 期刊论文
COMPUTER ALGEBRA AND GEOMETRIC ALGEBRA WITH APPLICATIONS, 2005, 卷号: 3519, 页码: 207-216
Authors:  Li, HB;  Cao, LN;  Cao, NB;  Sun, WK
Favorite  |  View/Download:4/0  |  Submit date:2018/07/30
intrinsic differential geometry  Clifford algebra  mathematics mechanization  symbolic geometric computing  
Clifford algebraic reduction method for automated theorem proving in differential geometry 期刊论文
JOURNAL OF AUTOMATED REASONING, 1998, 卷号: 21, 期号: 1, 页码: 1-21
Authors:  Li, HB;  Cheng, MT
Favorite  |  View/Download:3/0  |  Submit date:2018/07/30
Wu's method  Clifford algebra  equation set solving  local theory of space curves