Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 30 results in range #1 to #30.

An Approach to Mathematical Search Through Query Formulation and Data Normalization: Label: en
Alternative Aggregates in Mizar: Label: en
Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch: Label: en
Narrative Structure of Mathematical Texts: Label: en
Restoring Natural Language as a Computerised Mathematics Input Method: Label: en
Formal Representation of Mathematics in a Dependently Typed Set Theory: Label: en
The Layers of Logiweb: Label: en
Revisions as an Essential Tool to Maintain Mathematical Repositories: Label: en
Cooperative Repositories for Formal Proofs: Label: en
Using Formal Concept Analysis in Mathematical Discovery: Label: en
Mizar Course in Logic and Set Theory: Label: en
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems: Label: en
A Framework for Interactive Proof: Label: en
Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case: Label: en
First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems: Label: en
The On-Line Encyclopedia of Integer Sequences: Label: en
Rule-Based Simplification in Vector-Product Spaces: Label: en
Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators: Label: en
Certified Computer Algebra on Top of an Interactive Theorem Prover: Label: en
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic: Label: en
Biform Theories in Chiron: Label: en
What Might “Understand a Function” Mean?: Label: en
Towards Constructive Homological Algebra in Type Theory: Label: en
Context Aware Calculation and Deduction: Label: en
Methods of Relevance Ranking and Hit-content Generation in Math Search: Label: en
Spurious Disambiguation Error Detection: Label: en
Towards Mathematical Knowledge Management for Electrical Engineering: Label: en
Extended Formula Normalization for ε-Retrieval and Sharing of Mathematical Knowledge: Label: en
A Rational Reconstruction of a System for Experimental Mathematics: Label: en
Executing in Common Lisp, Proving in ACL2: Label: en