On the public citation graph
The Four-Color Problem and Its Philosophical Significance
0 signed · 305 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 points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/0-306-47201-5_6openalex-snapshot
Learning to Listen: A Student’s Understanding of Powers of Ten
inferred← citeshttps://doi.org/10.1007/0-387-29831-2_4openalex-snapshot
The Informal Logic of Mathematical Proof
inferred← citeshttps://doi.org/10.1007/1-4020-5034-8_8openalex-snapshot
The Informal Logic Of Mathematical Proof
inferred← citeshttps://doi.org/10.1007/978-0-8176-8268-2_7openalex-snapshot
Highlights in the Practice of Proof: 1600 BC–2009
inferred← citeshttps://doi.org/10.1007/978-1-4419-8726-6_9openalex-snapshot
Living with a New Mathematical Species
inferred← citeshttps://doi.org/10.1007/978-1-4939-3264-1_11openalex-snapshot
Some Further Turning Points
inferred← citeshttps://doi.org/10.1007/978-3-030-01337-0_10openalex-snapshot
Beyond the Isolation of Mathematics
inferred← citeshttps://doi.org/10.1007/978-3-030-19071-2_113-1openalex-snapshot
The Role of Experiments in Experimental Mathematics
inferred← citeshttps://doi.org/10.1007/978-3-030-19071-2_12-1openalex-snapshot
Argumentation in Mathematical Practice
inferred← citeshttps://doi.org/10.1007/978-3-030-19071-2_121-1openalex-snapshot
Experimental Mathematics in Mathematical Practice
inferred← citeshttps://doi.org/10.1007/978-3-030-19071-2_124-1openalex-snapshot
Proof in the History and Philosophy of Mathematical Practice: An Introduction
inferred← citeshttps://doi.org/10.1007/978-3-030-19071-2_38-1openalex-snapshot
Revisiting ‘The New 4CT Problem’
inferred← citeshttps://doi.org/10.1007/978-3-030-64187-0_7openalex-snapshot
The Significance of Relativistic Computation for the Philosophy of Mathematics
inferred← citeshttps://doi.org/10.1007/978-3-030-75267-5_3openalex-snapshot
On the Conciliation of Traditional and Computer-Assisted Proofs
inferred← citeshttps://doi.org/10.1007/978-3-031-10141-0_3openalex-snapshot
The Mathematical Competencies Framework and Digital Technologies
inferred← citeshttps://doi.org/10.1007/978-3-031-38647-3_7openalex-snapshot
Implications of the Instruments View of Computer Simulation
inferred← citeshttps://doi.org/10.1007/978-3-031-40846-5_113openalex-snapshot
The Role of Experiments in Experimental Mathematics
inferred← citeshttps://doi.org/10.1007/978-3-031-40846-5_12openalex-snapshot
Argumentation in Mathematical Practice
inferred← citeshttps://doi.org/10.1007/978-3-031-40846-5_121openalex-snapshot
Experimental Mathematics in Mathematical Practice
inferred← citeshttps://doi.org/10.1007/978-3-031-40846-5_124openalex-snapshot
Proof in the History and Philosophy of Mathematical Practice: An Introduction
inferred← citeshttps://doi.org/10.1007/978-3-031-40846-5_38openalex-snapshot
Revisiting “The New 4CT Problem”
inferred← citeshttps://doi.org/10.1007/978-3-031-58683-5_2openalex-snapshot
Mathematics Is Indefinite: An Ethical Challenge
inferred← citeshttps://doi.org/10.1007/978-3-031-71375-0_8openalex-snapshot
Mathematics as Mathematicians’ Practice
inferred← citeshttps://doi.org/10.1007/978-3-032-03083-2_1openalex-snapshot
In Which Ways Is Machine Learning Opaque?
inferred← citeshttps://doi.org/10.1007/978-3-032-03083-2_3openalex-snapshot
Epistemic Opacity and Scientific Realism and Anti-Realism
inferred← citeshttps://doi.org/10.1007/978-3-319-03452-2_1openalex-snapshot
On Non-literal Approaches
inferred← citeshttps://doi.org/10.1007/978-3-319-03452-2_10openalex-snapshot
Aesthetic Judgement II: Functions
inferred← citeshttps://doi.org/10.1007/978-3-319-03452-2_11openalex-snapshot
Mathematical Aesthetic Judgements
inferred← citeshttps://doi.org/10.1007/978-3-319-03452-2_13openalex-snapshot
Case Analysis II: Elegance
inferred← citeshttps://doi.org/10.1007/978-3-319-03452-2_14openalex-snapshot
Case Analysis III: Ugliness, Revisited
inferred← citeshttps://doi.org/10.1007/978-3-319-03452-2_15openalex-snapshot
Issues of Mathematical Beauty, Revisited
inferred← citeshttps://doi.org/10.1007/978-3-319-03452-2_4openalex-snapshot
Problems of the Aesthetic Induction
inferred← citeshttps://doi.org/10.1007/978-3-319-03452-2_5openalex-snapshot
Naturalizing the Aesthetic Induction
inferred← citeshttps://doi.org/10.1007/978-3-319-03452-2_6openalex-snapshot
Introduction to a Naturalistic Aesthetic Theory
inferred← citeshttps://doi.org/10.1007/978-3-319-03452-2_9openalex-snapshot
Aesthetic Judgement I: Concept
inferred← citeshttps://doi.org/10.1007/978-3-319-10434-8openalex-snapshot
From logic to practice : Italian studies in the philosophy of mathematics
inferred← citeshttps://doi.org/10.1007/978-3-319-28582-5_15openalex-snapshot
An Empirical Approach to the Mathematical Values of Problem Choice and Argumentation
inferred← citeshttps://doi.org/10.1007/978-3-319-28582-5_9openalex-snapshot
“The End of Proof”? The Integration of Different Mathematical Cultures as Experimental Mathematics Comes of Age
inferred← citeshttps://doi.org/10.1007/978-3-319-55762-5_6openalex-snapshot
Understanding Social Science Simulations: Distinguishing Two Categories of Simulations
inferred← citeshttps://doi.org/10.1007/978-3-319-67398-1_17openalex-snapshot
Proofs Versus Experiments: Wittgensteinian Themes Surrounding the Four-Color Theorem
inferred← citeshttps://doi.org/10.1007/978-3-319-93254-5_2openalex-snapshot
An Archetype Theory of Puzzles
inferred← citeshttps://doi.org/10.1007/978-3-319-93254-5_4openalex-snapshot
Puzzles and Spatial Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-540-27812-2_2openalex-snapshot
Mathematical Proofs at a Crossroad?
inferred← citeshttps://doi.org/10.1007/978-3-658-01164-2_3openalex-snapshot
Simulation in den Sozialwissenschaften
inferred← citeshttps://doi.org/10.1007/978-88-470-0784-0_4openalex-snapshot
Experimental Methods in Proofs
inferred← citeshttps://doi.org/10.1007/978-88-470-0784-0_5openalex-snapshot
Proofs Verifying Programs and Programs Producing Proofs: A Conceptual Analysis
inferred← citeshttps://doi.org/10.1007/978-94-007-6534-4_18openalex-snapshot
The Parallel Structure of Mathematical Reasoning
inferred← citeshttps://doi.org/10.1007/978-94-009-0305-0_2openalex-snapshot
Empirical Methods in Mathematics
inferred← citeshttps://doi.org/10.1007/978-94-009-1465-0_22openalex-snapshot
Critical Issues in the Distance Teaching of Mathematics and Mathematics Education
inferred← citeshttps://doi.org/10.1007/978-94-009-1465-0_24openalex-snapshot
Popularization: Myths, Massmedia and Modernism
inferred← citeshttps://doi.org/10.1007/978-94-009-4552-4_11openalex-snapshot
Frege, Dedekind, and the Philosophy of Mathematics
inferred← citeshttps://doi.org/10.1007/978-94-010-0973-7_8openalex-snapshot
Program Verification: The Very Idea
inferred← citeshttps://doi.org/10.1007/978-94-011-1793-7_15openalex-snapshot
Program Verification: The Very Idea
inferred← citeshttps://doi.org/10.1007/978-94-011-1793-7_6openalex-snapshot
First Steps Towards Inferential Programming
inferred← citeshttps://doi.org/10.1007/978-94-017-1978-0_8openalex-snapshot
The Growth of Knowledge in Mathematics
inferred← citeshttps://doi.org/10.1007/978-981-96-4745-3_3openalex-snapshot
Computer-Based Proofs of Four Color Conjecture
inferred← citeshttps://doi.org/10.1007/bf00567740openalex-snapshot
Modernizing the philosophy of mathematics
inferred← citeshttps://doi.org/10.1007/bf00571076openalex-snapshot
A critique of the selection of ?Mathematical objects? as a central metaphor for advanced mathematical thinking
inferred← citeshttps://doi.org/10.1007/bf01086177openalex-snapshot
Graph theory (algorithmic, algebraic, and metric problems)
inferred← citeshttps://doi.org/10.1007/bf01801483openalex-snapshot
The own character of mathematics discussed with consideration of the proof of the four-color theorem
inferred← citeshttps://doi.org/10.1007/bf03026833openalex-snapshot
Living with a new mathematical species
inferred← citeshttps://doi.org/10.1007/s00224-019-09929-9openalex-snapshot
Additive Number Theory via Automata Theory
inferred← citeshttps://doi.org/10.1007/s00283-010-9141-zopenalex-snapshot
Deus ex Machina and the Aesthetics of Proof
inferred← citeshttps://doi.org/10.1007/s00283-012-9325-9openalex-snapshot
Ugly Mathematics: Why Do Mathematicians Dislike Computer-Assisted Proofs?
inferred← citeshttps://doi.org/10.1007/s10516-019-09449-8openalex-snapshot
The Weak Objectivity of Mathematics and Its Reasonable Effectiveness in Science
inferred← citeshttps://doi.org/10.1007/s10516-022-09626-2openalex-snapshot
Proof, Semiotics, and the Computer: On the Relevance and Limitation of Thought Experiment in Mathematics
inferred← citeshttps://doi.org/10.1007/s10516-023-09662-6openalex-snapshot
On Giving Meanings to Programs
inferred← citeshttps://doi.org/10.1007/s10516-023-09691-1openalex-snapshot
Recalcitrant Disagreement in Mathematics: An “Endless and Depressing Controversy” in the History of Italian Algebraic Geometry
inferred← citeshttps://doi.org/10.1007/s10614-018-9810-0openalex-snapshot
Proofs and Predictions in Human Problem Solving
inferred← citeshttps://doi.org/10.1007/s10649-013-9466-6openalex-snapshot
Epistemic schemes and epistemic states. A study of mathematics convincement in elementary school classes
inferred← citeshttps://doi.org/10.1007/s10649-016-9740-5openalex-snapshot
Values and norms of proof for mathematicians and students
inferred← citeshttps://doi.org/10.1007/s10649-023-10227-yopenalex-snapshot
Norms of mathematical definitions: imposing constraints, permitting choice, or both?
inferred← citeshttps://doi.org/10.1007/s10699-008-9156-5openalex-snapshot
Towards a Theory of Mathematical Argument
inferred← citeshttps://doi.org/10.1007/s10699-019-09603-wopenalex-snapshot
Cognitive Artifacts for Geometric Reasoning
inferred← citeshttps://doi.org/10.1007/s10699-021-09812-2openalex-snapshot
Computer Simulations as Scientific Instruments
inferred← citeshttps://doi.org/10.1007/s10838-016-9354-8openalex-snapshot
What is a Computer Simulation? A Review of a Passionate Debate
inferred← citeshttps://doi.org/10.1007/s11023-007-9063-5openalex-snapshot
Computers, Justification, and Mathematical Knowledge
inferred← citeshttps://doi.org/10.1007/s11023-011-9237-zopenalex-snapshot
Program Verification and Functioning of Operative Computing Revisited: How about Mathematics Engineering?
inferred← citeshttps://doi.org/10.1007/s11023-018-9487-0openalex-snapshot
Epistemic Entitlements and the Practice of Computer Simulation
inferred← citeshttps://doi.org/10.1007/s11225-010-9280-4openalex-snapshot
Informal Proofs and Mathematical Rigour
inferred← citeshttps://doi.org/10.1007/s11229-011-0035-1openalex-snapshot
Experimental mathematics, computers and the a priori
inferred← citeshttps://doi.org/10.1007/s11229-014-0482-6openalex-snapshot
About the warrants of computer-based empirical knowledge
inferred← citeshttps://doi.org/10.1007/s11229-021-03305-2openalex-snapshot
Opacity thought through: on the intransparency of computer simulations
inferred← citeshttps://doi.org/10.1007/s11229-023-04475-xopenalex-snapshot
What is an experiment in mathematical practice? New evidence from mining the Mathematical Reviews
inferred← citeshttps://doi.org/10.1007/s11406-022-00584-yopenalex-snapshot
Ideal Conceivers, the Nature of Modality and the Response-Dependent Account of Modal Concepts
inferred← citeshttps://doi.org/10.1007/s12136-009-0084-yopenalex-snapshot
A Note on the Relation Between Formal and Informal Proof
inferred← citeshttps://doi.org/10.1007/s12626-016-0065-8openalex-snapshot
Designing an Interactive Visualization to Explore Eye-movement Data
inferred← citeshttps://doi.org/10.1007/s13194-012-0049-7openalex-snapshot
How can computer simulations produce new knowledge?
inferred← citeshttps://doi.org/10.1007/s13194-024-00569-6openalex-snapshot
Theorem proving in artificial neural networks: new frontiers in mathematical AI
inferred← citeshttps://doi.org/10.1007/s13194-025-00668-yopenalex-snapshot
Digging deeper with deep learning? Explanatory understanding and deep neural networks
inferred← citeshttps://doi.org/10.1007/s13347-019-00348-9openalex-snapshot
Technology and Mathematics
inferred← citeshttps://doi.org/10.1007/s13347-025-01011-2openalex-snapshot
The Epistemology of Algorithmic Narrative and the Problem of Creative Authenticity
inferred← citeshttps://doi.org/10.1007/s40753-020-00125-6openalex-snapshot
Mathematics in the Digital Age: The Case of Simulation-Based Proofs
inferred← citeshttps://doi.org/10.1007/s40753-023-00219-xopenalex-snapshot
Enacting Culturally Relevant Pedagogy when “Mathematics Has No Color”: Epistemological Contradictions
inferred← citeshttps://doi.org/10.1007/s42113-026-00271-1openalex-snapshot
Illusions of Understanding in the Sciences
inferred← citeshttps://doi.org/10.1007/s43681-025-00660-5openalex-snapshot
The need for ethical guidelines in mathematical research in the time of generative AI
inferred← citeshttps://doi.org/10.1016/0039-3681(93)90026-gopenalex-snapshot
Kuhnian issues, scientific revolutions and the history of mathematics
inferred← citeshttps://doi.org/10.1016/b978-0-12-802218-4.00004-2openalex-snapshot
Epistemic States of Convincement. A Conceptualization from the Practice of Mathematicians and Neurobiology
inferred← citeshttps://doi.org/10.1016/j.artint.2015.03.004openalex-snapshot
Computer-aided proof of Erdős discrepancy properties
inferred← citeshttps://doi.org/10.1016/j.chbah.2026.100386openalex-snapshot
Mathematical anxiety in the age of AI: Opacity, role inversion, and the changing place of the mathematician
inferred← citeshttps://doi.org/10.1016/j.cognition.2022.105120openalex-snapshot
Epistemic phase transitions in mathematical proofs
inferred← citeshttps://doi.org/10.1016/j.jal.2008.09.006openalex-snapshot
The Philosophy of Computer Science
inferred← citeshttps://doi.org/10.1017/epi.2021.26openalex-snapshot
Group Knowledge and Mathematical Collaboration: A Philosophical Examination of the Classification of Finite Simple Groups
inferred← citeshttps://doi.org/10.1017/psa.2025.10160openalex-snapshot
A Priori Knowledge in an Era of Computational Opacity: The Role of Artificial Intelligence in Mathematical Discovery
inferred← citeshttps://doi.org/10.1017/s0269889700000880openalex-snapshot
Linearity and Reflexivity in the Growth of Mathematical Knowledge
inferred← citeshttps://doi.org/10.1017/s0269889700002659openalex-snapshot
The Origins of Eternal Truth in Modern Mathematics: Hilbert to Bourbaki and Beyond
inferred← citeshttps://doi.org/10.1017/s1079898600003383openalex-snapshot
2004 Summer Meeting of the Association for Symbolic Logic
inferred← citeshttps://doi.org/10.1023/a:1005090106634openalex-snapshot
Gödel and the Concept of Meaning in Mathematics
inferred← citeshttps://doi.org/10.1023/a:1010621314372openalex-snapshot
Mathematical Explanation: Problems and Prospects
inferred← citeshttps://doi.org/10.1023/a:1014876214057openalex-snapshot
Does Epistemological Holism Lead to Meaning-Holism?
inferred← citeshttps://doi.org/10.1023/a:1021117705089openalex-snapshot
Pinto, Robert C. (2001) Argument, Inference and Dialectic
inferred← citeshttps://doi.org/10.1023/a:1025651502936openalex-snapshot
Statistical Mechanics for Secondary School: The GasLab Multi-agent Modeling Toolkit
inferred← citeshttps://doi.org/10.1057/9780230245198_7openalex-snapshot
Mathematical Accidents and the End of Explanation
inferred← citeshttps://doi.org/10.1080/00029890.1996.12004772openalex-snapshot
Mathematical Proof and the Reliability of DNA Evidence
inferred← citeshttps://doi.org/10.1080/0025570x.1980.11976844openalex-snapshot
Computers, Proofs and Mathematicians: A Philosophical Investigation of the Four-Color Proof
inferred← citeshttps://doi.org/10.1080/0025570x.1991.11977625openalex-snapshot
Rigor and Proof in Mathematics: A Historical Perspective
inferred← citeshttps://doi.org/10.1080/0025570x.1993.11996124openalex-snapshot
Coloring Ordinary Maps, Maps of Empires, and Maps of the Moon
inferred← citeshttps://doi.org/10.1080/00455091.1988.10717165openalex-snapshot
Necessity, Certainty, and the A Priori
inferred← citeshttps://doi.org/10.1080/00494925.1981.11972509openalex-snapshot
Computer Use to Computer Proof: A Rational Reconstruction
inferred← citeshttps://doi.org/10.1080/0269859031000160568openalex-snapshot
Formal systems as physical objects: A physicalist account of mathematical truth
inferred← citeshttps://doi.org/10.1080/02698595.2012.748497openalex-snapshot
Why Monte Carlo Simulations Are Inferences and Not Experiments
inferred← citeshttps://doi.org/10.1080/02698595.2016.1265862openalex-snapshot
Computers as a Source of A Posteriori Knowledge in Mathematics
inferred← citeshttps://doi.org/10.1080/03054980701565006openalex-snapshot
Conceptual learning in higher education: some philosophical points
inferred← citeshttps://doi.org/10.1080/09515089.2013.827961openalex-snapshot
E-Science and the data deluge
inferred← citeshttps://doi.org/10.1080/10705510701303848openalex-snapshot
Philosophical Foundations of Quantitative Research Methodology.
inferred← citeshttps://doi.org/10.1080/1350178x.2015.1004933openalex-snapshot
Simulation, computation and dynamics in economics
inferred← citeshttps://doi.org/10.1080/23306343.2016.1184833openalex-snapshot
Trajectories of research in translation studies: an update with a case study in the neuroscience of translation
inferred← citeshttps://doi.org/10.1086/522359openalex-snapshot
Computing the Perfect Model: Why Do Economists Shun Simulation?
inferred← citeshttps://doi.org/10.1086/734121openalex-snapshot
The Four-Color Theorem and the Aesthetics of Computational Proof
inferred← citeshttps://doi.org/10.1086/psaprocbienmeetp.1984.2.192520openalex-snapshot
Gödel, Wittgenstein and the Nature of Mathematical Knowledge
inferred← citeshttps://doi.org/10.1093/0195035410.001.0001openalex-snapshot
The Nature of Mathematical Knowledge
inferred← citeshttps://doi.org/10.1093/0195035410.003.0002openalex-snapshot
Epistemological Preliminaries
inferred← citeshttps://doi.org/10.1093/0195035410.003.0006openalex-snapshot
Toward a Defensible Empiricism
inferred← citeshttps://doi.org/10.1093/0195035410.003.0008openalex-snapshot
Mathematical Change and Scientific Change
inferred← citeshttps://doi.org/10.1093/0195035410.003.0010openalex-snapshot
Patterns of Mathematical Change
inferred← citeshttps://doi.org/10.1093/0195035410.003.0011openalex-snapshot
The Development of Analysis: A Case Study
inferred← citeshttps://doi.org/10.1093/0195148770.001.0001openalex-snapshot
The Oxford Handbook of Philosophy of Mathematics and Logic
inferred← citeshttps://doi.org/10.1093/0198235518.003.0003openalex-snapshot
Objections and Clarifications
inferred← citeshttps://doi.org/10.1093/0198235518.003.0004openalex-snapshot
Testimony, Observation, and the Reductive Approach
inferred← citeshttps://doi.org/10.1093/0198235518.003.0011openalex-snapshot
The Disappearance of History
inferred← citeshttps://doi.org/10.1093/0198235518.003.0013openalex-snapshot
Collingwood and Historical Testimony
inferred← citeshttps://doi.org/10.1093/0198235518.003.0014openalex-snapshot
Mathematical Knowledge and Reliable Authority
inferred← citeshttps://doi.org/10.1093/0198235518.003.0015openalex-snapshot
The Witness of Psychology
inferred← citeshttps://doi.org/10.1093/0198250142.001.0001openalex-snapshot
Mathematics as a Science of Patterns
showing the first 200 of 305 · page through all 305
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.