PROPRIÉTÉ INTELLECTUELLE

Bâti sur cinq opérations.

Le groupe modélise, simule, indexe, chiffre et communique l’information spatiale. Vingt-et-un brevets, déposés en trois familles — encodage, indexation en n dimensions, image et chiffrement — sont bâtis sur ce travail. Les documents sont accessibles aux investisseurs sous accord de confidentialité.

Les cinq, et ce qui est détenu sur chacune

Modélisation

Un solide s’écrit comme une expression. Un point est intérieur, frontière ou extérieur. L’arithmétique des formes (Rotgé, Université de Montréal, 1997) est cette écriture. La famille d’encodage (2011), détenue par Parallel Geometry Inc. (Ariadne Geometry), code un espace comme une suite d’entiers qui préserve le voisinage. Un examinateur l’a citée dans le dossier d’un autre déposant.

Simulation

La même expression est évaluée. L’exécution va de l’échelle planétaire à l’échelle moléculaire. La simulation utilise l’encodage : il n’y a pas une seconde géométrie pour l’exécution.

Indexation

Indexation en n dimensions par métacourbes. Chaque cellule reçoit une adresse, la contiguïté est conservée, et les comptages sont exacts. Détenue par SGDL Innovation SA. L’examen international a reconnu la nouveauté et l’activité inventive des revendications. La famille d’encodage est la base de l’index. La taxonomie est exposée avec les cas d’usage.

Chiffrement

Image et chiffrement. La même géométrie rend une image à l’octet près et brouille un signal le long d’une courbe de remplissage. Détenue par SGDL Innovation SA. Citée par l’office des brevets d’un autre pays dans les dossiers de déposants nationaux.

Communication

L’exolangage : les machines décrivent les objets et les contraintes spatiales dans un seul langage, indépendamment de tout modèle particulier. Publié comme charte (2026), et porté depuis MPEG-4 AFX, où les données synthétiques et logiques sont entrées en 2006. Le mécanisme reste breveté.

La théorie est publiée. L’application est protégée. L’indexation, la taxonomie des métacourbes de Gray, est expliquée avec les cas d’usage.

Les normes

Une géométrie, portée là où chaque domaine écrit son interface. La contribution, c’est cette interface : comment décrire, interroger et certifier un solide exact. Le mécanisme breveté reste hors du texte. Aucune contribution n’engage une licence.

OrganismeDepuisCe qui y est porté
ISO/IEC MPEG-4 AFX 2003 Première inclusion dans l’ISO/IEC 14496-16. Données synthétiques et logiques introduites en 2006 (AFX, extension 21).
Alliance for OpenUSD mars 2026 Membre. Participation active aux groupes applicatif et cœur.
Open Geospatial Consortium août 2026 Membre. Un nouveau groupe de travail est en préparation.
Khronos Group 2026-2027 ANARI, interopérable avec OpenUSD.
ISO/ASTM 52915 2026 Membre. Représentations 3D compatibles avec l’arithmétique des formes. Un point de travail est possible.
Un arbre de preuve dessiné comme un réseau en fil de fer, le chemin vérifié en or, un sceau hexagonal dans le coin.

Les publications

  • J.-F. Rotgé, L’arithmétique des formes, thèse, Université de Montréal, 1997
  • SGDL-Scheme, 2000
  • Manuel de référence SGDLscript 1.1, SGDL Systèmes, 2003
  • SGDL — Exolangage, charte, 2026
  • Modèles du monde récursifs primitifs — l’approche Péter–Rotgé, 2026
  • Dépôt SGDL Lean Proofs, 2026 : 1 962 théorèmes de noyau (arithmétique des formes), vérifiés par Lean 4 et Mathlib, re-vérifiables par une seule commande de compilation. Les applications bâties sur ce noyau ne sont pas dans ce décompte.