A Mechanized Theory of the Box Calculus.

Joseph Fourment Yichen Xu

Published in: CoRR (2023)

Keyphrases

theoretical basis
computer algebra
decision making
genetic algorithm
image processing
computational model
theoretical framework
general theory
formal theory
algebraic structure
artificial intelligence
multi agent systems
information technology
hidden markov models