@article{Wang2023, 
author = {Zijian Wang and Xinhui Shao},
title = {A new type of generic, self-evolving and efficient automated deduction algorithm based on category theory},
year = {2023},
journal = {AIMS Mathematics},
volume = {8},
number = {8},
pages = {18278-18294},
keywords = {algorithm, automatic prover, theorem prover, category theory, automatic deduction, automatic reasoning},
url = {https://www.sciopen.com/article/10.3934/math.2023929},
doi = {10.3934/math.2023929},
abstract = {In this article, a new type of generalized, self-evolving and efficient automated statement proof algorithm based on new data structures, i.e., brackets and map graphs, and new algorithms is presented. The brackets structure provides an elegant low-knowledge representation of mathematical concepts. The map graphs offer an efficient machine-learning method which let the computer learn knowledge while proving. Additionally, the new finding is built completely on category theory. Furthermore, a prototype of the program is presented and examined for performance.}
}