Hi, I am Luca Leon Happel. I am a Software Engineer and B.Sc in mathematics (algebraic geometry), who works at the Heinrich Heine University, Forschungszentrum Jülich and Universitätsklinikum Düsseldorf.
Automated theorem proving
mathematics
logic
automated theorem proving
lean4
formal verification
\(\ell^2\)-Invariants
mathematics
topology
algebra
group theory
ring theory
measure theory
functional analysis
differential geometry
differential topology
algebraic topology
Surreale Zahlen
Seminar
Surreale Zahlen
abstract algebra
ring theory
Haskell - Angewandter „abstract nonsense“
Seminar
Haskell
programming
Heinrich-Heine Universität
What are „differential forms“
mathematics
differential geometry
differential forms
tangent space
cotangent space
manifold
tangent bundle
cotangent bundle
exterior algebra
global section
Sheaves in Minecraft
math
algebraic geometry
sheaves
topology
Minecraft
Prove that \(\mathbb{R}[x]/(x^2+bx+c)\) is isomorphic to \(\mathbb{R}^2\) or \(\mathbb{C}\) - First try
math
algebra
ring theory
abstract algebra
polynomial rings
quotient rings
isomorphisms
Bildbesucher - A simple jump and run game
programming
game
art
javascript
html
css
No matching items