Gleichungssystem mit trigonometrischen Funktionen

Hallo zusammen,

ich muss für ein Projekt ein Gleichungsystem lösen. Es besteht aus drei Gleichungen, darin sind die drei bekannten Werte W1, W2, W3 enthalten. Die gesuchten Werte sind a, b, c.

(1) W1 +W3*sin(a)*cos(b) = -b*cos(a) +c*sin(a)*cos(b)

(2) W2 -W3*sin(b) = -a -c*sin(b)

(3) W3*cos(a)*cos(b) = b*sin(a) +c*cos(a)*cos(b)

Was die Sache recht kompliziert macht, ist dass z.B. b sowohl in den trigonometrischen Funktionen als auch außerhalb vorkommt.
Wie löst man so ein Gleichungsystem? Währe eine geschickte Substitution ein Weg? Geht das überhaupt analytisch? oder muss man es numerisch lösen?
Und welches Programm würdet ihr empfehlen?

Über eure Hilfe bin ich sehr dankbar, da ich absolut keine Idee mehr habe.

Nicht verzagen, hier hilft wohl nur ein rein numerischer Ansatz.
Wenn man Zugriff zu MathCad oder Math Lab oder ähnlichen Programmen hat, sind das die Werkzeuge der Wahl.
Viele Grüße
A.G.

sind dies die geeigneten Werkzeuge.