✦ LIBER ✦

On De Rham's theorem in synthetic differential geometry

✍ Scribed by Y. Félix; R. Lavendhomme

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On de Rham's theorem

✍ Hans Samelson 📂 Article 📅 1967 🏛 Elsevier Science 🌐 English ⚖ 432 KB

Differential Forms in Synthetic Differen

✍ Rene Lavendhomme; Hirokazu Nishimura 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 179 KB

Mechanical theorem proving in differenti

✍ Hongbo Li 📂 Article 📅 1997 🏛 SP Science China Press 🌐 English ⚖ 292 KB

Conjugate connections and Radon's theore

✍ Franki Dillen; Katsumi Nomizu; Luc Vranken 📂 Article 📅 1990 🏛 Springer Vienna 🌐 English ⚖ 627 KB

De Rham and Infinitesimal Cohomology in

✍ Guillermo Cortiñas⋆ 📂 Article 📅 2003 🏛 Cambridge University Press 🌐 English ⚖ 322 KB

Ordering in automated theorem proving of

✍ Li Hongbo; Cheng Minteh 📂 Article 📅 1998 🏛 Institute of Applied Mathematics, Chinese Academy 🌐 English ⚖ 315 KB