External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Detecting Unknots via Equational Reasoning, I: Exploration

Andrew Fish, Alexei Lisitsa. Detecting Unknots via Equational Reasoning, I: Exploration. In Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban, editors, Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings. Volume 8543 of Lecture Notes in Computer Science, pages 76-91, Springer, 2014. [doi]

Authors

Andrew Fish

This author has not been identified. Look up 'Andrew Fish' in Google

Alexei Lisitsa

This author has not been identified. Look up 'Alexei Lisitsa' in Google
runs on