MathWebSearch icône

1.3 by Raduh Studio


Aug 12, 2016

À propos de MathWebSearch

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.

Quoi de neuf dans la dernière version 1.3

Last updated on Aug 12, 2016

Fix connection issues.

Chargement de la traduction...

Informations Application supplémentaires

Dernière version

Demande MathWebSearch mise à jour 1.3

Telechargé par

Antonio Freire Scomparin

Nécessite Android

Android 4.3+

Voir plus

MathWebSearch Captures d'écran

Charegement du commentaire...
Recherche en cours...
Abonnez-vous à APKPure
Soyez le premier à avoir accès à la sortie précoce, aux nouvelles et aux guides des meilleurs jeux et applications Android.
Non merci
S'inscrire
Abonné avec succès!
Vous êtes maintenant souscrit à APKPure.
Abonnez-vous à APKPure
Soyez le premier à avoir accès à la sortie précoce, aux nouvelles et aux guides des meilleurs jeux et applications Android.
Non merci
S'inscrire
Succès!
Vous êtes maintenant souscrit à notre newsletter.