user avatar
user avatar
user avatar
Matt Dickau
  • Member for 6 years, 10 months
  • Last seen more than a week ago
  • Canada
8 votes
1 answer
877 views

Visualization of SU(3)

7 votes
1 answer
80 views

Looking for function $f$ such that $f'<0$ and $(xf)'>0$

6 votes
2 answers
469 views

Tarski-like axiomatization of spherical or elliptic geometry

4 votes
1 answer
2k views

Hilbert style proof of double negation introduction and reductio ab adsurdum

4 votes
0 answers
404 views

Ordinal Numbers within Simple Type Theory

3 votes
1 answer
304 views

General expression for geometric product of blades in terms of scalar and exterior products

3 votes
0 answers
476 views

Covariant derivative from an Ehresmann connection on a fibre bundle

3 votes
1 answer
562 views

What is the covariant derivative of a wedge product?

3 votes
2 answers
73 views

Solving a certain quadratic matrix equation

3 votes
1 answer
67 views

How can I prove certain properties of these vector fields on $S^3$?

2 votes
0 answers
38 views

Is there a name for connections with this property?

2 votes
0 answers
123 views

Is every divergence-free vector field on a 2-torus related to a scalar field?

1 vote
1 answer
46 views

Isomorphism between sets of functions

1 vote
0 answers
65 views

Conditions for $e^X$ to be an orthogonal matrix [duplicate]

1 vote
1 answer
35 views

Does every globally hyperbolic spacetime admit a maximal slicing?

1 vote
1 answer
739 views

Metric completion of polynomial function space

0 votes
1 answer
710 views

Understanding the Ehresmann connection

0 votes
3 answers
2k views

Partially ordered set with no maximal element

0 votes
1 answer
55 views

Another property of vector fields on $S^3$