Ask HN: 수학 공식을 위한 좋은 검색 엔진은 어디에 있나요?
Ask HN: Where are the good search engines for mathematical formulas?
저는 수학 공식을 검색할 수 있는 좋은 검색 엔진을 찾고 있습니다. 지금까지 approach0.xyz는 오프라인 상태이고, onmath.com은 F = ma를 검색하면 p = mv 같은 관련 없는 결과를 제공하며, search.mathweb.org는 버려진 프로젝트와 오프라인 사이트 모음입니다. 다른 대안이 있나요?
특별한 순서 없이: https://matlas.ai, https://www.mathdeck.org, https://portal.mardi4nfdi.de/wiki/Portal, https://www.theoremsearch.com/search, https://ansumandas441.github.io/mathematical-discovery-engine/graph_viewer_3d.html