Abstract: Disclosed herein are receive-only network devices and methods for use for securely identifying a network. The receive-only network device comprised a network physical layer (PHY) circuit configured to establish a physical layer connection to a network via one or more wired transmission mediums and a controller electrically coupled to a receive channel of the PHY via a unidirectional hardware buffer configured to transfer electronic signals received from the PHY and block electronic signals received from the controller. The controller is configured to receive from the PHY one or more link layer frames transmitted by one or more network controllers of the network and intercepted by the PHY, extract one or more network attributes of the network from the one or more intercepted link layer frames, identify the network at least partially according to the one or more extracted network attributes, and present the identity of the network to a user.

Abstract: Methods for assisting a user in determining geometrical proofs are provided. A geometrical object with a corresponding predicate to be justified and one or more known predicates are presented to a user. The user can select one or more known predicates and corresponding derivations that justify the known predicate and can justify the predicate to be justified.

Abstract: A system or method may include a processor and a graphical user interface to receive input relating to one or more shape objects. The processor may generate a shape object based on the received input. The processor may further calculate one or more relationships between the generated shape object and at least one previously displayed shape object. The processor may determine whether the one or more calculated relationships match a defined geometrical dependency. If the processor determines that a match exists, an icon associated with the matched geometrical dependency may be displayed.