教育与参考

Chatbotmaker

Chatbotmaker

Chatbotmaker.com是一个与称为chatbots的对话机器人聊天的地方。该系统上的聊天机器人已为Chrome用户启用了语音识别功能。
  • 免费的个人应用
  • Web
EmbedPlus

EmbedPlus

EmbedPlus允许您无缝和自由升级具有标准播放器当前不提供的引人入胜功能的视频嵌入。
Isabelle

Isabelle

Isabelle是通过计算机编写和检查数学证明的证明助手。
Coq

Coq

Coq是证明助手，它允许您以严格而正式的方式编写数学证明，并由计算机检查它们的正确性。
Agda

Agda

Agda是一种从属类型的函数式编程语言。它具有归纳族，即依赖于值的数据类型，例如给定长度的向量类型。
Educreations

Educreations

教育是一个社区，每个人都可以教自己知道的东西，了解自己不知道的东西。
FluidSIM

FluidSIM

FluidSIM 4是一款用于创建，仿真，指导和研究电动气动，电动液压和数字电路的综合软件。
5spice

5spice

基于Spice的电子电路仿真和电路分析软件。5Spice具有经验丰富的电路设计人员所需的分析功能，同时仍易于使用。
Geometer

Geometer

Geometer是用于几何计算的程序。根据几何形状的值，可以计算出未知数。
Volume Calculator

Volume Calculator

体积计算器使您可以快速确定多个几何形状的体积。我们的计算器提供专业的外观，同时提供准确的结果。
  • 付费应用
  • Mac
MathX

MathX

MathX可以计算二维和三维几何形状的大多数参数，转换度量单位并执行代数计算。
MathScribe

MathScribe

用手指或钢笔手写方程，然后求解。它使用Wolfram Alpha返回答案，因此该应用程序支持代数，科学方程式以及各种其他格式和主题。
Yomichan

Yomichan

Yomichan通过帮助您解密文本，将您的浏览器变成构建日语读写能力的工具，否则这些文本将很难解决。它受到Rikaichan的部分启发，是一种无所不包的学习工具。
rikaikun

rikaikun

将鼠标悬停在单词上翻译日语。
SkyPrep

SkyPrep

SkyPrep是一个培训自动化平台，它使各种规模的组织都可以使他们的培训自动化，以便他们可以将时间集中在最重要的事情上。
World of Dinosaurs : The Ultimate Dinosaurs Resource

World of Dinosaurs : The Ultimate Dinosaurs Resource

恐龙世界是IOS的综合恐龙资源，具有原始的高清插图，杜比音频以及经过科学验证的所有恐龙过去，历史，灭绝和现代祖先的信息。
Chromatik

Chromatik

通过Chromatik的活页乐谱目录练习，创建和共享您喜欢的音乐。
Learn Excel Fast

Learn Excel Fast

免费的基于视频的Excel培训课程，包括下载的工作簿和完成的活动。
BoneLab 2

BoneLab 2

BoneLab 2是BoneLab的后继产品，BoneLab是最成功的骨骼解剖学学习软件产品。
Starty.co Answers

Starty.co Answers

Discover Answers是一款功能强大的小型$ 99 Q / A Web应用程序，可显着改善用户体验。下载，安装和插入Answers至现有用户群。