Régis Auffray continue son travail de fond sur la langue gallèse. L’enseignant creuse ici un sillon éditorial qui l’anime ...
Abstract: In this letter, a non-orthogonal multiple access system based on combinatorial designs (C-NOMA) is studied. The sparse pattern of balanced incomplete block designs provide an inherent ...
This is a small collection of formally verified junk theorems provable in Lean 4 + Mathlib that, in my experience, are quite surprising and upsetting to mathematicians who are not familiar with type ...
Lots of stuff has been implemented (JSCAD and OpenSCAD output for 3D), and this README.md needs to be updated. The forum threads give information of current development. (Half-)sphere vertices, vertex ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback