Login / Signup
Orthogonal Art Galleries with Holes: A Coloring Proof of Aggarwal's Theorem.
Pawel Zylinski
Published in:
Electron. J. Comb. (2006)
Keyphrases
</>
interactive theorem proving
neural network
real time
website
database
optimal solution
relational databases
cultural heritage
theorem proving
orthogonal polynomials