Email Gateway (Oct 19 2020 at 05:56): Email Gateway (Oct 19 2020 at 05:56):From: Tobias Nipkow <nipkow@in.tum.de>
Dear Isabelle users,
You may be interested in the survey paper:
Verified Textbook Algorithms. A Biased Survey
Tobias Nipkow, Manuel Eberl, Maximilian P. L. Haslbeck
This article surveys the state of the art of verifying standard textbook
algorithms. We focus largely on the classic text by Cormen et al. Both
correctness and running time complexity are considered.
It is an invited ATVA 2020 paper. The ATVA proceedings are freely available
online http://fit.uet.vnu.edu.vn/atva2020/ for 4 weeks.
Enjoy!
Tobias
smime.p7s
Email Gateway (Oct 20 2020 at 00:02):From: Qian Hong <fracting@gmail.com>
This is amazing work, thank you so much.
I guess a living review website [1] base on the information from the
survey, similar to other websites like [2],[3],[4],[5],[6],[7],[8],
etc, would be a great resource for the community.
Not sure if this will violate any copyright of ATVA / Springer?
[1] https://en.wikipedia.org/wiki/Living_review
[2] https://www.cs.ru.nl/~freek/100/
[3] http://nlpprogress.com/
[4] https://ml4code.github.io/
[5] https://paperswithcode.com/
[6] https://quantumalgorithmzoo.org/
[7] https://complexityzoo.uwaterloo.ca/Complexity_Zoo
[8] https://leanprover-community.github.io/undergrad.html
Email Gateway (Oct 20 2020 at 12:34):From: Tobias Nipkow <nipkow@in.tum.de>
Dear Qian,
Thank you for your suggestion, it makes a lot of sense. We do in fact have a
rudimentary internal web page. We will beef it up, make it publicly available
and encourage people to send us references to new work.
Best regards
Tobias
smime.p7s
Email Gateway (Oct 20 2020 at 13:09):From: Qian Hong <fracting@gmail.com>
Dear Tobias,
That's really exciting to know, thank you.
Looking forward to upcoming pull requests to the upcoming online survey.
Last updated: Jul 15 2022 at 23:21 UTC