Abstract: An output formula is automatically generated from an input formula using one of multiple methods determined by types of one or more parameters associated with the input formula and a dimensional operation associated with a dimension of at least a first parameter. The automatically generated output formula is stored, or a representation based on the automatically generated output formula is presented using a user interface.

Abstract: Methods and systems for creating video from multiple sources utilize intelligence to designate the most relevant sources, facilitating their adjacent display and/or catenation of their video streams.

Abstract: Methods and systems for creating video from multiple sources utilize intelligence to designate the most relevant sources, facilitating their adjacent display and/or catenation of their video streams.

Abstract: Methods and systems for creating video from multiple sources utilize intelligence to designate the most relevant sources, facilitating their adjacent display and/or catenation of their video streams.

Abstract: Methods and systems for creating video from multiple sources utilize intelligence to designate the most relevant sources, facilitating their adjacent display and/or catenation of their video streams.

Abstract: An output formula is automatically generated from an input formula using one of multiple methods determined by types of one or more parameters associated with the input formula and a dimensional operation associated with a dimension of at least a first parameter. The automatically generated output formula is stored, or a representation based on the automatically generated output formula is presented using a user interface.

Abstract: A symbolic language data processing system comprises a sequencer unit, a data path unit, a memory control unit, a front-end processor, an I/O and a main memory connected on a common Lbus to which other peripherals and data units can be connected for intercommunication. The system architecture includes a novel bus network, a synergistic combination of the Lbus, microtasking, centralized error correction circuitry and a synchronous pipelined memory including processor mediated direct memory access, stack cache windows with two segment addressing, a page hash table and page hash table cache, garbage collection and pointer control, a close connection of the macrocode and microcode which enables one to take interrupts in and out of the macrocode instruction sequences, parallel data type checking with tagged architecture, procedure call and microcode support, a generic bus and a unique instruction set to support symbolic language processing.

Abstract: A symbolic language data processing system comprises a sequencer unit, a data path unit, a memory control unit, a front-end processor, an I/O and a main memory connected on a common Lbus to which other peripherals and data units can be connected for intercommunication. The system architecture includes a novel bus network, a synergistic combination of the Lbus, microtasking, centralized error correction circuitry and a synchronous pipelined memory including processor mediated direct memory access, stack cache windows with two segment addressing, a page hash table and page hash table cache, garbage collection and pointer control a close connection of the macrocode and microcode which enables one to take interrupts in and out of the macrocode instruction sequences, parallel data type checking with tagged architecture, procedure call and microcode support, a generic bus and a unique insruction set to support symbolic language processing.