mathematical

Explore the beautiful world of Origami and mathematics. Be amazed by stunning photographs, try our folding instructions, or learn about the mathematical background.

Blog of the STRUCTURES Cluster of Excellence. On this blog we show pictures of interesting structures related to our research in the STRUCTURES Cluster, and we give you an idea what they are, how they come about, and…

Intrinsic Uniqueness and Reconstruction Across Mathematical Presentations proves that a collection of complete mathematical presentations which appear to belong to different mathematical settings are not intrinsically…

This paper develops the information-theoretic reconstruction structure of the intrinsic mathematical object Σ established in Intrinsic Uniqueness and Reconstruction Across Mathematical Presentations (Zenodo, Version…

Paradigma releases Limite 1B - Violetto, a 1-billion parameter transformer for high-throughput mathematical reasoning, alongside its evaluations, a training-time value model, and a custom vLLM inference plugin.

Travel through time and explore the greatest mathematicians and biggest mathematical discoveries in history.

The new era of mathematical achievement.

Lean 4 formalization of Intrinsic Uniqueness and Reconstruction Across Mathematical Presentations - mripr-institute/intrinsic-uniqueness-reconstruction

PRIMAL is a high-performance mathematical optimization solver for linear, mixed-integer, quadratic, and conic programming, designed as a modern, open and extensible alternative to proprietary optim...

Recently, Large Language Models (LLMs) have been increasingly able to solve advanced mathematical problems, including many that have been open for decades. This opens the door to expansion of mathematical knowledge at…

C++23 header-only library for computational geometry and physics on arbitrary Riemannian manifolds — spheres, hyperbolic space, and custom surfaces as first-class concepts, not hardcoded types - Va...