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