Mathematics on Computers
∀(x, y ∈ A ∪ B; x ≠ y) x² − y² ≥ 0
SageI am currently experimenting on Sage. Sage is primarily written in Python. Which I will now need to get familiar with.
Sage is free, open-source math software that supports research and teaching in algebra, geometry, number theory, cryptography, numerical computation, and related areas.The main reason I want sage is so that I can run the server here on the site serving up my mathematical requirements dynamically to you the reader.