Julian-Kuelshammer

Senior lecturer in representation theory at Uppsala University, Sweden.

Uppsala UniversityUppsala, Sweden

Pinned Repositories

html_feedback
Supports a student project developing a UI for feedback on arXiv articles rendered as html.
18 5 2.7k3
fd-seminar-www
Language:CSS00
Bocses
A Magma package for computing with bocses
Language:Mathematica00
Julian-Kuelshammer.github.io
My academic website, forked from mmistakes/minimal-mistakes
Language:JavaScript00
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSS00
summer_maths_it_camp
Some exercises for the Summer Maths / IT Camp at Uppsala University in the Summer of 2022
Language:Lean00
uniqueness_bocses_sage
This repository provides a partial verification of certain computations in the paper "Uniqueness of exact Borel subalgebras and bocses" by Julian Külshammer and Vanessa Miemietz using SageMath.
Language:Sage00
lftcm2020
Lean for the Curious Mathematician 2020
Language:Lean63 16 6277
mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.7k 52 362297
Bocses
A Magma package for computing with bocses
Language:Mathematica11

Julian-Kuelshammer/Bocses
A Magma package for computing with bocses
Language:Mathematica00
Julian-Kuelshammer/Julian-Kuelshammer.github.io
My academic website, forked from mmistakes/minimal-mistakes
Language:JavaScript00
Julian-Kuelshammer/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSS00
Julian-Kuelshammer/summer_maths_it_camp
Some exercises for the Summer Maths / IT Camp at Uppsala University in the Summer of 2022
Language:Lean00
Julian-Kuelshammer/uniqueness_bocses_sage
This repository provides a partial verification of certain computations in the paper "Uniqueness of exact Borel subalgebras and bocses" by Julian Külshammer and Vanessa Miemietz using SageMath.
Language:Sage00