On the public citation graph

Theorems for a price: tomorrow’s semi-rigorous mathematical culture

https://doi.org/10.1007/bf03024696
0 signed · 95 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/bfb0079468openalex-snapshot
Problèmes combinatoires de commutation et réarrangements
inferredcites →https://doi.org/10.1016/0012-365x(90)90120-7openalex-snapshot
A fast algorithm for proving terminating hypergeometric identities
inferredcites →https://doi.org/10.1016/0097-3165(90)90014-nopenalex-snapshot
A very short proof of Dixon's theorem
inferredcites →https://doi.org/10.1016/0097-3165(90)90038-xopenalex-snapshot
A purely verification proof of the first Rogers-Ramanujan identity
inferredcites →https://doi.org/10.1016/0097-3165(94)90048-5openalex-snapshot
Plane partitions V: The TSSCPP conjecture
inferredcites →https://doi.org/10.1016/0377-0427(90)90042-xopenalex-snapshot
A holonomic systems approach to special functions identities
inferredcites →https://doi.org/10.1016/0377-0427(93)90317-5openalex-snapshot
On Zeilberger's algorithm and its q-analogue
inferredcites →https://doi.org/10.1016/0732-3123(94)90044-2openalex-snapshot
The role of open-ended problems in mathematics education
inferredcites →https://doi.org/10.1016/j.disc.2006.03.023openalex-snapshot
A proof of Andrews’ q-Dyson conjecture
inferredcites →https://doi.org/10.1016/s0747-7171(08)80044-2openalex-snapshot
The method of creative telescoping
inferredcites →https://doi.org/10.1016/s0747-7171(08)80159-9openalex-snapshot
The method of differentiating under the integral sign
inferredcites →https://doi.org/10.1017/s0013091500033642openalex-snapshot
On Vandermonde's Theorem, and some more general Expansions
inferredcites →https://doi.org/10.1038/scientificamerican1093-92openalex-snapshot
The Death of Proof
inferredcites →https://doi.org/10.1080/00029890.1979.11994901openalex-snapshot
The Gödel Incompleteness Theorem from a Length-of-Proof Perspective
inferredcites →https://doi.org/10.1080/00029890.1983.11971233openalex-snapshot
Short Theorems with Long Proofs
inferredcites →https://doi.org/10.1090/s0273-0979-1993-00413-0openalex-snapshot
“Theoretical mathematics”: toward a cultural synthesis of mathematics and theoretical physics
inferredcites →https://doi.org/10.1090/s0894-0347-1990-1007910-7openalex-snapshot
Rational Functions Certify Combinatorial Identities
inferredcites →https://doi.org/10.1112/jlms/s1-4.1.4openalex-snapshot
A New Proof of the Rogers-Ramanujan Identities
inferredcites →https://doi.org/10.1137/1016058openalex-snapshot
The Rogers–Ramanujan Identities
inferredcites →https://doi.org/10.1137/1023012openalex-snapshot
The Rogers–Ramanujan Identities (G. E. Andrews)
inferredcites →https://doi.org/10.2307/2322023openalex-snapshot
The Godel Incompleteness Theorem from a Length-of-Proof Perspective
inferredcites →https://doi.org/10.2307/2324461openalex-snapshot
A Short Proof of Jacobi's Formula for the Number of Representations of an Integer as a Sum of Four Squares
inferredcites →https://doi.org/10.2307/2324715openalex-snapshot
Pi, Euler Numbers, and Asymptotic Expansions

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1006/aama.2000.0714openalex-snapshot
Three-Rowed CHOMP
inferred← citeshttps://doi.org/10.1007/0-387-28815-5_3openalex-snapshot
The Classical Special Functions
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_10openalex-snapshot
Proof: A Many-Splendored Thing
inferred← citeshttps://doi.org/10.1007/978-1-4614-1129-1_1openalex-snapshot
The Kepler Conjecture and Its Proof
inferred← citeshttps://doi.org/10.1007/978-1-84628-959-0openalex-snapshot
Variable-length Codes for Data Compression
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_121-1openalex-snapshot
Experimental Mathematics in Mathematical Practice
inferred← citeshttps://doi.org/10.1007/978-3-030-19071-2_84-2openalex-snapshot
Bayesian Perspectives on Mathematical Practice
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_121openalex-snapshot
Experimental Mathematics in Mathematical Practice
inferred← citeshttps://doi.org/10.1007/978-3-319-00966-7_4openalex-snapshot
Towards a Symbolic Computational Philosophy (and Methodology!) for Mathematics
inferred← citeshttps://doi.org/10.1007/978-3-319-09039-9_3openalex-snapshot
Some Reflections on Mathematics and Its Relation to Computer Science
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-94-007-3934-5_8526-2openalex-snapshot
Mathematics Communicating Across Culture and Time
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-007-6534-4_2openalex-snapshot
Non-deductive Logic in Mathematics: The Probability of Conjectures
inferred← citeshttps://doi.org/10.1007/978-94-007-7747-7_8526openalex-snapshot
Mathematics Communicating Across Culture and Time
inferred← citeshttps://doi.org/10.1007/978-94-011-4301-1_1openalex-snapshot
Communicating Mathematics Across Culture and Time
inferred← citeshttps://doi.org/10.1007/bf02680423openalex-snapshot
Roadkill on the electronic highway? The threat to the mathematical literature
inferred← citeshttps://doi.org/10.1007/bf03026747openalex-snapshot
The “indexed” theorem
inferred← citeshttps://doi.org/10.1007/bf03026860openalex-snapshot
A Treatise on the Binomial Theorem
inferred← citeshttps://doi.org/10.1007/bf03338846openalex-snapshot
The Ongoing Value of Proof
inferred← citeshttps://doi.org/10.1007/s00026-007-0316-zopenalex-snapshot
The Holonomic Ansatz I. Foundations and Applications to Lattice Path Counting
inferred← citeshttps://doi.org/10.1007/s00026-007-0317-yopenalex-snapshot
The Holonomic Ansatz II. Automatic Discovery(!) And Proof(!!) of Holonomic Determinant Evaluations
inferred← citeshttps://doi.org/10.1007/s00283-008-9015-9openalex-snapshot
Mathematics Is Not a Game But...
inferred← citeshttps://doi.org/10.1007/s10649-011-9335-0openalex-snapshot
From visual reasoning to logical necessity through argumentative design
inferred← citeshttps://doi.org/10.1007/s10670-008-9102-5openalex-snapshot
Pi on Earth, or Mathematics in the Real World
inferred← citeshttps://doi.org/10.1007/s10670-024-00803-wopenalex-snapshot
Critical Math Kinds: A Framework for the Philosophy of Alternative Mathematics
inferred← citeshttps://doi.org/10.1007/s11786-017-0299-zopenalex-snapshot
A Framework for an ICT-Based Study of Parametric Integrals
inferred← citeshttps://doi.org/10.1016/0898-1221(96)00127-7openalex-snapshot
Topological invariants, mulitvalued maps and computer assisted proofs in dynamics
inferred← citeshttps://doi.org/10.1016/b978-0-444-51555-1.50007-9openalex-snapshot
ARISTOTELIAN REALISM
inferred← citeshttps://doi.org/10.1016/s0012-365x(98)00133-2openalex-snapshot
Pfaff's method (I): The Mills-Robbins-Rumsey determinant
inferred← citeshttps://doi.org/10.1016/s0039-3681(96)00024-6openalex-snapshot
On mathematical error
inferred← citeshttps://doi.org/10.1016/s0196-8858(02)00508-0openalex-snapshot
Computerized deconstruction
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00078-0openalex-snapshot
A manifesto for the computational method
inferred← citeshttps://doi.org/10.1016/s0898-1221(97)00289-7openalex-snapshot
Homology computation by reduction of chain complexes
inferred← citeshttps://doi.org/10.1016/s0965-9978(97)00032-xopenalex-snapshot
A numerical replacement of computer algebra methods for the derivation of polynomial equations in mechanics
inferred← citeshttps://doi.org/10.1017/9781009325110openalex-snapshot
Mathematical Rigour and Informal Proof
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.1073/pnas.2420725122openalex-snapshot
The bunkbed conjecture is false
inferred← citeshttps://doi.org/10.1080/00029890.1997.11990646openalex-snapshot
Many Correct Digits of π, Revisited
inferred← citeshttps://doi.org/10.1080/00048402.2023.2233540openalex-snapshot
Why Is Proof the Only Way to Acquire Mathematical Knowledge?
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/10236198.2023.2284829openalex-snapshot
Experimenting with discrete dynamical systems
inferred← citeshttps://doi.org/10.1080/10236199808808143openalex-snapshot
Curing the andrews syndrome
inferred← citeshttps://doi.org/10.1090/bull/1823openalex-snapshot
Proofs for a price: Tomorrow’s ultra-rigorous mathematical culture
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780198722229.001.0001openalex-snapshot
Rigor and Structure
inferred← citeshttps://doi.org/10.1093/bjps/51.2.255openalex-snapshot
The Reliability of Randomized Algorithms
inferred← citeshttps://doi.org/10.1093/mind/fzv140openalex-snapshot
What’s the Point of Complete Rigour?
inferred← citeshttps://doi.org/10.1093/philmat/nkm023openalex-snapshot
A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
inferred← citeshttps://doi.org/10.1134/s1064562423700643openalex-snapshot
The Skies Are Falling: Mathematics for Non-Mathematicians
inferred← citeshttps://doi.org/10.1142/9789812770837_0018openalex-snapshot
Proving and Programming
inferred← citeshttps://doi.org/10.1145/568438.568460openalex-snapshot
Can a computer proof be elegant?
inferred← citeshttps://doi.org/10.1353/con.2004.0018openalex-snapshot
Stylizing Rigor: or, Why Mathematicians Write So Well
inferred← citeshttps://doi.org/10.1387/ekaia.11124openalex-snapshot
Matematika esperimentalaren adibide bat: Lauki sareko patroi bitarren kopuruaren kalkulua
inferred← citeshttps://doi.org/10.14232/phd.1421openalex-snapshot
Számítógéppel segített felfedeztetés-központú matematikaoktatás
inferred← citeshttps://doi.org/10.1515/9783110322583.157openalex-snapshot
Probabilistic Proofs and the Collective Epistemic Goals of Mathematicians
inferred← citeshttps://doi.org/10.1515/zfsoz-2000-0501openalex-snapshot
„In der Mathematik ist ein Streit mit Sicherheit zu entscheiden“ Perspektiven einer Soziologie der Mathematik
inferred← citeshttps://doi.org/10.31857/s2686954323340015openalex-snapshot
THE SKIES ARE FALLING: MATHEMATICS FOR NON-MATHEMATICIANS
inferred← citeshttps://doi.org/10.32603/2071-2340-2020-2-5-26openalex-snapshot
Компьютер как новая реальность математики. I. Personal account
inferred← citeshttps://doi.org/10.32603/2071-2340-2021-4-5-71openalex-snapshot
Компьютер как новая реальность математики: IV. Проблема Гольдбаха
inferred← citeshttps://doi.org/10.32628/ijsrst25126327openalex-snapshot
A History of the Mathematics during the Scientific Revolution
inferred← citeshttps://doi.org/10.37236/1190openalex-snapshot
Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type
inferred← citeshttps://doi.org/10.37236/1279openalex-snapshot
Pfaff's Method (III): Comparison With the WZ Method
inferred← citeshttps://doi.org/10.4171/em/189openalex-snapshot
A pretty binomial identity
inferred← citeshttps://doi.org/10.4171/owr/2010/12openalex-snapshot
Experimental mathematics in the 1990s: A second loss of certainty?
inferred← citeshttps://doi.org/10.48550/arxiv.1708.09032openalex-snapshot
Plausibility and probability in deductive reasoning
inferred← citeshttps://doi.org/10.48550/arxiv.2307.04704openalex-snapshot
Argumentation in Mathematical Practice
inferred← citeshttps://doi.org/10.5860/choice.187505openalex-snapshot
An Aristotelian realist philosophy of mathematics: mathematics as the science of quantity and structure
inferred← citeshttps://doi.org/10.64898/2026.02.16.706223openalex-snapshot
Differential analysis of genomics count data with edge*
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.