En mathématiques, les nombres cardinaux, ou simplement cardinaux, généralisent les nombres entiers naturels pour pouvoir « compter » les éléments d'un ensemble, même infini. On parle du cardinal d'un ...
En topologie, un homéomorphisme est un isomorphisme entre deux espaces topologiques : c'est une bijection continue de l'un dans l'autre, dont la réciproque est continue. Dans ce cas, les deux espaces ...
Abstract: We prove normalization for (univalent, Cartesian) cubical type theory, closing the last major open problem in the syntactic metatheory of cubical type theory. Our normalization result is ...
Abstract: Computing spherical parameterizations for genus-zero closed surfaces is a fundamental task for geometric processing and computer graphics. Existing methods usually suffer from a lack of ...
Cette image d'artiste montre deux trous noirs supermassifs dans la galaxie possédant le quasar nommé OJ 287. Le plus petit trou noir tourne autour du plus grand ...
For more than thirty years the senior author has been trying to learn algebraic geometry. In the process he discovered that many of the classic textbooks in algebraic geometry require substantial ...
A textbook suitable for undergraduate courses. The materials are presented very explicitly so that students will find it very easy to read. A wide range of examples, about 500 combinatorial problems ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback