A new type of generic, self-evolving and efficient automated deduction algorithm based on category theory

A new type of generic, self-evolving and efficient automated deduction algorithm based on category theory

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....

Full description

Bibliographic Details
Main Authors: Zijian Wang, Xinhui Shao
Format: Article
Language:English
Published: AIMS Press 2023-05-01
Series:AIMS Mathematics
Subjects:
automatic prover
theorem prover
algorithm
category theory
automatic deduction
automatic reasoning
Online Access:https://www.aimspress.com/article/doi/10.3934/math.2023929?viewType=HTML

Internet

https://www.aimspress.com/article/doi/10.3934/math.2023929?viewType=HTML

Similar Items