Abstract: A system for provenance aware editing for propagating edits back to spreadsheets is provided. The system receives an indication of an operation to be performed at an output location. The operation indicates one or more input locations on a spreadsheet that each provides an input value. The input values are accessed and tagged with their corresponding input location on the spreadsheet. Based on the operation and the input value from each of the one or more input locations, the system derives and displays the result at the output location. A user edit to the result is received at the output location, which causes transmission of a propagation request to change the input value at one or more of the tagged input locations. Using where-provenance associated with the tagged input locations, the system propagates the user edit to one or more of the tagged input locations.

Abstract: A formula abstraction system is described. The system includes detecting a user-generated formula in a cell of a spreadsheet document, generating a graphical user interface that queries entries of a custom function based on the user-generated formula, forming the custom function by abstracting the user-generated formula to the custom function based on the entries, and storing the custom function in a function library of the spreadsheet document. The custom function applies the user-generated formula in a user-selected cell of the spreadsheet document.

Abstract: A system for provenance aware editing for propagating edits back to spreadsheets is provided. The system receives an indication of an operation to be performed at an output location. The operation indicates one or more input locations on a spreadsheet that each provides an input value. The input values are accessed and tagged with their corresponding input location on the spreadsheet. Based on the operation and the input value from each of the one or more input locations, the system derives and displays the result at the output location. A user edit to the result is received at the output location, which causes transmission of a propagation request to change the input value at one or more of the tagged input locations. Using where-provenance associated with the tagged input locations, the system propagates the user edit to one or more of the tagged input locations.

Abstract: A formula abstraction system is described. The system includes detecting a user-generated formula in a cell of a spreadsheet document, generating a graphical user interface that queries entries of a custom function based on the user-generated formula, forming the custom function by abstracting the user-generated formula to the custom function based on the entries, and storing the custom function in a function library of the spreadsheet document. The custom function applies the user-generated formula in a user-selected cell of the spreadsheet document.

Abstract: In non-limiting examples of the present disclosure, systems, methods and devices for interacting with data in a productivity application are presented. A plurality of values associated with the productivity application may be analyzed to determine whether they include a value that can be added to a set comprising a plurality of values with a set data type upon which the productivity application can execute a plurality of set operations. An indication to add at least one of the analyzed values as a member of the set may be received. At least one of the analyzed values may be added as a member of the set. An indication to perform a set operation associated with the set may be received and performed, and the result of the performed set operation may be displayed on a productivity application user interface.

Abstract: The present disclosure provides a novel approach for creating and referencing arrays as implemented in a spreadsheet application. Aspects of the present disclosure include, but are not limited to: referencing arrays, creating dynamic arrays, collapsing values of an array into a single cell, spilling values of an array to a table, referencing one or more values in collapsed arrays, visually indicating no spill errors while maintaining calculation capabilities thereon, and implicit intersection of data.

Abstract: In non-limiting examples of the present disclosure, systems, methods and devices for interacting with data in a productivity application are presented. A plurality of values associated with the productivity application may be analyzed to determine whether they include a value that can be added to a set comprising a plurality of values with a set data type upon which the productivity application can execute a plurality of set operations. An indication to add at least one of the analyzed values as a member of the set may be received. At least one of the analyzed values may be added as a member of the set. An indication to perform a set operation associated with the set may be received and performed, and the result of the performed set operation may be displayed on a productivity application user interface.

Abstract: In non-limiting examples of the present disclosure, systems, methods and devices for interacting with data in a productivity application are presented. A plurality of values associated with the productivity application may be analyzed to determine whether they include a value that can be added to a set comprising a plurality of values with a set data type upon which the productivity application can execute a plurality of set operations. An indication to add at least one of the analyzed values as a member of the set may be received. At least one of the analyzed values may be added as a member of the set. An indication to perform a set operation associated with the set may be received and performed, and the result of the performed set operation may be displayed on a productivity application user interface.

Abstract: In non-limiting examples of the present disclosure, systems, methods and devices for interacting with data in a productivity application are presented. A plurality of values associated with the productivity application may be analyzed to determine whether they include a value that can be added to a set comprising a plurality of values with a set data type upon which the productivity application can execute a plurality of set operations. An indication to add at least one of the analyzed values as a member of the set may be received. At least one of the analyzed values may be added as a member of the set. An indication to perform a set operation associated with the set may be received and performed, and the result of the performed set operation may be displayed on a productivity application user interface.

Abstract: The present disclosure provides a novel approach for creating and referencing arrays as implemented in a spreadsheet application. Aspects of the present disclosure include, but are not limited to: referencing arrays, creating dynamic arrays, collapsing values of an array into a single cell, spilling values of an array to a table, referencing one or more values in collapsed arrays, visually indicating no spill errors while maintaining calculation capabilities thereon, and implicit intersection of data.