meta user
network profile
| bio | website | |
|---|---|---|
| location | ||
| age | ||
| visits | member for | 10 months |
| seen | May 9 at 0:05 | |
| stats | profile views | 14 |
|
May 8 |
revised |
Composite of an immersion with the inverse map of another immersion is a diffeomorphism edited body |
|
May 8 |
revised |
$\{x:Ax\leq 0\}$ contains a subset of type $\{x:A'x=0, ax\leq 0\}$ deleted 38 characters in body |
|
Feb 2 |
revised |
polar decomposition for non square matrices deleted 6 characters in body; edited title |
|
Oct 23 |
revised |
For every axiomatic system in first order logic there exists an equivalent independent system deleted 171 characters in body |
|
Oct 13 |
revised |
For every axiomatic system in first order logic there exists an equivalent independent system added 120 characters in body |
|
Oct 13 |
revised |
For every axiomatic system in first order logic there exists an equivalent independent system added 129 characters in body |
|
Jul 25 |
revised |
Intersection of 2 $p$-simplices is a finite union of some $p$-simplices addition |
