既発表であるMathML記述の数式検索ツールを基盤として，我々は数式変形された（不）等式に対して公式適用箇所をその公式名とともにアノテートする数式変形依拠公式提示機能を開発している．しかし，データベースに事前登録した公式に対し，代数的に変形された上で適用される場合は抽出できないため，数式処理システム（CAS）の活用により適用範囲拡大を目指している．過去に一定のヒット率向上に成功したWolfram Alpha APIに加え，本研究ではPythonの記号計算用ライブラリであるSymPyを相補的に用い，データベース管理の効率性や処理速度の変化について実験結果と共に調査・評価を行う．