Connexion
S'inscrire
Réinitialiser le mot de passe
Publier & Distribuer
Solutions d'édition
Solutions de distribution
Thèmes
Publications
Journaux
Livres
Comptes-rendus
Éditeurs
Blog
Contact
Chercher
Panier
EUR
USD
GBP
Français
English
Deutsch
Polski
Español
Français
Italiano
Home
Journaux
Formalized Mathematics
Édition 25 (2017): Edition 1 (March 2017)
Accès libre
Embedded Lattice and Properties of Gram Matrix
Yuichi Futa
Yuichi Futa
et
Yasunari Shidama
Yasunari Shidama
| 11 mai 2017
Formalized Mathematics
Édition 25 (2017): Edition 1 (March 2017)
À propos de cet article
Article précédent
Article suivant
Résumé
Références
Auteurs
Articles dans cette édition
Aperçu
PDF
Citez
Partagez
Publié en ligne:
11 mai 2017
Pages:
73 - 86
Reçu:
17 mars 2017
DOI:
https://doi.org/10.1515/forma-2017-0007
Mots clés
Z-lattice
,
Gram matrix
,
rational Z-lattice
© by Yuichi Futa
This work is licensed under version 3.0 of the Creative Commons Attribution–ShareAlike License.