An export of my digital library (Mathematics, Logic, Physics, Numerical Analysis, Machine Learning, Computer Science)