New posts in Math Software

What are some of the Websites/web-tools which must be a part of every mathematician's arsenal?

What theory of logic or types considers the "category of propositions"?

Online reference book for *implementing* concepts in type theory.

User friendly software for math drawings

Smallest $1\ 000$ digit number $x$ , such that $x$ , $x+2$ and $x+6$ are all prime?

Help me visualize a function with infinitely many logarithms of absolute values of logarithms

Exploring Mathematica as a High School Student

Is there a function that returns the degree of a polynomial?

Programming Languages recommended for work in mathematics and to understand computational complexity

Why does Wolfram Alpha say the roots of a cubic involve square roots of negative numbers, when all three roots are real?