【问题标题】:What's the best way to write Mathematical Proofs on the web? [closed]在网络上编写数学证明的最佳方式是什么? [关闭]
【发布时间】:2015-12-13 22:43:02
【问题描述】:

This question about displaying equations on the web 与我要问的类似,但没有回答我的问题。这是关于数学的。我将其扩展到证明

这是一个关键的区别,因为我的主要困难是格式问题,例如添加换行符,而在编写孤立的数学或方程式时,您无需担心这些问题。我正在使用 MathJax,但是我写的任何句子都在同一行,因为我不知道如何使用 MathJax 来简单地插入换行符,而且很难找到。

【问题讨论】:

  • 您的标题和“我如何在 mathjax 中换行”是非常不同的问题。你为什么放弃your previous question
  • 上一个问题让我想到了这个更笼统的问题。我想确保我之前的问题没有实际意义,因为我已经在愚蠢地解决更普遍的问题。这很有帮助,因为上一个问题不会导致
    解决方案,因为这与 MathJax 无关。
  • 从根本上说,证明需要换行的频率与网页一样多(很少见)。如果您手动换行不止于此,则说明您做错了。而“最佳方式”类型的问题并不适合 SO。而您的答案最终取决于您使用 Django 的事实,而您的问题根本没有表明这一点。
  • 关于“最佳方式”风格问题和 Django 部分的观点。至于不需要经常手动换行,证明可以在很多地方使用散文而不是方程式,并且在散文中制作新的一行或段落是很常见的。此外,如果我在页面上对证明进行硬编码,那么可以肯定,HTML 显然是换行逻辑的正确位置,但我在页面中有一个地方用于证明,然后证明作为变量传入,所以它有点棘手。无论如何,我同意这个问题可以关闭,但直到后来我才意识到这些缺陷,我无法删除。

标签: javascript html math mathjax proof


【解决方案1】:

当我在 Google 中输入“MathJax 换行符”时,first link 很有趣,但 third one 似乎也能回答它。就像在 Latex 中一样使用\\

【讨论】:

  • My previous question。由于某种原因,这不起作用:(
  • 好的,所以问题是我的整个证明没有包含在$$ ... $$ 中。因此,放置 \\ 不会做任何事情,并且放置 <br> 可能出于某种原因可能是出于转义 HTML 的原因,我不应该将其与这个问题混为一谈。我可以只输入$$$$,它会打破我不喜欢的行(通过添加一个空白等式),因为它总是放入 2 个换行符,但它确实打破了行。
  • @tscizzle 在$$ 块中键入foo\\bar,在math.stackexchange 的答案中生成一个新行。为什么你的证明没有包含在 $$ 中?
  • 我们的 cmets 离得很近,所以你可能没看到,但问题是人们不想把整个证明放在 $$ ... $$ 中,所以只把它们放在我想要的地方他们意味着我只能做。至少 2 个换行符。
  • @tscizzle 我认为您需要使用 jsfiddle/jsbin/etc 为我们制作一个 “示例证明” 作为测试用例如果您想要更有意义的答案。
【解决方案2】:

游戏是使用 HTML <br>,而我在这样做之前遇到的问题是自动转义 HTML。关闭自动转义(我碰巧在 Django 中,所以这只是 HTML 文件中的 {% autoescape off %}{% some_proof %}{% endautoescape %})并使用 <br> 完全符合我的要求,我认为是MathJax 期望用户做什么。因此,您可以使用 MathJax 编写数学并使用 HTML 格式化证明。

【讨论】:

    【解决方案3】:

    我不知道是不是你的情况,但如果你正在开发一个 Web 表单/应用程序,要显示数学符号,你应该使用浏览器可以解释的符号字体。

    换句话说,使用符号字体并使用其 ASCII 代码显示所需的数学符号。

    看看这些网站,它们可能会对您有所帮助。 http://www.math.vanderbilt.edu/ourequip/webstuff/postmath.html

    http://symbolcodes.tlt.psu.edu/bylanguage/math.html

    【讨论】:

      猜你喜欢
      • 2010-10-04
      • 2010-10-22
      • 2010-10-17
      • 2017-07-30
      • 1970-01-01
      • 2010-09-28
      • 1970-01-01
      • 1970-01-01
      • 2010-10-05
      相关资源
      最近更新 更多