A Combinatorial Proof for the Dowry Problem.

Xujun Liu Olgica Milenkovic George V. Moustakides

Published in: ITW (2023)

Keyphrases

theorem proving
theorem prover
information systems
metadata
information technology
relational databases
knowledge representation
proof planning
mathematical proofs