https://cluster-site.onrender.com/tags/mathematical/ Recent content in Mathematical on Tenu Tech Brief Hugo -- 0.146.0 en-us Tue, 24 Feb 2026 06:05:16 +0000 https://cluster-site.onrender.com/posts/ontology-guided-neuro-symbolic-inference-grounding-language-models-with-mathematical-domain-knowledge/ Mon, 23 Feb 2026 05:00:00 +0000 https://cluster-site.onrender.com/posts/ontology-guided-neuro-symbolic-inference-grounding-language-models-with-mathematical-domain-knowledge/ • Computer Science > Artificial Intelligence [Submitted on 19 Feb 2026] Title:Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge https://cluster-site.onrender.com/posts/why-some-tunes-stick-mathematical-symmetry-helps-explain-catchy-melodies/ Thu, 19 Feb 2026 10:36:20 +0000 https://cluster-site.onrender.com/posts/why-some-tunes-stick-mathematical-symmetry-helps-explain-catchy-melodies/ • Why do some melodies feel instantly right, balanced, memorable and satisfying, even if you have never heard them before? • New research from the University of Waterloo suggests t https://cluster-site.onrender.com/posts/the-equational-theories-project-advancing-collaborative-mathematical-research-at-scale/ Tue, 09 Dec 2025 17:13:55 +0000 https://cluster-site.onrender.com/posts/the-equational-theories-project-advancing-collaborative-mathematical-research-at-scale/ • Matthew Bolan, Joachim Breitner, Jose Brox, Nicholas Carlini, Mario Carneiro, Floris van Doorn, Martin Dvorak, Andrés Goens, Aaron Hill, Harald Husum, Hernán Ibarra Mejia, Zoltan