能不能单独开一个版块，专门存各种定理命题之类的

abababa

如题。有时想找一些定理、命题，小结论之类的，可以专门去那个版块找，还能引用。
最好是弄成每个主题就一个帖子，不能回帖的，不然回帖有时看着太乱。

hbghlyj

@kuing 可以加入“精华帖” ?
然后在 帖子高级搜索»搜索范围»精华主题 就可以筛选它们
例如香蕉空间分为3部分: 百科、讲义、讨论室
香蕉空间是基于Mediawiki, 就像Wikipedia的每个词条都有Talk page

---

香蕉空间：粗略来看，是清华17级几个学生主要发起并搭建的一个中文数学社区，对标 $n$Lab，内含有数学词条与讲义（都需要用户持续贡献）。

• 中间有过一段时间无法访问，估计（瞎猜）是初期运营，经验不足，导致域名过期
• 一大好处是可以知道许多数学名词的中文译名
• 主要开发者之一（怀疑没有之一）为卜辰璟，香蕉空间中的主页上列举了两个很不错的讲义： 示性类、同伦代数与同调代数
• 唐珑珂的香蕉空间主页列举了一些他认为有趣的内容，此外该站还有他参与写的讲义：Scholze 的凝聚态数学
• 开发了一个名为 bTeX的简单语言，用以生成网页
• 期待未来成长为完善的中文数学社区
  

kuing

hbghlyj 发表于 2023-2-14 18:57
例如香蕉空间分为3部分: 百科、讲义、讨论室
香蕉空间是基于Mediawiki, 就像Wikipedia的每个词条都有Talk p ...

这种需求，开启“门户”功能合适不？

abababa

kuing 发表于 2023-2-14 19:27
这种需求，开启“门户”功能合适不？

我不懂这些网站方面的东西，就是觉得我自己发了很多小的命题之类的结论，有的是我自己搞不懂怎么证明，但结论是对的，因为它出现在某个定理的证明过程中。我就想能不能把这些小结论、命题、定理都弄到一个版块里，然后把它们的证明都写得详细易懂些，也方便理解方便引用。

比如我刚才就发了一个：
kuing.cjhb.site/forum.php?mod=redirect&goto=findpost&pti ... 709&fromuid=2354
这个命题其实应该是数论里很简单很基础的命题，但如果maven不写得这么详细，我自己肯定证不出来，网上找的有一些也不够详细，看着很不方便。

kuing

hbghlyj 发表于 2023-1-27 23:52
@kuing 可以加入“精华帖” ?
然后在 帖子高级搜索»搜索范围»精华主题 就可以筛选它们
例如香蕉空间分为3 ...

还发现有一个“淘帖”功能似乎也可以试试？🤔

hbghlyj

数学研发网 论坛的wiki诞生了

kuing

hbghlyj 发表于 2023-2-25 05:23
数学研发网 论坛的wiki诞生了

我没这功力搞 wiki 啊😥

hbghlyj

kuing 发表于 2023-2-25 07:50
...搞 wiki 啊

自己架站的網站如 ProofWiki、BananaSpace
而 Wiki hosting services 的網站如 Mathonline [不必自己架站、維護 只需要申請就能開始寫內容 跟去申請blogger一樣呢]

---

Wiki農場比較表
Miraheze free Wiki hosting
如何评价Miraheze这个维基农场？

Wiki新手在想要入Wiki这个坑之前，完全可以在Miraheze先体验一下原汁原味的MediaWiki，打定主意后再迁移也不迟。至于访问速度慢，这个的确是个问题，因为他们亚太地区的服务器在新加坡，所以速度的确有点慢，但是当浏览器缓存被建立后，速度也还说得过去。况且，重点来了，Miraheze允许你解析你的域名到服务器上，经过协商后应该也可以挂国内的CDN，基本没问题。

下載MediaWiki 1.39.2

kuing

hbghlyj 发表于 2023-3-17 08:11
自己架站的網站如 ProofWiki、BananaSpace
而 Wiki hosting services 的網站如 Mathonline [不必自己架站 ...

如何与论坛连接起来？至少，ID 互通？

PS、第二个链接没写对。

hbghlyj

hbghlyj 发表于 2023-2-24 22:23
数学研发网 论坛的wiki诞生了

emath论坛和wiki好像没有ID互通
我尝试用论坛ID登录Wiki无效

hbghlyj

kuing 发表于 2023-3-17 07:24
PS、第二个链接没写对。

已改正. 那个是在手机上写的.

hbghlyj

分布式计算论坛基于Discuz!X3构建，由MediaWiki搭建的百科系统和论坛系统两部分组成。

hbghlyj

kuing 发表于 2023-3-17 06:24
如何与论坛连接起来？至少，ID 互通？

好想法！例如AOPS論壇的帳號ID可以用來登錄AOPS Wiki並編輯
（例如，我剛才編輯了artofproblemsolving.com/wiki/index.php/1987_IMO_Problems/Problem_6#Solution）

hbghlyj

abababa 发表于 2023-1-27 07:57
如题。有时想找一些定理、命题，小结论之类的，可以专门去那个版块找，还能引用。
最好是弄成每个主题就一 ...

定理证明可以存档到ProofWiki，例如我新建的页面Sobolev Space is Banach Space
定理的证明之间是互相链接，如果在读证明时，忘记了其中使用的一个更基本的定理的证明，可以循着链接向上找，挺好的。每个页面都有很多链接，即使是很基本的概念也有链到页面。有助于学习者查阅。

但這網站比Wikipedia多了很多的規矩和條條框框：

管理员是Prime Mover，每天都能看见他新建和编辑页面。
但他好像对于源代码的可读性太苛责了，有几次都说我没使用ProofWiki特制的MediaWiki模板，或者LaTeX没使用ProofWiki特制的LaTeX命令之类的，然后他会逐一修改，后来他留言说失去耐心了，说我写的总是不合要求，他还有更多的事去做之类的，但是其实我觉得这些写的本来就已经可以读了，不需要编辑了……

哦，这个网站也用MathJax，且自定义了一些LaTeX命令，但不是为了写得更方便，而是为了源代码可读性。这样即使MathJax能正确渲染，也不能把别处的LaTeX直接粘贴到ProofWiki中，而是必须使用他们定义的命令来重写。

他不允许外部链接，只能引用书籍、期刊出版物。有几次我或别人写的引用其它网站的链接都被他删了。他说「不允许外部链接」。尤其是MathStackExchange链接会被删。

即使是自己创建的条目，修改标题也很麻烦，因為普通的用户没有权限，需要加一个模板来建议修改标题，然后等待管理员处理。他说，等到用户的持续贡献很长时间高质量的内容，才授予用户相应的权限。

還有，他不喜歡用户在頁面上做很多次的小修改，有幾次問我：做了這麼多次修改使他管理很難。怎麼還不使用沙盒？

hbghlyj

像其它Wiki一样，可以追溯每位编辑者的更改，可以显示最近更改，可以按用户、页面、时间段筛选更改。
每个百科页都附带一个讨论页。可以Add Topic进行话题讨论。

MediaWiki的Category类似于Discuz的Tag，但是比Tag更好的是，它可以在 Category下面创建Subcategory，层层嵌套的。也有专门的页面可以显示该Category下的页面。

还有MediaWiki的Namespace，类似于Discuz的版块。香蕉空间有3个Namespace：百科、讲义、小文章。而ProofWiki也有很多Namespace，有Definition、Example、Mathematician等等

hbghlyj

abababa 发表于 2023-1-27 07:57
最好是弄成每个主题就一个帖子，不能回帖的，不然回帖有时看着太乱。

Wiki页面顶部有一個Discussion按钮，围绕这个词条来创建话题和回帖，使词条內容和讨论得以分离。

hbghlyj

abababa 发表于 2023-1-27 07:57
可以专门去那个版块找，还能引用。

Wiki的引用很方便，用双方括号，例如[[Riesz-Fischer Theorem]]就能创建指向Riesz-Fischer Theorem词条的内部链接。

hbghlyj

abababa 发表于 2023-1-27 07:57
如题。有时想找一些定理、命题，小结论之类的，可以专门去那个版块找，还能引用。
最好是弄成每个主题就一 ...

是的，定理和问题之间是有区别的，定理是为了解决问题而提出的，就像一块砖，但问题就像一座用砖砌成的豪华房子，它们散落在各处，通常不用于解决其他问题。所以巧妙地解决问题和证明一个有用的定理是有区别的。
我也建议除了用户发布的问题之外，另辟一个地方来发布有用的定理。😀

hbghlyj

kuing 发表于 2023-2-25 06:50
我没这功力搞 wiki 啊😥

GitHub 有一个 Wiki 功能，可以创建一个 repo，然后打开 Wiki，它就可以立即使用😀。每个人都可以编辑

E.g. github.com/mozilla/pdf.js/wiki

hbghlyj

hbghlyj 发表于 2024-2-24 17:05
例如AoPS論壇的帳號ID可以用來登錄AOPS Wiki並編輯

Category是 MediaWiki 的一项软件功能，是一种用于对相关页面和媒体进行分组的特殊页面。
您可以通过向内容文本添加一个或多个类别标签来对页面和文件进行分类。
这些标签会在页面底部创建链接。
类别下可以建立子类别，具有层次结构。