Login / Signup
Proofs of Conjectures about Pattern-Avoiding Linear Extensions.
Colin Defant
Published in:
Discret. Math. Theor. Comput. Sci. (2019)
Keyphrases
</>
theorem prover
pattern matching
database
machine learning
multiscale
first order logic
theorem proving
simple linear
real time
neural network
real world
knowledge base
image processing
least squares
mathematical knowledge