Automated reasoning in differential geometry and mechanics using the characteristic set method. I: An improved version of Ritt-Wu's decomposition algorithm
type: Item
instance of: scholarly article
title: Automated reasoning in differential geometry and mechanics using the characteristic set method. I: An improved version of Ritt-Wu's decomposition algorithm
zbMATH Open document ID: 0782.68100
DOI: 10.1007/BF00881834
author: Shang-Ching Chou
author: Xiao-Shan Gao
published in: Journal of Automated Reasoning
publication date: 1994-01-23T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 484775
zbMATH Keywords: quasi zero set
zbMATH Keywords: \(W\)-perm
zbMATH Keywords: Ritt-Wu's decomposition algorithm
zbMATH Keywords: weak ascending chain
zbMATH Keywords: differential polynomials
MaRDI profile type: Publication
cites work: Proving geometry theorems with rewrite rules
cites work: On the application of Buchberger's algorithm to automated geometry theorem proving
cites work: Q5795628
cites work: Q4153620
description: scientific article; zbMATH DE number 484775