对于考研公式识记软件的选择，以下几个软件是值得推荐的：

《知道》 ：这是一个全面的学习助手，涵盖了各个年级的学科知识，包括考研真题。它具有公式定理库和错题本功能，能够为用户提供个性化的学习计划，非常适合考研学子使用。

MathType ：这是一款专业的数学公式编辑工具，支持在多种文档格式中插入复杂的数学公式和符号，并具有手写输入和语音识别功能，能够提高编辑效率。它还支持LaTeX语法，适合需要编写复杂数学公式的用户。

AxMath ：这是一款集公式编辑、排版及科学计算于一身的软件，具有界面美观、操作易用和强大的计算能力等优点。它支持多种数学符号的编辑和排版，适合需要高质量公式输出的用户。

DeepSeek ：这是一款AI助手，能够解析难题并秒懂知识点，同时提供智能刷题助手功能，能够根据用户的错题自动推荐类似的练习题，帮助用户查漏补缺，提高复习效率。

超级公式 ：这是一款支持多平台的Latex公式识别OCR软件，能够识别公式、PDF公式，并一键转换成Word、txt、png等文件格式。它支持常用公式模板选择，适合快速编写试卷、论文等场景。

根据以上推荐，用户可以根据自己的需求和偏好选择合适的软件。如果需要全面的学习计划和错题本功能，可以选择《知道》；如果需要高质量的公式编辑和排版工具，可以选择MathType或AxMath；如果需要AI助手来提高复习效率，可以选择DeepSeek；如果需要识别和转换公式，可以选择超级公式。