How Two Profile Inequalities Force Diagonal Growth
A local shape condition and a growth rule can combine into a global diagonal bound. Here the profile P(a,b) obeys discrete concavity in b: 2P(a,b) ≥ P(a,b+1) + P(a,b−1).
#discretemath #concavity #matrixmultiplication #complexitytheory
A local shape condition and a growth rule can combine into a global diagonal bound. Here the profile P(a,b) obeys discrete concavity in b: 2P(a,b) ≥ P(a,b+1) + P(a,b−1).
#discretemath #concavity #matrixmultiplication #complexitytheory
November 3, 2026 at 2:02 AM
How Two Profile Inequalities Force Diagonal Growth
A local shape condition and a growth rule can combine into a global diagonal bound. Here the profile P(a,b) obeys discrete concavity in b: 2P(a,b) ≥ P(a,b+1) + P(a,b−1).
#discretemath #concavity #matrixmultiplication #complexitytheory
A local shape condition and a growth rule can combine into a global diagonal bound. Here the profile P(a,b) obeys discrete concavity in b: 2P(a,b) ≥ P(a,b+1) + P(a,b−1).
#discretemath #concavity #matrixmultiplication #complexitytheory
Problem 2: THE LIGHTHOUSE RING.
A lighthouse, n harbor towns in a ring, 2n cables.
Keep exactly n so everything stays connected with no loops.
How many ways? Find the closed form.
Hint 1 is live.
Solution 1 tomorrow.
#QEDEventually #GraphTheory #DiscreteMath #LinearAlgebra #MathPuzzle
A lighthouse, n harbor towns in a ring, 2n cables.
Keep exactly n so everything stays connected with no loops.
How many ways? Find the closed form.
Hint 1 is live.
Solution 1 tomorrow.
#QEDEventually #GraphTheory #DiscreteMath #LinearAlgebra #MathPuzzle
November 3, 2026 at 3:12 PM
Problem 2: THE LIGHTHOUSE RING.
A lighthouse, n harbor towns in a ring, 2n cables.
Keep exactly n so everything stays connected with no loops.
How many ways? Find the closed form.
Hint 1 is live.
Solution 1 tomorrow.
#QEDEventually #GraphTheory #DiscreteMath #LinearAlgebra #MathPuzzle
A lighthouse, n harbor towns in a ring, 2n cables.
Keep exactly n so everything stays connected with no loops.
How many ways? Find the closed form.
Hint 1 is live.
Solution 1 tomorrow.
#QEDEventually #GraphTheory #DiscreteMath #LinearAlgebra #MathPuzzle
People's enjoyment of graduate #DiscreteMath is directly proportional to the number of whips and chains they own.
November 22, 2024 at 5:22 PM
People's enjoyment of graduate #DiscreteMath is directly proportional to the number of whips and chains they own.
So my research area in math is combinatorics, and my name is Drake...so how on earth did I not discover "Discrete Mathematics With Ducks" by sarah-marie belcastro until just now??! 🤔🦆
http://www.toroidalsnark.net/dmwd.html
I need that book.
#math #books #discretemath #combinatorics #ducks
http://www.toroidalsnark.net/dmwd.html
I need that book.
#math #books #discretemath #combinatorics #ducks
Discrete Mathematics with Ducks
Discrete Mathematics with Ducks
www.toroidalsnark.net
July 3, 2025 at 7:20 PM
So my research area in math is combinatorics, and my name is Drake...so how on earth did I not discover "Discrete Mathematics With Ducks" by sarah-marie belcastro until just now??! 🤔🦆
http://www.toroidalsnark.net/dmwd.html
I need that book.
#math #books #discretemath #combinatorics #ducks
http://www.toroidalsnark.net/dmwd.html
I need that book.
#math #books #discretemath #combinatorics #ducks
Researchers define discrete scalar curvature as a weighted sum of Ollivier‑Ricci curvatures, proving convergence to scalar curvature on nearest‑neighbor graphs from smooth manifolds. https://getnews.me/weighted-ollivier-ricci-sum-defines-discrete-scalar-curvature/ #graphcurvature #discretemath
October 8, 2025 at 5:54 AM
Researchers define discrete scalar curvature as a weighted sum of Ollivier‑Ricci curvatures, proving convergence to scalar curvature on nearest‑neighbor graphs from smooth manifolds. https://getnews.me/weighted-ollivier-ricci-sum-defines-discrete-scalar-curvature/ #graphcurvature #discretemath
April 27, 2026 at 9:26 PM
Mastering Discrete Mathematics - From Theory to Real World Engineering Applications leanpub.com/discretemath... by Kalyan Chakravarthy Kodela is the featured book on the Leanpub homepage! leanpub.com #DataStructures #books #ebooks #mathematics #engineering
March 26, 2025 at 9:31 PM
Mastering Discrete Mathematics - From Theory to Real World Engineering Applications leanpub.com/discretemath... by Kalyan Chakravarthy Kodela is the featured book on the Leanpub homepage! leanpub.com #DataStructures #books #ebooks #mathematics #engineering
📚 Have you checked out the COMAP Bookstore yet? So many #mathmodeling products, plus the newly released 5th edition of our #discretemath textbook!
👉 Learn more here: https://buff.ly/42odwSN
#Math #MathTeacher #MathBooks
👉 Learn more here: https://buff.ly/42odwSN
#Math #MathTeacher #MathBooks
January 23, 2025 at 3:20 PM
📚 Have you checked out the COMAP Bookstore yet? So many #mathmodeling products, plus the newly released 5th edition of our #discretemath textbook!
👉 Learn more here: https://buff.ly/42odwSN
#Math #MathTeacher #MathBooks
👉 Learn more here: https://buff.ly/42odwSN
#Math #MathTeacher #MathBooks
Discussion on HN about an open-source Discrete Math book. Commenters debated its suitability for different levels, compared it to other texts, and discussed the nature of discrete math vs calculus. #DiscreteMath 1/5
June 11, 2025 at 5:00 AM
Discussion on HN about an open-source Discrete Math book. Commenters debated its suitability for different levels, compared it to other texts, and discussed the nature of discrete math vs calculus. #DiscreteMath 1/5
#introduction of my silly self by
My Current Hashtags Of Interests:
* #math #discretemath #categorytheory
* #clavichord #piano #Microtonal
* #literatur #poetry #tootfic
* #language #linguistics #日本語 #lojban
* #museums #renaissance #modernart
* #science
* #transgender #transrights #nonbinary
* […]
My Current Hashtags Of Interests:
* #math #discretemath #categorytheory
* #clavichord #piano #Microtonal
* #literatur #poetry #tootfic
* #language #linguistics #日本語 #lojban
* #museums #renaissance #modernart
* #science
* #transgender #transrights #nonbinary
* […]
Original post on mastodon.online
mastodon.online
August 13, 2025 at 7:08 PM
#introduction of my silly self by
My Current Hashtags Of Interests:
* #math #discretemath #categorytheory
* #clavichord #piano #Microtonal
* #literatur #poetry #tootfic
* #language #linguistics #日本語 #lojban
* #museums #renaissance #modernart
* #science
* #transgender #transrights #nonbinary
* […]
My Current Hashtags Of Interests:
* #math #discretemath #categorytheory
* #clavichord #piano #Microtonal
* #literatur #poetry #tootfic
* #language #linguistics #日本語 #lojban
* #museums #renaissance #modernart
* #science
* #transgender #transrights #nonbinary
* […]
Our proffesor asked us to solve some #discretemath problems with #python and I did wrote a cool truth table generator with other stuff and I'm proud of the thruth table generator because it has no dependencies
github.com/amirmehp/Dis...
github.com/amirmehp/Dis...
GitHub - amirmehp/Discrete-Math: Discrete Math Problems our Professor told us to solve
Discrete Math Problems our Professor told us to solve - amirmehp/Discrete-Math
github.com
September 2, 2025 at 9:16 AM
Our proffesor asked us to solve some #discretemath problems with #python and I did wrote a cool truth table generator with other stuff and I'm proud of the thruth table generator because it has no dependencies
github.com/amirmehp/Dis...
github.com/amirmehp/Dis...
Just saw this post on LinkedIn about a new #DiscreteMath game on the #LeanLang Game Server. The author, Shrey Vivek, won a "Best Poster" award at the SPMS Odyssey Research Symposium. 🎉
The Discrete Math game: adam.math.hhu.de#/g/shreyvive...
The LinkedIn post: www.linkedin.com/posts/shrey-...
The Discrete Math game: adam.math.hhu.de#/g/shreyvive...
The LinkedIn post: www.linkedin.com/posts/shrey-...
Lean Game Server
You need to enable JavaScript to use the Lean Game Server, as it is built using React.
adam.math.hhu.de
August 6, 2025 at 5:51 PM
Just saw this post on LinkedIn about a new #DiscreteMath game on the #LeanLang Game Server. The author, Shrey Vivek, won a "Best Poster" award at the SPMS Odyssey Research Symposium. 🎉
The Discrete Math game: adam.math.hhu.de#/g/shreyvive...
The LinkedIn post: www.linkedin.com/posts/shrey-...
The Discrete Math game: adam.math.hhu.de#/g/shreyvive...
The LinkedIn post: www.linkedin.com/posts/shrey-...
I am tired of being propositioned in my #DiscreteMath class. It is not the case that I am a piece of meat. #PropositionalLogic
November 14, 2024 at 11:10 AM
I am tired of being propositioned in my #DiscreteMath class. It is not the case that I am a piece of meat. #PropositionalLogic
#DiscreteMath II final tomorrow. The whole summer has been about #counting -- more difficult than you'd think. I think I'll do fine.
November 14, 2024 at 10:40 AM
#DiscreteMath II final tomorrow. The whole summer has been about #counting -- more difficult than you'd think. I think I'll do fine.
#DiscreteMath final complete. Seeing that I needed a 66% to get an A in the course, I think I'm sitting pretty. Learned a lot this summer.
November 14, 2024 at 10:40 AM
#DiscreteMath final complete. Seeing that I needed a 66% to get an A in the course, I think I'm sitting pretty. Learned a lot this summer.
Duon step:
Dᵢ μ Dⱼ = (τ₁,τ₂,μ,τ₄,τ₅)
Active pivots:
a₁=τ₁, a₂=τ₂, a₃=τ₄, a₄=τ₅.
μ remains the ternary fibre over the four active pivots.
#DiscreteMath #GraphTheory
Dᵢ μ Dⱼ = (τ₁,τ₂,μ,τ₄,τ₅)
Active pivots:
a₁=τ₁, a₂=τ₂, a₃=τ₄, a₄=τ₅.
μ remains the ternary fibre over the four active pivots.
#DiscreteMath #GraphTheory
June 4, 2026 at 11:18 PM
Duon step:
Dᵢ μ Dⱼ = (τ₁,τ₂,μ,τ₄,τ₅)
Active pivots:
a₁=τ₁, a₂=τ₂, a₃=τ₄, a₄=τ₅.
μ remains the ternary fibre over the four active pivots.
#DiscreteMath #GraphTheory
Dᵢ μ Dⱼ = (τ₁,τ₂,μ,τ₄,τ₅)
Active pivots:
a₁=τ₁, a₂=τ₂, a₃=τ₄, a₄=τ₅.
μ remains the ternary fibre over the four active pivots.
#DiscreteMath #GraphTheory
AF order:
N≡∞Δ
C(I):=(I=I)
I₀:=N
Iᵣ₊₁:=C(Iᵣ)
Declared presentation → induced trace.
The retained cut gives:
(x⁻, μ, x⁺)
τ ∈ {−1,0,+1}
#AOD #DiscreteMath #FoundationsOfPhysics
N≡∞Δ
C(I):=(I=I)
I₀:=N
Iᵣ₊₁:=C(Iᵣ)
Declared presentation → induced trace.
The retained cut gives:
(x⁻, μ, x⁺)
τ ∈ {−1,0,+1}
#AOD #DiscreteMath #FoundationsOfPhysics
June 4, 2026 at 11:17 PM
AF order:
N≡∞Δ
C(I):=(I=I)
I₀:=N
Iᵣ₊₁:=C(Iᵣ)
Declared presentation → induced trace.
The retained cut gives:
(x⁻, μ, x⁺)
τ ∈ {−1,0,+1}
#AOD #DiscreteMath #FoundationsOfPhysics
N≡∞Δ
C(I):=(I=I)
I₀:=N
Iᵣ₊₁:=C(Iᵣ)
Declared presentation → induced trace.
The retained cut gives:
(x⁻, μ, x⁺)
τ ∈ {−1,0,+1}
#AOD #DiscreteMath #FoundationsOfPhysics
It's been a couple years since I used Edgy (Berkeley SNAP
snap.berkeley.edu with JSNetworkX snapapps.github.io/edgy/).
It certainly is a "SNAP" to import a CSV file and start having some block based coding fun.
#mathsky #graph #graphtheory #combinatorics #discretemath
snap.berkeley.edu with JSNetworkX snapapps.github.io/edgy/).
It certainly is a "SNAP" to import a CSV file and start having some block based coding fun.
#mathsky #graph #graphtheory #combinatorics #discretemath
November 13, 2024 at 7:31 PM
It's been a couple years since I used Edgy (Berkeley SNAP
snap.berkeley.edu with JSNetworkX snapapps.github.io/edgy/).
It certainly is a "SNAP" to import a CSV file and start having some block based coding fun.
#mathsky #graph #graphtheory #combinatorics #discretemath
snap.berkeley.edu with JSNetworkX snapapps.github.io/edgy/).
It certainly is a "SNAP" to import a CSV file and start having some block based coding fun.
#mathsky #graph #graphtheory #combinatorics #discretemath
Basic #education about #logic is needed for many. Every journalist and every voter should understand #ModusPonens and #ModusTollens: #DiscreteMath
March 23, 2025 at 12:26 PM
Basic #education about #logic is needed for many. Every journalist and every voter should understand #ModusPonens and #ModusTollens: #DiscreteMath
Basic #education about #logic is needed for many. Every journalist and every voter should understand #ModusPonens and #ModusTollens #DiscreteMath
March 23, 2025 at 10:27 AM
Basic #education about #logic is needed for many. Every journalist and every voter should understand #ModusPonens and #ModusTollens #DiscreteMath
Basic #education about #logic is needed for many. Every journalist and every voter should understand #ModusPonens and #ModusTollens #DiscreteMath
March 23, 2025 at 8:23 AM
Basic #education about #logic is needed for many. Every journalist and every voter should understand #ModusPonens and #ModusTollens #DiscreteMath