Certification d'une segmentation d'image modélisée par hypercartes colorées
Segmentation de l'hypercarte en 2 phases (le résultat est correct).
Illustration du théorème de Desargues
Construction de solutions
Traduction géométrique d’une solution trouvée algébriquement.
Construction de solutions
Construction directe.
❮
❯
Spécifications et preuves
×
Spécifications et preuves
Spécifications et preuves
Illustration 3D du théorème de Desargues dans un espace projectif de dimension 3 : les cotés correspondants de 2 tétraèdres en perspective l'un de l'autre se coupent en 6 points coplanaires (ces six points forment un quadrilatère complet).
×
Spécifications et preuves
Illustration 3D du théorème de Desargues dans un espace projectif de dimension 3 : les cotés correspondants de 2 tétraèdres en perspective l'un de l'autre se coupent en 6 points coplanaires (ces six points forment un quadrilatère complet).
Spécifications et preuves
×
Spécifications et preuves
Spécifications et preuves
×
Spécifications et preuves
Spécifications et preuves
×
Spécifications et preuves
Spécifications et preuves
×
Spécifications et preuves
Spécifications et preuves
×
Spécifications et preuves
Certification d'une segmentation d'image modélisée par hypercartes colorées
Une subdivision du plan colorée (avec un sommet isolé et des arêtes pendantes) et sa segmentation.
×
Certification d'une segmentation d'image modélisée par hypercartes colorées
Une subdivision du plan colorée (avec un sommet isolé et des arêtes pendantes) et sa segmentation.
Certification d'une segmentation d'image modélisée par hypercartes colorées
Modélisation de la subdivision précédente par une quasi-hypercarte (sommets ou arêtes ouverts).
×
Certification d'une segmentation d'image modélisée par hypercartes colorées
Modélisation de la subdivision précédente par une quasi-hypercarte (sommets ou arêtes ouverts).
Certification d'une segmentation d'image modélisée par hypercartes colorées
Modélisation de la subdivision précédente par une hypercarte (sommets et arêtes fermés).
×
Certification d'une segmentation d'image modélisée par hypercartes colorées
Modélisation de la subdivision précédente par une hypercarte (sommets et arêtes fermés).
Certification d'une segmentation d'image modélisée par hypercartes colorées
Segmentation de la quasi-hypercarte en 2 phases (des défauts subsistent).
×
Certification d'une segmentation d'image modélisée par hypercartes colorées
Segmentation de la quasi-hypercarte en 2 phases (des défauts subsistent).
Certification d'une segmentation d'image modélisée par hypercartes colorées
Segmentation de l'hypercarte en 2 phases (le résultat est correct).
×
Certification d'une segmentation d'image modélisée par hypercartes colorées
Segmentation de l'hypercarte en 2 phases (le résultat est correct).
Illustration du théorème de Desargues
×
Illustration du théorème de Desargues
Construction de solutions
Traduction géométrique d’une solution trouvée algébriquement.
×
Construction de solutions
Traduction géométrique d’une solution trouvée algébriquement.