On the public citation graph
On algebraic hierarchies in mathematical repository of Mizar
0 signed · 72 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.1006/jsco.2001.0456openalex-snapshot
Commutative Algebra in the Mizar System
inferredcites →https://doi.org/10.1006/jsco.2002.0552openalex-snapshot
A Constructive Algebraic Hierarchy in Coq
inferredcites →https://doi.org/10.1007/11812289_4openalex-snapshot
Interpretation of Locales in Isabelle: Theories and Proof Contexts
inferredcites →https://doi.org/10.1007/978-1-4020-2938-7_1openalex-snapshot
Basic Algebraic Structures
inferredcites →https://doi.org/10.1007/978-1-4757-5579-4_2openalex-snapshot
The Fundamental Theorem of Arithmetic
inferredcites →https://doi.org/10.1007/978-3-030-00632-7_4openalex-snapshot
The Fundamental Theorem of Arithmetic
inferredcites →https://doi.org/10.1007/978-3-319-08434-3_19openalex-snapshot
Realms: A Structure for Consolidating Knowledge about Mathematical Theories
inferredcites →https://doi.org/10.1007/978-3-319-20615-8_17openalex-snapshot
Mizar: State-of-the-art and Beyond
inferredcites →https://doi.org/10.1007/978-3-540-73086-6_20openalex-snapshot
Revisions as an Essential Tool to Maintain Mathematical Repositories
inferredcites →https://doi.org/10.1007/978-3-642-31374-5_14openalex-snapshot
Theory Presentation Combinators
inferredcites →https://doi.org/10.1007/978-3-642-39634-2_14openalex-snapshot
A Machine-Checked Proof of the Odd Order Theorem
inferredcites →https://doi.org/10.1007/s00200-015-0252-9openalex-snapshot
Modelling algebraic structures and morphisms in ACL2
inferredcites →https://doi.org/10.1007/s10817-012-9267-0openalex-snapshot
Methods of Lemma Extraction in Natural Deduction Proofs
inferredcites →https://doi.org/10.1007/s10817-015-9331-7openalex-snapshot
Definitional Expansions in Mizar
inferredcites →https://doi.org/10.1007/s10817-015-9332-6openalex-snapshot
Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver
inferredcites →https://doi.org/10.1007/s10817-015-9333-5openalex-snapshot
Mechanizing Complemented Lattices Within Mizar Type System
inferredcites →https://doi.org/10.1016/s1571-0661(04)80758-8openalex-snapshot
On the Structure of Mizar Types
inferredcites →https://doi.org/10.1023/a:1022924032739openalex-snapshot
Designing Mathematical Libraries Based on Requirements for Theorems
inferredcites →https://doi.org/10.1515/forma-2016-0019openalex-snapshot
Some Algebraic Properties of Polynomial Rings
inferredcites →https://doi.org/10.15439/2015f229openalex-snapshot
Equality in computer proof-assistants
inferredcites →https://doi.org/10.2478/forma-2014-0029openalex-snapshot
The First Isomorphism Theorem and Other Properties of Rings
inferredcites →https://doi.org/10.3233/fi-2014-1129openalex-snapshot
Efficient Rough Set Theory Merging
inferredcites →https://doi.org/10.5860/choice.30-3868openalex-snapshot
AXIOM: the scientific computation system
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-41425-2_3openalex-snapshot
Extending Formal Topology in Mizar by Uniform Spaces
inferred← citeshttps://doi.org/10.1007/978-3-319-67792-7_26openalex-snapshot
Expressing the Notion of a Mathematical Structure in the Formal Language of Mizar
inferred← citeshttps://doi.org/10.1007/978-3-319-72453-9_12openalex-snapshot
Isabelle Formalization of Set Theoretic Structures and Set Comprehensions
inferred← citeshttps://doi.org/10.1007/978-3-319-76168-8_3openalex-snapshot
Extended Floyd-Hoare Logic over Relational Nominative Data
inferred← citeshttps://doi.org/10.1007/s10817-017-9440-6openalex-snapshot
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar
inferred← citeshttps://doi.org/10.1007/s10817-022-09644-0openalex-snapshot
A Formalization of Dedekind Domains and Class Groups of Global Fields
inferred← citeshttps://doi.org/10.1007/s10817-024-09712-7openalex-snapshot
Use and Abuse of Instance Parameters in the Lean Mathematical Library
inferred← citeshttps://doi.org/10.1145/3372885.3373824openalex-snapshot
The lean mathematical library
inferred← citeshttps://doi.org/10.1145/3437992.3439919openalex-snapshot
Formalizing the ring of Witt vectors
inferred← citeshttps://doi.org/10.1515/forma-2017-0018openalex-snapshot
On Roots of Polynomials and Algebraically Closed Fields
inferred← citeshttps://doi.org/10.15439/2017f289openalex-snapshot
Progress in the Independent Certification of Mizar Mathematical Library in Isabelle
inferred← citeshttps://doi.org/10.15439/2017f301openalex-snapshot
Formalization of the Algebra of Nominative Data in Mizar
inferred← citeshttps://doi.org/10.15439/2017f553openalex-snapshot
Topological structures as a tool for formal modelling of rough sets
inferred← citeshttps://doi.org/10.15439/2018f88openalex-snapshot
Representation Matters: An Unexpected Property of Polynomial Rings and its Consequences for Formalizing Abstract Field Theory
inferred← citeshttps://doi.org/10.15439/978-83-922646-0-6openalex-snapshot
Position Papers of the 2017 Federated Conference on Computer Science and Information Systems
inferred← citeshttps://doi.org/10.2478/forma-2018-0022openalex-snapshot
Pythagorean Tuning: Pentatonic and Heptatonic Scale
inferred← citeshttps://doi.org/10.2478/forma-2019-0002openalex-snapshot
Bilinear Operators on Normed Linear Spaces
inferred← citeshttps://doi.org/10.2478/forma-2019-0004openalex-snapshot
Multilinear Operator and Its Basic Properties
inferred← citeshttps://doi.org/10.2478/forma-2019-0010openalex-snapshot
On Roots of Polynomials over F [ X ]/ 〈 p 〉
inferred← citeshttps://doi.org/10.2478/forma-2019-0021openalex-snapshot
On the Intersection of Fields F with F [ X ]
inferred← citeshttps://doi.org/10.2478/forma-2019-0022openalex-snapshot
Field Extensions and Kronecker’s Construction
inferred← citeshttps://doi.org/10.2478/forma-2023-0010openalex-snapshot
Internal Direct Products and the Universal Property of Direct Product Groups
inferred← citeshttps://doi.org/10.2478/forma-2023-0013openalex-snapshot
Embedding Principle for Rings and Abelian Groups
inferred← citeshttps://doi.org/10.2478/forma-2024-0003openalex-snapshot
Separable Polynomials and Separable Extensions
inferred← citeshttps://doi.org/10.2478/forma-2024-0019openalex-snapshot
Some Standard Examples of Vector Spaces
inferred← citeshttps://doi.org/10.2478/forma-2025-0013openalex-snapshot
The Lattice of Intermediate Fields and Other Preliminaries to Galois Theory
inferred← citeshttps://doi.org/10.2478/forma-2025-0014openalex-snapshot
Introduction to Galois Theory
inferred← citeshttps://doi.org/10.2478/forma-2025-0019openalex-snapshot
Characterization of Finite Galois Extensions
inferred← citeshttps://doi.org/10.2478/forma-2026-0001openalex-snapshot
The Galois Connection between IntermediateFields(E,F) and Subgroups of Aut(E,F)
inferred← citeshttps://doi.org/10.2478/forma-2026-0002openalex-snapshot
The Fundamental Theorem of Galois Theory
inferred← citeshttps://doi.org/10.5463/thesis.541openalex-snapshot
Formalizing Fundamental Algebraic Number Theory
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.