Email Gateway (Jun 23 2021 at 10:16): Email Gateway (Jun 23 2021 at 10:16):From: "Yiannos A. Stathopoulos" <yas23@cam.ac.uk>
Dear all,
We would like to thank all of you who have so far given us feedback on
your search results using the SErAPIS search engine for the Isabelle
Libraries and AFP (https://behemoth.cl.cam.ac.uk/search/).
Today, we are excited to announce a major update to the SErAPIS Isabelle
Search engine.
Changes and updates include:
Index updated to include the AFP up to and including the 31/05/2021
snapshot.
Improved indexing of mathematical concepts.
Added two new search algorithms, methods 7 and 8 (method 8 is now
default) that we invite you to try out.
Improved search with fact names as keywords.
and more.
We would like to remind you that there two short SErAPIS introductory
videos on our YouTube channel:
https://www.youtube.com/channel/UCrpChEhaz7FS_6Q7gtzFlFQ
and a detailed user guide available here:
https://behemoth.cl.cam.ac.uk/search/SErAPIS_online_user_guide.pdf
Finally, we kindly ask that you continue to give us feedback on (at
least) the first 10 results of your searches via the SErAPIS interface
(as explained in Video 2 and Section 4 of the user guide).
All data collected is anonymised.
We are very grateful to all of you for using SErAPIS and for your
feedback.
Thank you!
Yiannos Stathopoulos and Angeliki Koutsoukou-Argyraki
Last updated: Jan 04 2025 at 20:18 UTC