Tropical proof systems.

Yaroslav Alekseev Dima Grigoriev Edward A. Hirsch

Published in: Electron. Colloquium Comput. Complex. (2024)

Keyphrases

distributed systems
knowledge based systems
machine learning
computer vision
knowledge base
multiscale
optimal solution
expert systems
evolutionary algorithm
management system
computer systems
embedded systems
theorem prover
computing systems