Cyclic Proofs for iGL via Corecursion
arxiv.org·2d
🧩Algorithms
Flag this post
Array Programming the Mandelbrot Set
🧩Algorithms
Flag this post
Even Numbers Are Tautologies
🧮Math
Flag this post
r/mathematics
🧮Math
Flag this post
Multi-Method Analysis of Mathematics Placement Assessments: Classical, Machine Learning, and Clustering Approaches
arxiv.org·7h
🧩Algorithms
Flag this post
Unlocking Simplicity: Skeletonizing Boolean Networks for Enhanced Performance by Arvind Sundararajan
🧩Algorithms
Flag this post
Dynamical Complexity of Non-Gaussian Many-Body Systems with Dissipation
journals.aps.org·11h
🧩Algorithms
Flag this post
Making Sense of Word Problems
kgmathminds.com·20h
🧮Math
Flag this post
Inquiries-Week 5: Triangles Emerge
fractalkitty.com·1d
🧩Algorithms
Flag this post
Book Review: ‘The Great Math War,’ by Jason Socrates Bardi
nytimes.com·1d
🧮Math
Flag this post
Discrete Fourier Transform: Introduction (2020)
🧮Math
Flag this post
Marden's Theorem
🧮Math
Flag this post
MathCanvas: Intrinsic Visual Chain-of-Thought for Multimodal MathematicalReasoning
📝Note Taking
Flag this post
A Guide to My Organizational Workflow
⏰Time Management
Flag this post
A QOJ week
🧩Algorithms
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·1d
💻Programming
Flag this post
Circular Sorting
anuragbishnoi.wordpress.com·2d
🧩Algorithms
Flag this post
Loading...Loading more...