Jan Willem Knopper

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Human Activities

Semantic Video Retrieval

Computer Algebra Systems

Top Venues

Publications

Hans Cuypers, Jan Willem Knopper
Interactive mathematical videos. CICM Workshops (2013)
Arjeh M. Cohen, Jan Willem Knopper, Scott H. Murray
Automatic Proof of Graph Nonisomorphism. Math. Comput. Sci. 2 (2) (2008)