7
votes
0answers
128 views

Proving the hairy ball theorem using xAct

I would to formally prove the hairy ball theorem in Mathematica, initially just for the $S^2$, and then see about generalizing. An approach I thought about to use the xAct package to define $S^2$ and ...
1
vote
0answers
47 views

xCoba: evaluate tensor quantities, given an explicit metric

I am new to xAct packages and I'm having some problems to compute tensor quantities with xCoba. I defined a manifold and a metric. I computed All quantities of ...
16
votes
4answers
5k views

How to calculate scalar curvature Ricci tensor and Christoffel symbols in Mathematica?

I am seeking a convenient and effective way to calculate such geometric quantities. I've used packages like TensoriaCalc, but they don't work at all time. ...