Software de computador; programas de software de computador, a saber: software de computação técnica, programas de software de computador para exibição, representação gráfica, resolução e estudo de equações matemáticas e para análise de sistemas, software de computador para computação matemática, análise, visualização, desenvolvimento de algoritmos e prototipagem e modelagem de sistemas; software de computador para projeto com base em modelos e em simulação; programas de software de computador para computação técnica; hardware de computador para computação técnica e projeto com base em modelos; software de projeto com base em modelos; software de computação técnica; software de engenharia, na forma de software computacional para modelagem, simulação e análise de sistemas de energia elétrica; software de computador que resolve equações diferenciais; ferramentas de desenvolvimento de software de computador; ferramentas de software de computador para aplicações, componentes e implementação baseada na web; software de computador para uso nas áreas de aquisição e acesso a dados científicos e de engenharia e para controle de instrumentos científicos e de engenharia e sistemas de instrumentos; software de computador para uso em relação a sistemas de controle, a saber simulação, prototipagem rápida, geração de código e verificação e validação para sistemas integrados, para sistemas de processamento de sinais e sistemas de comunicação, a saber: simulação, geração de código e verificação, para processamento de vídeo e imagem, a saber: visualização, análise e aquisição de imagem, desenvolvimento de algoritmos, simulação, geração de código e verificação, para aplicações de teste e medição, para simulação, análise e modelagem de sistemas biológicos, e para implantação, análise e modelagem de aplicações econométricas e financeiras; programas de software de computador que permitem aos usuários coordenar e executar operações independentes simultaneamente em um aglomerado de computadores; manuais de instrução (em formato eletrônico) vendidos com todos os itens acima; software de computador que auxilia computadores na implantação de aplicações paralelas e na execução de cálculos paralelos; software de computador para simulação de sistemas biológicos; software de computador que facilita o compartilhamento de conhecimento mediado por rede entre os usuários e a codificação colaborativa e solução de problemas;publicações eletrônicas; software de computador para ajustar curvas e superfícies aos dados; software de computador para otimização através da busca de parâmetros que minimizem ou maximizem objetivos matematicamente definidos enquanto satisfazem restrições; software de computador para computação simbólica e álgebra computacional; software de computador para geração de mapas e análise de dados geoespaciais;software de computador para resolução de equações diferenciais parciais; software de computador para estatística e aprendizagem de máquinas; software de computador para aprendizado profundo e redes neurais; software de computador para aprendizado de reforço; software de computador para análise de texto; software de computador para verificação de código de linguagem de descrição de hardware (HDL) comparado a um algoritmo matemático; software de computador para simulação eventos discretos; software de computador para modelagem e simulação de máquinas de estado e diagramas de estado; software de computador para computação técnica em telefones celulares e tablets; software de computador para computação técnica através de um navegador web; software de computador para projeto com base em modelo através de um navegador da web; software de computador para uso vinculado a projeto com base em modelo para sistemas em tempo real, a saber: simulação, prototipagem rápida, geração de código e verificação e validação; software de computador para ligar elementos de modelo do projeto aos requisitos do sistema textual; software de computador para verificar um modelo comparado a um conjunto de diretrizes do modelo; software de computador para verificar se um conjunto de testes ou simulações exerceu todas as ramificações e fluxos lógicos em um modelo; software de computador para gerar automaticamente um relatório ou documento para modelos ou algoritmos técnicos de computação; software de computador para enviar/receber dados de redes de veículos automotivos; software de computador para agregar, visualizar e analisar o fluxo de dados de dispositivos de conexão à Internet; software de computador para análise de dados bioinformáticos; software de computador para leitura e escrita de dados em bancos de dados relacionais e bancos de dados gráficos; software de computador para descarregamento [download] de aplicativos; aplicativos móveis baixáveis.;