boris-a-zolotov Goto Github PK

Name: Boris Zolotov

Type: User

Company: SPbSU

Bio: Student at Department of Mathematics and Mechanics at SPbU. Learning Agda, Haskell, OCaml, Pascal. Chief TeX-er of da group 15.Б02-мм.

Location: Saint Petersburg

Boris Zolotov's Projects

Диплом для ПОМИ — и все мои навыки.

This is my term project on sorting algorithms and formal proofs.

https://users.math-cs.spbu.ru/~arseneva/course-ads-s20.html

Сертификаты для выдачи детям по случаю окончания очередного семестра.

Repository for the term project on Geodesics, Shortest Paths, and Non-Isomorphic Nets

Слайды и другие материалы для подготовки к конкурсу «Лига Лекторов» (3 сезон, осень 2022)

Возмещение пар по машинному обучению.

Compile only with XeLaTeX

Презентация с решениями задач Олимпиады «Математика НОН-СТОП» от 21 апреля.

Learning materials, notes, homeworks, and announcements on Mathematical Logics, Semester 5, Fall 2022

Страница актуальной версии сборника задач Олимпиады «Математика НОН-СТОП».

Materials for teaching and scheduling children in the summer school

Full TikZ—Curriculum Vitae originally created for «Родные Города» scholarship

Презентации и другие материалы курса по вычислительной геометрии, май–июнь '22

This is the article and the TeX documents related to my term project.

Фичи и примеры tikz, необходимые для регулярного использования

An easy Pascal tool that allows you to convert Wikimapia links to GPX files (version 2)