External Links

    Journal: Formalized Mathematics

    Volume 27, Issue 3

    223 -- 228Christoph Schwarzweller. On the Intersection of Fields F with F [X]
    229 -- 235Christoph Schwarzweller. Field Extensions and Kronecker's Construction
    237 -- 259Sebastian Koch. Underlying Simple Graphs
    261 -- 301Sebastian Koch. About Graph Mappings
    303 -- 313Sebastian Koch. About Vertex Mappings
    315 -- 320Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. Operations of Points on Elliptic Curve in Affine Coordinates
    runs on