Proof of existence for algebraic numbers with prewritten properties

被引:3
|
作者
Ore, O
机构
关键词
D O I
10.1007/BF01283850
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页码:474 / 489
页数:16
相关论文
共 50 条
  • [41] The algebraic numbers and division
    Fields, JC
    SCIENCE, 1926, 63 : 553 - 558
  • [42] PRODUCT OF ALGEBRAIC NUMBERS
    CARLITZ, L
    AMERICAN MATHEMATICAL MONTHLY, 1970, 77 (10): : 1116 - &
  • [43] The differences of algebraic numbers
    Bauer, M
    MATHEMATISCHE ANNALEN, 1921, 83 : 74 - 76
  • [44] Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B
    Barradas, Hector Ruiz
    Burdy, Lilian
    Deharbe, David
    RIGOROUS STATE-BASED METHODS, ABZ 2020, 2020, 12071 : 255 - 259
  • [45] Approximation of algebraic numbers
    Schlickewei, HP
    DIOPHANTINE APPROXIMATION, 2003, 1819 : 107 - 170
  • [46] Logarithms of algebraic numbers
    Kuehne, Lars
    JOURNAL DE THEORIE DES NOMBRES DE BORDEAUX, 2015, 27 (02): : 499 - 535
  • [47] PRODUCT OF ALGEBRAIC NUMBERS
    MATTSON, HF
    AMERICAN MATHEMATICAL MONTHLY, 1970, 77 (06): : 661 - &
  • [48] Distribution of algebraic numbers
    Pritsker, Igor E.
    JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 2011, 657 : 57 - 80
  • [49] Algebraic winding numbers
    Perrucci, Daniel
    Roy, Marie-Francoise
    JOURNAL OF ALGEBRA, 2024, 659 : 581 - 610
  • [50] DISCRIMINANTS OF ALGEBRAIC NUMBERS
    NAGELL, T
    ARKIV FOR MATEMATIK, 1967, 7 (03): : 265 - &