Use APKPure App
Get MathWebSearch old version APK for Android
Look up latex formulas with optional text.
The MathWebSearch system (MWS) is a content-based search engine for mathematical formulae. It indexes MathML formulae, using a technique derived from automated theorem proving: Substitution Tree Indexing. MWS performs mathematical full-text search, combining key phrase search with unification-based formula search.
Enter a comma-separated list of key phrases into the top search bar and a set of formulae schemata (written in LaTeX with ?a, ?b, ... for query variables). A formula schema in a query matches any formula in the MWS index that has an instance schema as a subformula. Query variables with the same name must be instantiated with the same formula, see the examples for inspiration.
Last updated on Aug 12, 2016
Fix connection issues.
द्वारा डाली गई
Antonio Freire Scomparin
Android ज़रूरी है
Android 4.3+
श्रेणी
रिपोर्ट
MathWebSearch
1.3 by Raduh Studio
Aug 12, 2016