New proofs of the Assmus-Mattson theorem based on the Terwilliger algebra.
Hajime TanakaPublished in: Eur. J. Comb. (2009)
Keyphrases
- interactive theorem proving
- data model
- theorem prover
- algebraic expressions
- theorem proving
- query language
- boolean algebra
- relational algebra
- formal proof
- intuitionistic logic
- machine learning
- algebraic structure
- natural deduction
- algebraic geometry
- digital topology
- algebraic operations
- expressive power
- logic programs
- data structure