Automated reasoning in differential geometry and mechanics using the characteristic set method

1993 ◽  
Vol 10 (2) ◽  
pp. 161-172 ◽  
Author(s):  
Shang-Ching Chou ◽  
Xiao-Shan Gao
Keyword(s):  
Differential Geometry ◽  
Automated Reasoning ◽  
Characteristic Set ◽  
Characteristic Set Method

scholarly journals Characteristic set method for differential–difference polynomial systems

2009 ◽  
Vol 44 (9) ◽  
pp. 1137-1163 ◽  
Author(s):  
X.S. Gao ◽  
J. Van der Hoeven ◽  
C.M. Yuan ◽  
G.L. Zhang
Keyword(s):  
Polynomial Systems ◽  
Characteristic Set ◽  
Difference Polynomial ◽  
Characteristic Set Method
Sign in / Sign up

Export Citation Format

Share Document