阿尔法蛋大蛋2.0

针对小学数学提供数学精准学功能，能够精准找到知识点弱项，避免题海战术，实用且高效。

智能学堂

系统分析学生的学习情况，推出相应的个人学习方案，确保支柱性知识牢固掌握，形成完整的知识架构，特别适合数学学科。

微软数学

支持拍照、手写、键盘输入高数、线代等问题，拥有解析功能，界面设计简约。

洋葱学园

提供丰富的动画教材数据库、同步课程题库和游戏等内容，自动分析学习过程和能力数据，及时反馈。

微积分算个屁

界面简约，算数功能强大，可以算微积分、求导、求极限、求不定积分等，解题速度快。

知道

提供公式定理的搜索和查看，错题记录功能，界面简洁流畅。

数以兴焉

提供准备、标准、美观的公式定理，错题记录功能，界面简洁流畅。

作业帮

在线学习软件，提供名校题目查询和练习，拥有名师讲解视频功能。

小猿口算

针对小学生，提供全科辅导资料和口算练习，根据做题情况给出数据分析。

儿童数学王国

为低龄儿童设计，提供模拟考试和趣味教学方式，提高孩子对数学的兴趣。

口算数学算术

拥有大量题库，适合练习数学题目，根据做题情况给出数据分析。

Maple

由Waterloo大学开发，具有精确的数值处理和强大的符号计算功能，提供2000余种数学函数，支持内置编程语言开发应用程序。

MATLAB

以数值计算见长，广泛应用于科学计算和工程领域。

MathCAD

专用数学软件，主要用于计算机解决现代科学技术各领域中的数学问题。

Mathematica

以符号运算和公式推导见长，功能强大，广泛应用于科学研究和工程计算。

这些智能数学系统各有特点，可以根据具体需求选择适合的系统。对于小学生，建议选择操作简单、趣味性强的系统，如阿尔法蛋大蛋2.0、洋葱学园和智能学堂。对于需要深度数学计算和符号处理的用户，可以考虑Maple、MATLAB和Mathematica等专业软件。