Project Icon

AMaDiA

一站式数学符号输入和科学计算应用

AMaDiA是一个全面的数学工具应用,不仅支持科学计算、LaTeX转换和2D/3D图形绘制,还提供方程求解和单位转换等高级功能。用户可通过LAN聊天增强合作,且支持多操作系统,包括Windows、Linux和OSX。

abacus-develop - 先进的开源密度泛函理论计算软件包
ABACUSGithub分子动力学原子轨道密度泛函理论平面波开源项目
ABACUS(Atomic-orbital Based Ab-initio Computation at UStc)是一款开源的密度泛函理论计算软件包,适用于分子和材料模拟研究。它支持平面波和数值原子基组计算,提供LDA、GGA、meta-GGA和杂化泛函。ABACUS具备几何优化、从头算分子动力学模拟等功能,并包含DFT+U、范德华修正和隐式溶剂模型等先进特性。此外,ABACUS为机器学习辅助的DFT方法开发提供了基础设施。
matrix - 矩阵操作与计算库,支持多种线性代数应用
Githubml-matrix库使用开源项目矩阵操作矩阵数学矩阵运算
ml-matrix是Zakodium维护的矩阵操作与计算库,兼容ES和CommonJS模块。提供详细的API文档和示例,包括标准操作、就地操作、数学操作和矩阵操作。支持多种矩阵分解方法和线性回归问题。通过简单的安装命令,可进行矩阵创建、操作和转换,适用于各种线性代数应用场景,提高计算效率。
texify - 高效OCR模型,图像数学公式到Markdown和LaTeX的转换工具
GithubLaTeXOCRTexify图像转换开源项目机器学习
Texify是一个开源OCR模型,可将含数学公式的图像或PDF转换为Markdown和LaTeX格式。支持块级和内联公式,兼容CPU、GPU和MPS。基于多样化数据集训练,相较其他开源工具准确度更高。提供GUI、命令行和Python API,适用于多种场景。
spyder - 强大的Python科学计算集成开发环境
GithubPythonSpyder开发环境开源软件开源项目科学计算
Spyder是一个开源的Python科学计算集成开发环境,集成了编辑、调试和分析等功能。它为数据科学家、研究人员和工程师提供了全面的工具集,支持多种操作系统。Spyder具有直观的界面和高效的编程体验,有助于用户进行科学计算和数据分析。该项目持续更新,拥有活跃的社区支持,是Python科学计算领域的重要工具。
psi - 多平台支持的高级XMPP通讯工具
GithubPsiXMPP客户端即时通讯开源软件开源项目跨平台
Psi是一款面向高级用户的XMPP客户端,支持GNU/Linux、Windows、macOS等多个系统。它提供灵活的界面定制、文件共享、音视频通话功能,并通过插件实现端到端加密。作为开源软件,Psi采用GNU通用公共许可证,注重功能性和安全性。
DeepSeek-Math - 开源数学推理模型的新突破
DeepSeekMathGithub人工智能大语言模型开源模型开源项目数学推理
DeepSeek-Math是基于DeepSeek-Coder-v1.5 7B预训练的开源数学推理模型。在MATH基准测试中,它达到51.7%的成绩,接近Gemini-Ultra和GPT-4的水平。项目提供基础、指令微调和强化学习三个7B模型版本,支持数学问题求解、工具使用和定理证明。DeepSeek-Math在保持通用能力的同时提升了数学推理能力,为数学研究提供了新的AI工具。
math-lm - Llemma 开源数学语言模型助力数学推理突破
EleutherAIGithubLlemma人工智能开源项目数学语言模型
Llemma是一个专为数学领域开发的开源语言模型。该项目基于Proof-Pile-2数据集训练,提供7B和34B两种规模的模型版本。Llemma在数学问题解决和定理证明等任务中表现优异,为数学研究和教育领域提供了有力的AI支持。项目不仅开源了模型,还包括数据集和相关代码,促进了数学AI技术的进步。
alphageometry - 无需人类示范的奥林匹克几何问题求解器
AlphaGeometryGithub人工智能几何定理证明开源项目数学奥林匹克机器学习
AlphaGeometry是一个创新的几何定理证明系统,能够解决奥林匹克级别的几何问题,无需人类示范。它结合了演绎-归纳推理和大型语言模型,自动构建辅助线并生成严格证明。在IMO-AG-30和JGEX-AG-231测试集上,AlphaGeometry分别解决了25和228个问题,大幅超越传统DDAR方法。项目开源了核心代码,包括DDAR求解器和语言模型推理模块,为几何定理自动证明开辟新路径。
AlizaMS - 多功能DICOM查看器 为医学影像分析提供全面支持
3D渲染DICOMGithub医学影像去识别化多平面重建开源项目
AlizaMS是一款功能全面的DICOM查看器,集成2D和3D视图、体积渲染和多平面重建等核心功能。它具备快速目录扫描和DICOMDIR文件处理能力,同时保证DICOM数据的一致性匿名化。该软件支持RTSTRUCT轮廓显示、多视图研究和超声校准区域精确测量。AlizaMS还提供2D+t和3D+t动画效果,内置DICOM元数据查看器和2024b字典。软件兼容多数IOD类型,包括结构化报告和灰度软拷贝呈现状态。
chatglm-maths - ChatGLM-6B数学运算能力优化项目
ChatGLM-6BGithubLORAPPO开源项目微调数学计算
该项目旨在优化ChatGLM-6B模型的整数和小数四则运算能力。项目采用LORA、PPO等多种训练方法,支持GPU和CPU环境。内容包括自动生成的训练样本、微调数据集、LORA权重,以及环境配置和使用说明。这一工具主要面向开发者和研究人员,用于提升大语言模型的数学计算表现。
项目侧边栏1项目侧边栏2
推荐项目
Project Cover

豆包MarsCode

豆包 MarsCode 是一款革命性的编程助手,通过AI技术提供代码补全、单测生成、代码解释和智能问答等功能,支持100+编程语言,与主流编辑器无缝集成,显著提升开发效率和代码质量。

Project Cover

AI写歌

Suno AI是一个革命性的AI音乐创作平台,能在短短30秒内帮助用户创作出一首完整的歌曲。无论是寻找创作灵感还是需要快速制作音乐,Suno AI都是音乐爱好者和专业人士的理想选择。

Project Cover

有言AI

有言平台提供一站式AIGC视频创作解决方案,通过智能技术简化视频制作流程。无论是企业宣传还是个人分享,有言都能帮助用户快速、轻松地制作出专业级别的视频内容。

Project Cover

Kimi

Kimi AI助手提供多语言对话支持,能够阅读和理解用户上传的文件内容,解析网页信息,并结合搜索结果为用户提供详尽的答案。无论是日常咨询还是专业问题,Kimi都能以友好、专业的方式提供帮助。

Project Cover

阿里绘蛙

绘蛙是阿里巴巴集团推出的革命性AI电商营销平台。利用尖端人工智能技术,为商家提供一键生成商品图和营销文案的服务,显著提升内容创作效率和营销效果。适用于淘宝、天猫等电商平台,让商品第一时间被种草。

Project Cover

吐司

探索Tensor.Art平台的独特AI模型,免费访问各种图像生成与AI训练工具,从Stable Diffusion等基础模型开始,轻松实现创新图像生成。体验前沿的AI技术,推动个人和企业的创新发展。

Project Cover

SubCat字幕猫

SubCat字幕猫APP是一款创新的视频播放器,它将改变您观看视频的方式!SubCat结合了先进的人工智能技术,为您提供即时视频字幕翻译,无论是本地视频还是网络流媒体,让您轻松享受各种语言的内容。

Project Cover

美间AI

美间AI创意设计平台,利用前沿AI技术,为设计师和营销人员提供一站式设计解决方案。从智能海报到3D效果图,再到文案生成,美间让创意设计更简单、更高效。

Project Cover

AIWritePaper论文写作

AIWritePaper论文写作是一站式AI论文写作辅助工具,简化了选题、文献检索至论文撰写的整个过程。通过简单设定,平台可快速生成高质量论文大纲和全文,配合图表、参考文献等一应俱全,同时提供开题报告和答辩PPT等增值服务,保障数据安全,有效提升写作效率和论文质量。

投诉举报邮箱: service@vectorlightyear.com
@2024 懂AI·鲁ICP备2024100362号-6·鲁公网安备37021002001498号