Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-6 ل  6 نتائج ل ""algebraic number theory""

فلترة النتائج

Geographic : rome
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

A formalization of Dedekind domains and class groups of global fields

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]Rome; Italy

  • Source: 12th International Conference on Interactive Theorem Proving (ITP 2021)https://hal.science/hal-0313266612th International Conference on Interactive Theorem Proving (ITP 2021), Jun 2021,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

A formalization of Dedekind domains and class groups of global fields

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]Rome; Italy

  • Source: 12th International Conference on Interactive Theorem Proving (ITP 2021)https://hal.science/hal-0313266612th International Conference on Interactive Theorem Proving (ITP 2021), Jun 2021,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

A formalization of Dedekind domains and class groups of global fields

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]Rome; Italy

  • Source: 12th International Conference on Interactive Theorem Proving (ITP 2021)https://hal.science/hal-0313266612th International Conference on Interactive Theorem Proving (ITP 2021), Jun 2021,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

A formalization of Dedekind domains and class groups of global fields

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]Rome; Italy

  • Source: 12th International Conference on Interactive Theorem Proving (ITP 2021)https://hal.science/hal-0313266612th International Conference on Interactive Theorem Proving (ITP 2021), Jun 2021,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

A formalization of Dedekind domains and class groups of global fields

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]Rome; Italy

  • Source: 12th International Conference on Interactive Theorem Proving (ITP 2021)https://hal.archives-ouvertes.fr/hal-0313266612th International Conference on Interactive Theorem Proving (ITP 2021),

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

A formalization of Dedekind domains and class groups of global fields

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]Rome; Italy

  • Source: 12th International Conference on Interactive Theorem Proving (ITP 2021)https://hal.science/hal-0313266612th International Conference on Interactive Theorem Proving (ITP 2021), Jun 2021,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-6 ل  6 نتائج ل ""algebraic number theory""