asmeurer
Reputation
Top tag
Next privilege 5,000 Rep.
Approve tag wiki edits
 Aug 24 revised Are these two optimization problems equivalent to each other? make the 1 vector a little easier to read Aug 14 comment Can a sequence have infinitely many limits among its subsequences? I see. Yes, the $\epsilon$ argument only gives you a finite number of points of the set of points is bounded (as there can only be a finite number of $\epsilon$ balls in a bounded subset of $\mathbb{R}$). If it isn't, the set can be countable, but not uncountable. I'm not sure about using diagonalization as an argument. Aug 13 answered Can a sequence have infinitely many limits among its subsequences? Aug 4 awarded Yearling Jul 19 answered A question regarding the constant of integration Jul 9 comment Symbolically formulate the two guard problem so it can be solved by a computer I'm actually skeptical whether this can be solve with propositional logic, given the nature of the "answer", but it would obviously be nice, since SAT solvers are common and fast. Jul 8 asked Symbolically formulate the two guard problem so it can be solved by a computer Jul 8 awarded Informed Jul 7 awarded Civic Duty Jul 7 answered Prove that if $g^2=e$ for all g in G then G is Abelian. Jul 6 answered Unsolvability of a Quintic and its link with “Simplicity” of $A_{5}$ Jul 6 awarded Excavator Jul 6 revised A different proof of the insolubility of the quintic? Fix link Jul 4 answered Taking the square root of an imaginary number Jun 18 answered Quartic Solution on Wikipedia special cases problem $S=0$ how to “change the choice of cubic root”? Jun 18 answered Quartic Solution on Wikipedia special cases problem $S=0$ how to “change the choice of cubic root”? Jun 15 answered A misleading commutative diagram Jun 15 comment A misleading commutative diagram By the definition of commutative diagram, wouldn't you need at least a triangle to imply that $\phi$ is a self-inverse? I don't see how the bottom diagram implies this. Jun 15 comment Why ∫ dn is = N? You should be careful about $n$ vs. $N$. In mathematics the two are always considered to be two separate variables. Your mixing of the two just makes things more confusing. Jun 15 comment Computer algebra system for solving systems of partial differential equations / PDEs Numerical PDE solvers are a dime a dozen, and the one you should use depends very much on the PDE. Symbolic solvers are much rarer. You should clarify what kind of PDEs you have and what kind of solutions you are looking for.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.8902991414070129, "perplexity": 647.5722585381919}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2015-35/segments/1440644066586.13/warc/CC-MAIN-20150827025426-00236-ip-10-171-96-226.ec2.internal.warc.gz"}