数学

TeXstudio

一个跨平台的 LaTeX 编辑器,支持 Windows、Linux 和 macOS。TeXstudio通过提供语法高亮、内置查看器、参考检查以及各种辅助工具等功能,使编写 LaTeX 文档变得容易和舒适。

GeoGebra

一款适用于各级教育的免费动态数学软件,它将几何、代数、统计、微积分等多种数学功能集成于一体。

Kiddo Worksheets

一个专为3到10岁孩子打造的免费教育资源平台。它提供从学前班到五年级的英语、数学、阅读、书写等多学科练习册,内容丰富多样,比如字母描红、自然拼读、数字运算、形状认知等。

Mdnice

一款由墨滴软件开发的功能强大的Markdown编辑器,Mdnice具有强大的文章一键排版功能,能够帮助用户高效地进行内容创作和编辑。

IAuto

IAuto,专业一站式办公绘图利器,是您职场的好帮手!

月之暗面Moonshot AI

一家专注于人工智能技术的公司,由杨植麟于2023年3月创立。公司致力于开发大型AI模型,其核心产品是Kimi智能助手。

鲸咕噜AI创作云

鲸咕噜AI创作云是一款强大的在线转换工具。其主要功能是将PDF文档转换成Word文档,特别是在数学公式识别方面表现尤为出色。同时,鲸咕噜AI创作云还支持对表格、图片的识别。

思乎AI助理

为你提供一站式AI智能解决方案,思乎AI助理提供多个行业与场景的AI数字分身,支持深度定制化智能机器人,赋能个人和企业用户,提高能效,创造更大价值。

Mistral Large

Mistral Large是Mistral AI开发的一款先进的大型语言模型,具备出色的多语言推理能力和强大的上下文理解能力。它在多个基准测试中表现出色,尤其是在多语言处理、推理和知识、数学与编程方面。Mistral Large支持多语言处理,并且能精确遵循指令,还支持函数调用,便于与开发者工具集集成。此外,该模型可通过Azure AI Studio和Azure Machine Learning平

Qwen2

Qwen2是由阿里云通义千问团队开发的大型语言模型系列,涵盖从0.5B到72B的不同规模版本。该系列模型在自然语言理解、代码编写、数学解题及多语言处理方面表现出色,尤其在Qwen2-72B模型上,其性能已超过Meta的Llama-3-70B。Qwen2支持最长128K tokens的上下文长度,并已在Hugging Face和ModelScope平台上开源。 ---