Resultados da pesquisa

...e coordenadas cartesiano]] devido às vantagens que oferece no tratamento [[Álgebra|algébrico]] de pontos "no infinito". * [[Geometria computacional]] ...

[[Categoria:Álgebra computacional]] ...

[[Categoria:Álgebra]] [[Categoria:Álgebra computacional]] ...

...eal]] <math>\mathbb{R}^n.</math> Em outras palavras, para qualquer [[Base (álgebra linear)|base]] de <math>\mathbb{R}^n</math> o subgrupo de todas as [[Combin ...m conexão com a teoria da codificação, na criptografia por causa da dureza computacional conjecturada de vários problemas de rede e são usados de várias maneiras na ...

...rde se ele não pode mover durante o seu turno. Na [[teoria da complexidade computacional]], a linguagem JOGO-DE-FORMULA é definida como todas as formulas <math>\Phi [[Categoria:Álgebra booliana]] ...

Em [[álgebra linear]], a '''decomposição de Cholesky''' ou '''fatoração de Cholesky''' é ...math> se eficientemente implementada, requer o mesmo espaço e complexidade computacional para construir e usar, mas evita extrair raízes quadradas.<ref name="kri">{ ...

Em [[álgebra linear]], uma '''transformação de Householder''' (também conhecida como uma === Álgebra linear numérica === ...

...[lógica matemática]], particularmente [[teoria dos conjuntos]] e [[ciência computacional teórica]]. Em 1984 Blass provou que a existência de uma [[Base (álgebra linear)|base]] para todo [[espaço vetorial]] é equivalente ao [[axioma da e ...

[[Categoria:Álgebra]] [[Categoria:Álgebra computacional]] ...

...de palavras para grupos. Informalmente dizendo, o problema de palavras em álgebra é: dado um conjunto de identidades E com duas expressões x e y, será possí ...conjunto (geralmente infinito). Esse problema é bem aparente em matemática computacional. Modelos tradicionais de computação (tal como a [[máquina de Turing]]) poss ...

...a. Acredita-se que o problema de minimização de circuitos é [[Complexidade computacional#Intratabilidade|intratável]],<ref>{{Citation [[Categoria:Álgebra booliana]] ...

| genero = [[Sistema algébrico computacional]] '''SymbolicC++''' é um [[Sistema algébrico computacional]] de propósito geral incorporado na linguagem de programação [[C++]]. É um ...

Na [[lógica]] [[Álgebra booleana|booleana]], uma [[fórmula]] está na '''forma normal conjuntiva''' Um importante conjunto de problemas em [[complexidade computacional]] envolve encontrar atribuições para as variáveis de uma fórmula booleana e ...

...{k} p_j ^{a_j} \in \mathbb{N}</math> &nbsp; (vide [[Teorema Fundamental da Álgebra|Teorema Fundamental da Aritmética]]), tem-se &nbsp; <math>\mu : \mathbb{N} ...o valor de μ(''n'') faz-se necessário conhecer a [[Teorema fundamental da álgebra|fatoração]] de ''n'', o que por vezes dificulta muito o cálculo da função. ...

...lizado para realizar a multiplicação de [[matriz]]es. Ele é [[Complexidade computacional|assintoticamente mais rápido]] que o algoritmo tradicional, e é útil na prá [[Categoria:Álgebra linear]] ...

Em [[teoria da complexidade computacional]], um ramo da [[Ciência da Computação]], o '''teorema da dicotomia de Schae ...]]. Para o teorema da dicotomia de Schaefer, o conceito mais importante na álgebra universal é o do polimorfismo. Uma operação  <math>f : D^m \to D</math> é p ...

...odem ser consideradas como aplicações de ideias em [[geometria algébrica]] computacional, particularmente [[Base de Gröbner|bases de Gröbner]]. ...''polinômios em suas raízes'', então para um dado n eles forma uma [[Base (álgebra linear)|bases]] para o espaço das funções polinomiais simétricas das raízes ...

...do como uma categoria para a categoria dos espaços vetoriais (ou [[Módulo (álgebra)|<math>R</math> -módulos]]). Existe uma classificação dos módulos de persis * [[Topologia computacional]] ...

Em [[teoria da complexidade computacional]], um ramo da [[ciência da computação]], o '''Teorema da dicotomia de Schae ...a]]. Para o teorema da dicotomia de Schaefer, o conceit mais importante da álgebra universal é o de polimorfismo. Uma operação <math>f : D^m \to D</math> é um ...

Em [[álgebra]], a '''divisão polinomial''' é um [[algoritmo]] para dividir um [[polinómi *[[Teorema fundamental da álgebra]] ...