Skip to main content
Space Exploration
Hans-Peter Stricker's user avatar
Hans-Peter Stricker's user avatar
Hans-Peter Stricker's user avatar
Hans-Peter Stricker
  • Member for 3 years, 11 months
  • Last seen more than a month ago
  • Germany
Profile Activity
Stats
101
reputation
0
reached
0
answers
0
questions
Communities
View all
About

My e-mail address: stricker @ syspedia.de

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
111
Theorems with an extraordinary exception or a small number of sporadic exceptions
101
What is a universal property?
70
Non-associative operations
63
Why is it worth spending time on type theory?
52
Hidden patterns in $\sin(a x^2)$