19m
comment Explain 1 step for linear function $C$?
Do you mean "Why does it hold for the second inequality"? Since the second inequality, $y \lt 0$, is part of a sufficient condition not a consequence.
Jul
22
comment Formal construction of $\mathbb Q$: interpretation and equality of elements
@NicolasLykkeIversen Made mistake, please see bolded.
Jul
22
comment Formal construction of $\mathbb Q$: interpretation and equality of elements
$1 - 0.\bar{9} = 0.00000\dots000\dots $ (you never get to $\dots0001.$).
Jul
20
revised Formal construction of $\mathbb Q$: interpretation and equality of elements
added 1331 characters in body
Jul
20
answered Formal construction of $\mathbb Q$: interpretation and equality of elements
Jul
20
answered How to denote a set of nested tuples?
Jul
20
comment Is there something that studies equivalent forms of writing and expression?
There's clearly not a finite number of polybnomial expressions for $x^2 + 1$ as you stipulated no "form" and you could simply $\pm$ anything you want. On the other hand if you try restricting yourself to not allow $\pm$ of other expressions, then you won't be able to search for the "optimal" expression (one that when computed directly as the parentheses say, results in the smallest number of calculator ops), as some things can be reduced only when things are $\pm$'d in, in the sense that if you completely expanded the expression into a sum of monomials, then there's redundancy, can't win...
Jul
17
comment Biholomorphic, Hypersurface
Do you mean a topological hypersurface or algebro-geometric hypersurface (en.wikipedia.org/wiki/Hypersurface)?
Jul
17
comment Prove or disprove: if a set of 2d-points have symmetry axises, then at least one of the axises is eigenvector
What do you mean by "group"? Do you mean set?
Jul
15
comment Origin of Laplace Transform
Requires more information to answer by a larger number of people. For example, $a : X \to Y$ is a map, what are $X$ and $Y$ in the above? What variable are you summing over? Write $t=0$ below the sum symbol. Define $a(t)$ as well.
Jul
15
comment How Can I prove that this module is isomorphic to the generators with relations...
What is $N = \sum_g g$ ? You gave no set of summation over.
Jul
11
comment Two definitions for a smooth curve equal.
What do you mean by $\gamma'(t) \neq 0$, I'm not seeing what that would indicate if it were false.
Jul
9
asked What's a method of finding when a repititious multi-dimensional function repeats when clamped?
Jul
8
comment What is wrong in my proof that 90 = 95? Or is it correct?
If you scroll through the post really fast, it looks like an animation.
Jul
7
comment Product of Connected Spaces (2)
@ArthurFischer are you related to Daniel Fischer?
Jul
7
comment If an integral domain $R$ has a factorization basis, is it a UFD?
What does $R/\simeq$ form?
Jul
4
comment Surjective Homomorphism $D_{12}$
Is $D_{12}$ the symmetries of a regular hexagon?
Jul
4
answered can fractions be done on a regular caculator?
Jul
2
awarded Popular Question
Jul
2
awarded Curious
1 2 3 4 5