A procedure to prove geometrical statements-Reference-Cited by-同舟云学术

A procedure to prove geometrical statements

Published:1989 Issue: Volume: Page:141-150
ISSN:0302-9743
Container-title:Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
language:
Short-container-title:

Author:

Ferro Giuseppa Carra',Gallo Giovanni

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-51082-6_74.pdf

Reference25 articles.

1. Bayer D.A. The division algorithm and the Hilbert scheme. Ph.D. Thesis Harvard 1982.

2. Ben-Or M., Kozen D., Reif J. The complexity of Elementary Algebra and Geometry, J. of Computation and System Sciences 32 109–138 1986.

3. Buchberger B. Gröbner bases — An algorithmic method in polynomial ideal theory. ch 6 in N.B.Bose (ed.) "Multidimensional system theory" D.Reidel Publ.Comp.

4. Carra` Ferro G. Some properties of the lattice points and their application to differential algebra. To appear in Communications in Algebra.

5. Castro F. Thèse de 3o cycle, Paris VII, Oct 1984.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On standard bases in rings of differential polynomials;Journal of Mathematical Sciences;2006-06

2. The Kinds of Truth of Geometry Theorems;Automated Deduction in Geometry;2001

3. Randomized Xero Testing of Radical Expressions and Elementary Geometry Theorem Proving;Automated Deduction in Geometry;2001

4. Elimination procedures for mechanical theorem proving in geometry;Annals of Mathematics and Artificial Intelligence;1995-03

5. An Elimination Method Based on Seidenberg’s Theory and Its Applications;Computational Algebraic Geometry;1993