A Proof of the Weak Simplex Conjecture.

Adriano Pastore

Published in: CoRR (2023)

Keyphrases

theorem proving
linear programming
artificial intelligence
proof planning
mathematical proofs
databases
simplex algorithm
linear logic
real time
data mining
machine learning
case study
information technology
special case