On the public citation graph
Advanced Proof Viewing in ProofTool
0 signed · 41 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/978-3-540-32275-7_32openalex-snapshot
Cut-Elimination: Experiments with CERES
inferredcites →https://doi.org/10.1007/978-3-540-73086-6_15openalex-snapshot
A Framework for Interactive Proof
inferredcites →https://doi.org/10.1007/978-3-642-40537-2_15openalex-snapshot
Understanding Resolution Proofs through Herbrand’s Theorem
inferredcites →https://doi.org/10.1007/s00180-011-0272-2openalex-snapshot
Linked treemap: a 3D treemap-nodelink layout for visualizing hierarchical structures
inferredcites →https://doi.org/10.1007/s00283-010-9141-zopenalex-snapshot
Deus ex Machina and the Aesthetics of Proof
inferredcites →https://doi.org/10.1007/s10817-009-9143-8openalex-snapshot
The TPTP Problem Library and Associated Infrastructure
inferredcites →https://doi.org/10.1016/0097-8493(95)00101-8openalex-snapshot
Fractal representations of Cayley graphs
inferredcites →https://doi.org/10.1016/0925-7721(94)00014-xopenalex-snapshot
Algorithms for drawing graphs: an annotated bibliography
inferredcites →https://doi.org/10.1016/j.entcs.2006.09.025openalex-snapshot
An Interactive Derivation Viewer
inferredcites →https://doi.org/10.1016/j.entcs.2007.01.021openalex-snapshot
A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F
inferredcites →https://doi.org/10.1016/j.tcs.2008.02.043openalex-snapshot
CERES: An analysis of Fürstenberg’s proof of the infinity of primes
inferredcites →https://doi.org/10.1109/dcs.1988.12503openalex-snapshot
Near optimal embedding of binary tree architecture in VLSI
inferredcites →https://doi.org/10.1109/infvis.1997.636718openalex-snapshot
H3: laying out large directed graphs in 3D hyperbolic space
inferredcites →https://doi.org/10.1109/infvis.2000.885091openalex-snapshot
Focus+context display and navigation techniques for enhancing radial, space-filling hierarchy visualizations
inferredcites →https://doi.org/10.1109/infvis.2002.1173151openalex-snapshot
InterRing: an interactive tool for visually navigating and manipulating hierarchical structures
inferredcites →https://doi.org/10.1109/iv.2007.14openalex-snapshot
A Practical Algorithm for Planar Straight-line Grid Drawings of General Trees with Linear Area and Arbitrary Aspect Ratio
inferredcites →https://doi.org/10.1109/mcg.2011.103openalex-snapshot
Treevis.net: A Tree Visualization Reference
inferredcites →https://doi.org/10.1145/102377.115768openalex-snapshot
Tree visualization with tree-maps
inferredcites →https://doi.org/10.1145/223904.223956openalex-snapshot
A focus+context technique based on hyperbolic geometry for visualizing large hierarchies
inferredcites →https://doi.org/10.1371/journal.pbio.1001406openalex-snapshot
OneZoom: A Fractal Explorer for the Tree of Life
inferredcites →https://doi.org/10.4204/eptcs.118.1openalex-snapshot
PROOFTOOL: a GUI for the GAPT Framework
inferredcites →https://doi.org/10.4204/eptcs.118.5openalex-snapshot
Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System
inferredcites →https://doi.org/10.48550/arxiv.1303.4257openalex-snapshot
CERES for First-Order Schemata
inferredcites →https://doi.org/10.7939/r3js9hg90openalex-snapshot
The Aesthetics of Mathematical Proofs
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-02768-1_9openalex-snapshot
Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General
inferred← citeshttps://doi.org/10.1007/978-3-030-34968-4_28openalex-snapshot
Interactive Visualization of Saturation Attempts in Vampire
inferred← citeshttps://doi.org/10.1007/978-3-030-83978-9_6openalex-snapshot
ProofViz: An Interactive Visual Proof Explorer
inferred← citeshttps://doi.org/10.1007/978-3-319-40229-1_20openalex-snapshot
System Description: GAPT 2.0
inferred← citeshttps://doi.org/10.1007/978-3-662-49674-9_37openalex-snapshot
Developing and Debugging Proof Strategies by Tinkering
inferred← citeshttps://doi.org/10.1007/s10009-017-0452-7openalex-snapshot
The Tinker tool for graphical tactic development
inferred← citeshttps://doi.org/10.1007/s10009-017-0459-0openalex-snapshot
Greedy pebbling for proof space compression
inferred← citeshttps://doi.org/10.1109/tase.2017.8285642openalex-snapshot
VMDV: A 3D visualization tool for modeling, demonstration, and verification
inferred← citeshttps://doi.org/10.4204/eptcs.187openalex-snapshot
Proceedings Second International Workshop on Formal Integrated Development Environment
inferred← citeshttps://doi.org/10.4204/eptcs.240.8openalex-snapshot
Proceedings of the Third Workshop on Formal Integrated Development Environment
inferred← citeshttps://doi.org/10.48550/arxiv.2101.07761openalex-snapshot
The Coq Proof Script Visualiser (coq-psv)
inferred← citeshttps://doi.org/10.6092/issn.1972-5787/6298openalex-snapshot
Understanding and maintaining tactics graphically OR how we learned that a diagram can be worth more than 10K LoC
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.