Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I wrote the beginnings of an article real closed field. I also wrote fundamental theorem of algebra, giving the proof essentially due to Artin which applies generally to real closed fields. Lucky for me, Toby recently wrote quadratic formula! :-)
Things like this have a tendency of spawning a bunch of new articles, but I left out a bunch of potential links in these articles. Please feel free to insert some!
1 to 1 of 1