Connected Theorems: A Graph-Based Approach to Evaluating Mathematical Results
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Bérczi, Gergely, Dong, Bin, Ju, Haocheng, Xu, Tianyi |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
AI for Mathematics: Progress, Challenges, and Prospects
par: Ju, Haocheng, et autres
Publié: (2026)
par: Ju, Haocheng, et autres
Publié: (2026)
Eigenvalues in microeconomics
par: Golub, Benjamin
Publié: (2025)
par: Golub, Benjamin
Publié: (2025)
Teaching "Foundations of Mathematics" with the Lean Theorem Prover
par: Bottoni, Mattia Luciano, et autres
Publié: (2025)
par: Bottoni, Mattia Luciano, et autres
Publié: (2025)
Using GXWeb for Theorem Proving and Mathematical Modelling
par: Todd, Philip, et autres
Publié: (2024)
par: Todd, Philip, et autres
Publié: (2024)
Supplementary Private Tutoring and Mathematical Achievements in Higher Education: An Empirical Study on Linear Algebra
par: Lin, Xuefei, et autres
Publié: (2024)
par: Lin, Xuefei, et autres
Publié: (2024)
Bridging Classical and Modern Approaches to Thales' Theorem
par: Błaszczyk, Piotr, et autres
Publié: (2025)
par: Błaszczyk, Piotr, et autres
Publié: (2025)
Multiple Forms of Knowing in Mathematics: A Scoping Literature Study
par: Xu, Hongzhang, et autres
Publié: (2024)
par: Xu, Hongzhang, et autres
Publié: (2024)
Cantor's Powerset Theorem, Graph-Theoretically
par: Salehi, Saeed
Publié: (2026)
par: Salehi, Saeed
Publié: (2026)
The Folding Mathematics
par: Morye, Archana S.
Publié: (2025)
par: Morye, Archana S.
Publié: (2025)
Stamps and Mathematics
par: Ivanova, Nataliya M.
Publié: (2024)
par: Ivanova, Nataliya M.
Publié: (2024)
Teaching Mathematics for Economists
par: Hillebrand, Eric
Publié: (2025)
par: Hillebrand, Eric
Publié: (2025)
Fifty Years of Excellence: The Summer School of Mathematical Physics of the National Group of Mathematical Physics
par: Ruggeri, Tommaso, et autres
Publié: (2025)
par: Ruggeri, Tommaso, et autres
Publié: (2025)
An Episode in The Old Mathematical Intelligencer
par: Lamm, Christoph
Publié: (2025)
par: Lamm, Christoph
Publié: (2025)
Fraudulent Publishing in the Mathematical Sciences
par: Agricola, Ilka, et autres
Publié: (2025)
par: Agricola, Ilka, et autres
Publié: (2025)
Mathematics in art, for art and as art
par: Esteban, Maria J.
Publié: (2025)
par: Esteban, Maria J.
Publié: (2025)
AlephZero and Mathematical Experience
par: DeDeo, Simon
Publié: (2023)
par: DeDeo, Simon
Publié: (2023)
A review of Alfred North Whitehead's "Introduction to Mathematics"
par: Hales, Thomas
Publié: (2024)
par: Hales, Thomas
Publié: (2024)
A Mathematical Model of The Effects of Strike On Nigerian Universities
par: Isere, Abednego Orobosa
Publié: (2024)
par: Isere, Abednego Orobosa
Publié: (2024)
A Brief Review of Fixed Points, Hex Game and Hex Theorem
par: Yang, Cho
Publié: (2025)
par: Yang, Cho
Publié: (2025)
Indigenous Mathematics I. Smoke Telegraphy
par: Ball, Rowena
Publié: (2025)
par: Ball, Rowena
Publié: (2025)
The Nature of Reasoning in Theology, Philosophy, and Mathematics
par: Mangum, Chad R.
Publié: (2025)
par: Mangum, Chad R.
Publié: (2025)
Approximating Mathematical Constants using Minecraft
par: Lynch, Molly, et autres
Publié: (2024)
par: Lynch, Molly, et autres
Publié: (2024)
Elements of the Theory of Probability and Mathematical Statistics
par: Chinarova, Lidiia L., et autres
Publié: (2024)
par: Chinarova, Lidiia L., et autres
Publié: (2024)
Mathematics -- an imagined tool for rational cognition
par: Čulina, Boris
Publié: (2023)
par: Čulina, Boris
Publié: (2023)
From Concrete to Abstract in Indian Mathematics
par: Dasgupta, Jaidev
Publié: (2024)
par: Dasgupta, Jaidev
Publié: (2024)
A life in Mathematical Analysis: a conversation with Luigi Rodino
par: Nicola, Fabio
Publié: (2025)
par: Nicola, Fabio
Publié: (2025)
Collaborative Preferences for Learning Mathematics: A Scale Validation Study
par: Kim, Sang Hyun, et autres
Publié: (2025)
par: Kim, Sang Hyun, et autres
Publié: (2025)
Mathematics A Missing Factor in Assessing the Antiquity of Vedanga Jyotisa
par: Dasgupta, Jaidev
Publié: (2025)
par: Dasgupta, Jaidev
Publié: (2025)
Ranks of Checkered Pattern Matrices with Applications to Information Embedding and Retrieving
par: Hirose, Hideo
Publié: (2025)
par: Hirose, Hideo
Publié: (2025)
The EM Algorithm in Information Geometry
par: Suliman, Sammy
Publié: (2024)
par: Suliman, Sammy
Publié: (2024)
Are University Budget Cuts Becoming A Threat to Mathematics? with Additional Discussion
par: Fuller, Edgar J.
Publié: (2024)
par: Fuller, Edgar J.
Publié: (2024)
Mathematics education research must be useful for the classroom
par: Essien, Anthony A., et autres
Publié: (2025)
par: Essien, Anthony A., et autres
Publié: (2025)
Student Explanation Strategies in Postsecondary Mathematics and Statistics Education: A Scoping Review
par: Gao, Huixin, et autres
Publié: (2025)
par: Gao, Huixin, et autres
Publié: (2025)
Report on the 63rd Annual International Mathematical Olympiad
par: Bajnok, Béla
Publié: (2025)
par: Bajnok, Béla
Publié: (2025)
Mean Value Theorems and L'Hospital-Type Rules for Regulated Functions
par: Ghatasheh, Ahmed
Publié: (2023)
par: Ghatasheh, Ahmed
Publié: (2023)
Didactic analysis of the modality of study of the real numbers in the Degree in Mathematics
par: Espín, José Ginés, et autres
Publié: (2025)
par: Espín, José Ginés, et autres
Publié: (2025)
Synthetic Fluency and Epistemic Offloading in Undergraduate Mathematics in the Age of AI
par: Wang, Siyuan, et autres
Publié: (2025)
par: Wang, Siyuan, et autres
Publié: (2025)
Waterproof: Educational Software for Learning How to Write Mathematical Proofs
par: Wemmenhove, Jelle, et autres
Publié: (2022)
par: Wemmenhove, Jelle, et autres
Publié: (2022)
Calculus for the Modern Engineer: Putting the Joy Back in Learning Advanced Mathematics
par: Grizzle, Jessy
Publié: (2025)
par: Grizzle, Jessy
Publié: (2025)
Andr{é} and Simone Weil: Mathematics, social activism and Indian culture
par: Papadopoulos, Athanase, et autres
Publié: (2025)
par: Papadopoulos, Athanase, et autres
Publié: (2025)
Documents similaires
-
AI for Mathematics: Progress, Challenges, and Prospects
par: Ju, Haocheng, et autres
Publié: (2026) -
Eigenvalues in microeconomics
par: Golub, Benjamin
Publié: (2025) -
Teaching "Foundations of Mathematics" with the Lean Theorem Prover
par: Bottoni, Mattia Luciano, et autres
Publié: (2025) -
Using GXWeb for Theorem Proving and Mathematical Modelling
par: Todd, Philip, et autres
Publié: (2024) -
Supplementary Private Tutoring and Mathematical Achievements in Higher Education: An Empirical Study on Linear Algebra
par: Lin, Xuefei, et autres
Publié: (2024)