Experimental geometry