|
|||||
|
|
An extension of a procedure to prove statements in differential geometry |
|
| Authors: | Giuseppa Carra' Ferro |
| Affiliation: | (1) Department of Mathematics, University of Catania, Italy |
| Abstract: | An extension of the Carra'-Gallo procedure is presented. By using this extension, one can prove the validity of certain examples that are not within the scope of that procedure.Supported by Italian MURST 40%. |
| Keywords: | differential dimension differential dimension polynomial hypothesis set conclusion set nonconclusion set conclusion-nonconclusion set |
| 本文献已被 SpringerLink 等数据库收录！ | |