Making the assumption that variables are real
2796
How to tell Mathematica that certain variables are real/imaginary, integer-valued, etc
77980
How to check the real analyticity of a function?
8483
A Particular Two-Variable System in a Group
69426
Checking if the roots of a function are real
154406
Real analysis - proof approach help
100759
Extending exponentiation to reals
141496
Could someone make the proof into a hinted exercise?
17022
Definable real numbers
52587
Real analysis : Problem related to inverse
57839
Real analysis: density and continuity
75903
Integrate not restricting variable with Assumptions option?
48028
True Definition of the Real Numbers
3528
How to check if a variable is the same as at least one of two other variables?
143248
What approach should I take to establish this logical proof?
151986
Generating a vector of dummy variables
9737
Complex number operations: telling Mathematica variables are real
153969
The "elements" of a real number