38:23CPlaNet: Enhancing Image Geolocalization by Combinatorial Partitioning of MapsNAVER D2238 viewsView & Download
24:43Formalizing Geometric Proof Schwabhäuser 4.6 in the Metamath Proof Explorer (using mmj2)David A. Wheeler704 viewsView & Download
4:27Geometry - Ch. 3: Proofs (2 of 17) What is the KEY to Performing Proofs in Geometry? 2Michel van Biezen835 viewsView & Download
12:48Karnaugh maps - Prime implicant finding and identification of the solution (A. Miele)Polimi OpenKnowledge9 viewsView & Download