nForum - Discussion Feed (Symbol search)2024-03-29T05:08:54+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
spitters comments on "Symbol search" (55898)https://nforum.ncatlab.org/discussion/6909/?Focus=55898#Comment_558982016-01-23T10:12:04+00:002024-03-29T05:08:54+00:00spittershttps://nforum.ncatlab.org/account/936/
zbmath now has symbol search. This is also available for the arxiv. More information at MWS.
Is there any experience integrating such tools, i.e. more “semantic search” into the nlab?
There is ...
zbmath now has symbol search. This is also available for the arxiv. More information at MWS.
Is there any experience integrating such tools, i.e. more “semantic search” into the nlab?