Abstract: Methods, systems, and apparatus, including medium-encoded computer program products, for computer aided design of physical structures include, in at least one aspect, a fully automatic method of converting a generative design into an editable, watertight B-Rep by leveraging the generative solver input and representation to: (1) embed the exact input solid boundary surfaces where the design coincides with the input, (2) approximate everywhere else the design boundary with globally smooth, editable “organic” surfaces, and (3) join all surfaces to form a generative design output B-Rep.

Abstract: Methods for verifying a transaction and coordinating verification of a transaction are provided. A method for verifying a transaction involves obtaining transaction data indicating execution of a transaction. The transaction data includes payment parameters of the transaction. The method involves obtaining corroborating data relevant to a determination of whether the transaction is determined to be authentic or inauthentic, displaying the payment parameters and indications of the corroborating data through a user interface of a computing device, and receiving a selection through the user interface to indicate that the transaction is determined to be authentic or inauthentic. A method for coordinating verification of a transaction involves obtaining transaction data, transmitting the transaction data to a user device, and receiving a selection from the user device to indicate whether the transaction is determined to be authentic or inauthentic.