大学入試における数列の問題を解くための自動推論とその実装について
http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/2022-11.pdf
センター試験「数学」整数問題解答システムにおける 探索空間の削減
https://confit.atlas.jp/guide/event-img/jsai2018/2B4-04/public/pdf

幾何も整数も、中間言語さえ充実させれば、後は『 Mathematica』で楽勝。