团队:  1 - 2学生

主管:  Dr. 约书亚Grochow

时间轴:  在2022年春季学期,学生每周将工作5-10小时.  This is either a paid position ($15/hr) or can provide CS independent study academic credit (or possibly MATH; inquire if interested).

描述: 技术论文的发表仍然停留在石器时代, 论文是用LaTeX写的,然后永远保存在一块叫做PDF的石碑上. 最近,这些网站添加了超链接,但即使是这种做法也尚未普及. 博彩平台推荐的目标远不止于此,让论文更容易学习,更容易阅读. 事实上, “阅读”一篇论文不应该只是“阅读”(从来都不是)。, 论文本身的格式应该有助于这个过程. 博彩平台推荐想象的功能范围从简单但有用的UI更改到实际与数学参数和结构交互的更深层次的工具. 目标原型是取部分或全部 这篇论文 并添加如下功能:

  • 可扩展的证明. 不确定为什么这个证明中的这句话是正确的? 单击展开查看更多详细信息.
  • 视野狭窄,只显示主题句, 或者只有主要结果,以便更快地导航/浏览/概述
  • 对于任何单词或符号(包括仅在给定证明中使用的局部符号), 将鼠标悬停以查看定义, 单击将您带到定义.
  • 许多证明都涉及到参数和论证,这些参数和论证是经过选择的,这样某些事情最终才能解决. 如果这些是互动的/可滑动的,看看它们能在什么东西坏掉之前推到多远呢? 就像Bret Victor的建议 在这里 (搜索“想象一下,如果布林德在《博彩app推荐》上的求婚是这样写的”). 因为参数包含变量而不是数字, 这甚至可能涉及到一些(轻量级的)博彩app推荐参数之间的简单不等式的符号推理.
  • 在这篇特殊的论文中,许多证明涉及到三维中3张量的构造(见图2). 3-5页. 25, 29, 36). 这些应该是交互式的3D图像,可以旋转,缩放等. 并且能够从三个方向中的每个方向查看它们的二维切片.
  • 代入实际数字(可能是整数mod p)来查看构造的示例. 允许交互更改基础
  • 展开一个或多个步骤的归纳证明,这样读者可以更容易地看到模式
  • 对于算法在一篇论文中带有伪代码, 能够轻松地在伪代码行之间来回跳转,并在文本中解释它们. 甚至可能以交互方式在示例上运行伪代码
  • 最终理想的/, 这些特性中的每一个都将被构建到一个库中,使其他人可以很容易地以这种方式构建他们的论文
  • 你的想法是什么?!

资格:  有HTML5/javascript可视化/交互经验(3D经验优先考虑,但不是必需的), 即使没有3D可视化,也有很多事情要做! 或者选择3D可以成为学习经验的一部分), 希望提高技术出版物的可用性. 对于更多的数学主题, 可能需要一些线性代数知识, 并且愿意学习张量/多线性代数.

 

应用程序: 

1月5日,2022年春季.  博彩平台推荐正在寻找具有技术技能和数学/统计技能的申请人.  应用程序包括:

  • 博彩app推荐你的技能和兴趣如何适合这个项目的个人陈述, 包括你想要探索或帮助的任何想法
  • 简单易读的简历:
    • 参加的数学/计算机科学课程(有成绩)
    • 编程和计算机技能/经验(如适用,包括链接)
  • 请附上成绩单(非正式成绩单即可)

请将这些材料发邮件至 jgrochow@chiastocka.com 主题为“实验数学实验室应用”.

 

回到 实验数学实验室.