External Links

    Journal: Formalized Mathematics

    Volume 29, Issue 3

    117 -- 127Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama. Real Vector Space and Related NotionsThis study was supported in part by JSPS KAKENHI Grant Numbers 17K00182 and 20K19863
    129 -- 139Christoph Schwarzweller. Splitting Fields
    141 -- 151Hiroshi Fujiwara, Ryota Adachi, Hiroaki Yamamoto. Algorithm NextFit for the Bin Packing ProblemThis work was supported by JSPS KAKENHI Grant Numbers JP20K11689, JP20K11676, JP16K00033, JP17K00013, JP20K11808, and JP17K00183
    runs on