Login / Signup
A Combinatorial Proof of an Ordered-partition Expansion of Determinants Given by Insko, Johnson and Sullivan.
Sajal Kumar Mukherjee
A. K. Bhuniya
Published in:
Integers (2019)
Keyphrases
</>
linear logic
data structure
user defined
theorem prover
partitioning algorithm
proof planning
ordered sets
real time
databases
artificial intelligence
mathematical proofs