DMCA

Automatic construction and verification of isotopy invariants (2006)

by Volker Sorge , Andreas Meier , Roy McCasland , Simon Colton
Venue:IN PROC. OF IJCAR 2006, LNAI
Citations:7 - 3 self