Lists (2)
Stars
4
stars
written in TeX
Clear filter
Formalizations of Gödel's Ontological Proof of God's Existence
Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage
A series of the ML formula derivation notes
Private lecture notes of the "General Relativity" lecture by of Prof. Dr. J. J. van der Bij and Dr. Christian Steinwachs (University of Freiburg) in the winter semester 2015/16.