On the public citation graph
A Content Based Mathematical Search Engine: Whelp
0 signed · 52 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-36469-2openalex-snapshot
Mathematical Knowledge Management
inferredcites →https://doi.org/10.1007/3-540-36469-2_10openalex-snapshot
Information Retrieval in MML
inferredcites →https://doi.org/10.1007/3-540-36469-2_3openalex-snapshot
From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls
inferredcites →https://doi.org/10.1007/3-540-44557-9_8openalex-snapshot
Information Retrieval in a Coq Proof Library Using Type Isomorphisms
inferredcites →https://doi.org/10.1007/978-1-4612-2572-0openalex-snapshot
Isomorphisms of Types: from λ-calculus to information retrieval and language design
inferredcites →https://doi.org/10.1007/978-3-540-27818-4_2openalex-snapshot
Efficient Retrieval of Mathematical Statements
inferredcites →https://doi.org/10.1007/978-3-540-27818-4_25openalex-snapshot
Efficient Ambiguous Parsing of Mathematical Formulae
inferredcites →https://doi.org/10.1007/978-3-540-27818-4_4openalex-snapshot
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles
inferredcites →https://doi.org/10.1007/978-3-540-27818-4_5openalex-snapshot
Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics
inferredcites →https://doi.org/10.1007/978-3-540-27818-4_7openalex-snapshot
C-CoRN, the Constructive Coq Repository at Nijmegen
inferredcites →https://doi.org/10.1007/978-3-540-27818-4_8openalex-snapshot
Classifying Differential Equations on the Web
inferredcites →https://doi.org/10.1007/978-3-540-45155-6_2openalex-snapshot
MOWGLI – An Approach to Machine-Understandable Representation of the Mathematical Information in Digital Documents
inferredcites →https://doi.org/10.1007/bf00245458openalex-snapshot
Experiments with discrimination-tree indexing and path indexing for term retrieval
inferredcites →https://doi.org/10.1023/a:1022907629104openalex-snapshot
Mathematical Knowledge Management in HELM
inferredcites →https://doi.org/10.1023/b:jars.0000029963.64213.acopenalex-snapshot
Fast Term Indexing with Coded Context Trees
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11618027_21openalex-snapshot
An Interactive Algebra Course with Formalised Proofs and Definitions
inferred← citeshttps://doi.org/10.1007/11832225_33openalex-snapshot
Methods to Access and Retrieve Mathematical Content in ActiveMath
inferred← citeshttps://doi.org/10.1007/978-3-030-23250-4_17openalex-snapshot
A Plugin to Export Coq Libraries to XML
inferred← citeshttps://doi.org/10.1007/978-3-030-23250-4_5openalex-snapshot
Relational Data Across Mathematical Libraries
inferred← citeshttps://doi.org/10.1007/978-3-032-07021-0_15openalex-snapshot
Indexing and Retrieval in a Heterogeneous Formal Library
inferred← citeshttps://doi.org/10.1007/978-3-032-07021-0_5openalex-snapshot
Exploring Formal Math on the Blockchain: An Explorer for Proofgold
inferred← citeshttps://doi.org/10.1007/978-3-319-20615-8_20openalex-snapshot
A Survey on Retrieval of Mathematical Knowledge
inferred← citeshttps://doi.org/10.1007/978-3-319-62075-6_7openalex-snapshot
Classification of Alignments Between Concepts of Formal Mathematical Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-73086-6_19openalex-snapshot
Cooperative Repositories for Formal Proofs A Wiki-Based Solution
inferred← citeshttps://doi.org/10.1007/978-3-540-73086-6_27openalex-snapshot
An Approach to Mathematical Search Through Query Formulation and Data Normalization
inferred← citeshttps://doi.org/10.1007/978-3-540-74464-1_2openalex-snapshot
Crafting a Proof Assistant
inferred← citeshttps://doi.org/10.1007/978-3-642-22438-6_7openalex-snapshot
The Matita Interactive Theorem Prover
inferred← citeshttps://doi.org/10.1007/s10032-011-0174-4openalex-snapshot
Recognition and retrieval of mathematical expressions
inferred← citeshttps://doi.org/10.1007/s10817-007-9070-5openalex-snapshot
User Interaction with the Matita Proof Assistant
inferred← citeshttps://doi.org/10.1007/s10817-009-9138-5openalex-snapshot
Crystal: Integrating Structured Queries into a Tactic Language
inferred← citeshttps://doi.org/10.1007/s10817-021-09604-0openalex-snapshot
Experiences from Exporting Major Proof Assistant Libraries
inferred← citeshttps://doi.org/10.1007/s11786-014-0173-1openalex-snapshot
Recycling Proof Patterns in Coq: Case Studies
inferred← citeshttps://doi.org/10.1007/s11786-016-0274-0openalex-snapshot
A Survey on Retrieval of Mathematical Knowledge
inferred← citeshttps://doi.org/10.1007/s12046-009-0001-5openalex-snapshot
Proof assistants: History, ideas and future
inferred← citeshttps://doi.org/10.1016/b978-0-444-51624-4.50004-6openalex-snapshot
History of Interactive Theorem Proving
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.12.098openalex-snapshot
A User Interface for a Mathematical System that Allows Ambiguous Formulae
inferred← citeshttps://doi.org/10.1016/j.eswa.2011.11.085openalex-snapshot
A lattice-based approach for mathematical search using Formal Concept Analysis
inferred← citeshttps://doi.org/10.1109/cse.2011.52openalex-snapshot
MQL: A Mathematical Formula Query Language for Mathematical Search
inferred← citeshttps://doi.org/10.1109/iccsnt.2013.6967179openalex-snapshot
An indexing method of mathematical expression retrieval
inferred← citeshttps://doi.org/10.1109/icdim.2014.6991403openalex-snapshot
Exploiting textual descriptions and dependency graph for searching mathematical expressions in scientific papers
inferred← citeshttps://doi.org/10.1109/snpd.2016.7515885openalex-snapshot
Functional classification study for mathematical formulas retrieval
inferred← citeshttps://doi.org/10.1145/2396761.2396854openalex-snapshot
A math-aware search engine for math question answering system
inferred← citeshttps://doi.org/10.1561/2500000045openalex-snapshot
QED at Large: A Survey of Engineering of Formally Verified Software
inferred← citeshttps://doi.org/10.22028/d291-26394openalex-snapshot
Assertion level proof planning with compiled strategies
inferred← citeshttps://doi.org/10.32657/10356/47471openalex-snapshot
Semantic-based retrieval for mathematical knowledge
inferred← citeshttps://doi.org/10.4204/eptcs.118.2openalex-snapshot
Machine Learning in Proof General: Interfacing Interfaces
inferred← citeshttps://doi.org/10.5446/21268openalex-snapshot
Extending Full Text Search Engine for Mathematical Content
inferred← citeshttps://doi.org/10.5753/sbbd.2018.22245openalex-snapshot
A Distributed System for SearchOnMath Based on the Microsoft BizSpark Program
inferred← citeshttps://doi.org/10.58088/hmer-tk72openalex-snapshot
A novel similarity-search method for mathematical content in LaTeX markup and its implementation
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.