1. On the product of sphere bundles and the duality theorem modulo two -- 2. Classes caracteristiques et i-carres d'une variete -- 3. Les i-carres dans une variete grassmannienne -- 4. On the realization of complexes in Euclidean spaces I -- 5. On the realization of complexes in Euclidean spaces III -- 6. On universal invariant forms -- 7. Theory of I*-functor in algebraic topology -- effective calculation and axiomatization of I*-functor on complexes -- 8. On the decision problem and the mechanization of theorem-proving in elementary geometry -- 9. Toward mechanization of geometry -- Some comments on Hilbert's "Grundlagen der Geometrie" -- 10. The out-in complementary principle -- 11. A constructive theory of differential algebraic geometry based on works of J.F. Ritt with particular applications to mechanical theorem-proving in differential geometries -- 12. Basic principles of mechanical theorem-proving in elementary geometries. 13. On zeros of algebraic equations -- an application of Ritt principle. 14. On the planar imbedding of linear graphs I -- 15. On the planar imbedding of linear graphs II -- 16. A mechanization method of geometry and its applications I -- 17. Recent studies of the history of Chinese mathematics -- 18. On Chern numbers of algebraic varieties with arbitrary singularities -- 19. Mechanical derivation of Newton's gravitational laws from Kepler's laws -- 20. A mechanization method of geometry and its applications II -- 21. A mechanization method of geometry and its applications III -- 22. On the foundation of algebraic differential geometry -- 23. On the genetic zero and Chow basis of an irreducible ascending set -- 24. Mechanical theorem proving of differential geometries and some of its applications in mechanics -- 25. On a finiteness theorem about optimization problems -- 26. On surface-fitting problem in CAGD -- 27. Central configurations in planet motions and vortex motions -- 28. On algebraico-differential equations-solving -- 29. On the construction of Groebner basis of a polynomial ideal based on Riquier-Janet theory -- 30. On "good" bases of algebraico-differential ideals.