All Questions

Good day! I am looking for any tool that would allow me to generate a figure similar to the figures embedded in the paper by King et al. (2020) titled "Trigonometry: a brief conversation." ...

Does anyone know searching engine for arxiv.org math formulas? Like https://www.searchonmath.com and https://approach0.xyz/search/ In my opinion, we should have a search engine that can find formulas ...

Given a proof for a result, one could denote the proof as a node on a graph, and then draw arrows to the node from axioms and previous results that the proof uses, and then draw arrows from the node ...

Many types of equations are being used in multiple contexts, so a search for specific formulas might be one way to identify scholarly papers that are conceptually related. Is any website or tool ...