Texts

My texts

Here I keep anything I have written and put out to public access.

Notes

Logic

  1. Vladislav Shubin. “Formal Philosophy: Notes”. (in Russian) link: Владислав Шубин. «Формальная философия: конспект»

  2. Vladislav Shubin. “Notes in Type theory”. (in Russian) link: Владислав Шубин. «Теория типов: конспект»

Conference Proceedings

  1. Vladislav Shubin. “Investigation of ϕ-radical numbers”. In: 73rd Scientific Conference of Sudents and Young Scientist. Petrozavodsk, Russia, 2021.

  2. Vladislav Shubin and Nikita Gogin. “Bernstein Polynomials and MacWilliams transform”. In: International Conference Polynomial Computer Algebra ’2023’ (PCA’2023). Saint-Petersburg, Russia, 2023.

  3. Vladislav Shubin and Nikita Gogin. “Binomial Coefficients as Functions of their Denominator; Another Primality Criteria for Natural Integers”. In: International Conference Polynomial Computer Algebra ’2024’ (PCA’2024). Saint-Petersburg, Russia, 2024.

OEIS contributions

I authored the following OEIS sequences: A355045, A355059, A337775, A337776.

and also contributed to: A000108