Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top Users
Digests
mcd
PhD student
working on singularities of evolution equations.
top
accounts
reputation
activity
bookmarks
subscriptions
Top Questions
10
votes
Explicit vs implicit universes in lean
lean
lean-mathlib
lean3
universe
asked Feb 24 at 8:53
proofassistants.stackexchange.com
Top Answers
15
Is every continuous endomorphism of the Schwartz space a pseudo-differential operator?
mathoverflow.net
11
What is a homogeneous Differential Equation?
math.stackexchange.com
7
What does the flow of the principal symbol of the differential operator tell us about the PDE?
mathoverflow.net
Stack Exchange works best with JavaScript enabled
proofassistants.stackexchange.com
mathoverflow.net
math.stackexchange.com