O Que é SYMBOLIC COMPUTATION em Português

• computação simbólica

Exemplos de uso de Symbolic computation em Inglês e suas traduções para o Português

Symbolic Computation.
Computação simbólica.

SymPy is a Python library for symbolic computation.
SymPy é uma biblioteca Python para computação simbólica.

Many symbolic computation breakthroughs, including discrete calculus, sequence recognition, and transcendental roots.
Diversas inovações em computação simbólica, incluindo cálculo discreto, reconhecimento de sequências, e raízes transcendentais.

Broader support for assumptions in symbolic computation.
Suporte mais amplo para suposições em computação simbólica.

His research interests include algebraic geometry, symbolic computation and computational complexity theory in computer algebra, with over 130 published articles.
Suas áreas de pesquisa incluem geometria algébrica, computação simbólica e complexidade computacional em álgebra computacional, tendo publicado mais de 160 artigos científicos.

The elliptic functions and integrals are primarily intended to support symbolic computation.
As funções elípticas e integrais elípticas estão primariamente tencionando suportar computação simbólica.

He is a former director of the Symbolic Computation Group in the School of Computer Science.
Foi director do Grupo de Computação Simbólica na Escola de Ciência Informática.

It focuses on mathematical methods in applied sciences(simulation of complex mechanical and physical systems), numerical methods and symbolic computation.
Concentra-se em métodos matemáticos em ciências aplicadas(simulação de sistemas mecânicos e físicos complexos), métodos numéricos e computação simbólica.

In this version the main data type for symbolic computation was the Sum class.
Nesta versão o principal tipo de dados para computação simbólica foi a classe Sum.

These software packages do symbolic computation by manipulating strings of symbols until a configuration is found that corresponds to a known result.
Estes pacotes de software fazem a computação simbólica manipulando cordas dos símbolos até que uma configuração esteja encontrada que corresponda a um resultado conhecido. Para ser continuado.

The master program provides the development of advanced programming capabilities and algorithmic thinking and usage of software for numerical and symbolic computation.
O programa de mestrado oferece o desenvolvimento de capacidades de programação avançadas e pensamento algorítmico e uso de software para computação numérica e simbólica.

Download Perform symbolic computation with Mathematica, a program for Windows that provides a wide range of possibilities and functions that are commonly required in certain areas of mathematics, science, computing or engineering, among others.
Realize cálculo simbólico com Mathematica, um programa para Windows que fornece um amplio leque de possibilidades e funções, muito usadas em determinadas áreas da pesquisa científica, educação técnica, ciências exatas, ou da engenheira e modelagem, entre outras áreas.

Expect Surprises Inside Even if an algorithm in the Wolfram Algorithmbase gets a numerical answer, there's a good chance it's using symbolic computation inside, and maybe graph theory or computational geometry too.
Mesmo que um algoritmo na Wolfram Algorithmbase obtenha uma resposta numérica, existe uma grande possibilidade de que internamente esteja usando computação simbólica, e até talvez teoria dos grafos e geometria computacional também.

Symbolic computation===Computer algebra, also called symbolic computation or algebraic computation is a scientific area that refers to the study and development of algorithms and software for manipulating mathematical expressions and other mathematical objects.
Computação Simbólica===Álgebra computacional, também chamada de computação simbólica ou computação algébrica, é uma área científica que se refere ao estudo e desenvolvimento de algoritmos e software para manipulação de expressões matemáticas e outros objetos matemáticos.

Maxima is an open source, multiplatform and free command-line software that has been designed as a complete CAS(Computer Algebra System) utility oriented towards symbolic computation and allows you to easily plot data and functions in 2D and 3D.
Maxima é um software de linha de comando de código aberto, multiplataforma e livre que foi projetado como um utilitário completo de CAS(Computer Algebra System) orientado para computação simbólica e permite plotar facilmente dados e funções em 2D e 3D….

Symbolic computation Computer-aided proof Automated reasoning Formal verification Logic programming Proof checking Model checking Proof complexity Computer algebra system Program analysis(computer science) General Problem Solver Metamath language for formalized mathematics Frege, Gottlob 1879.
Computação simbólica Demonstração assistida por computador Raciocínio automatizado Verificação Formal Programação Lógica Verificador de demonstrações Verificação de Modelos Complexidade de demonstrações Sistema de álgebra computacional Análise de programas(CC) Resolvedor geral de problemas Metamath- linguagem para matemática formalizada Frege, Gottlob 1879.

To this end, it will use the platform maple r for simulations using geometric elements of the ricci ow, because this is an important tool, since it is an integrated platform, that can perform symbolic computation, numerical and views in the same environment.
Para tal, utilizar-se-à a plataforma maple r para simulações utilizando elementos geométricos do uxo de ricci, pois esta consiste numa importante ferramenta, já que é uma plataforma integrada, que pode realizar computação simbólica, numérica e visualizações no mesmo ambiente.

After two postdoctoral years at the Institute for Mathematics and its Applications in Minneapolis, Minnesota, and the Research Institute for Symbolic Computation in Linz, Austria, he taught at Cornell University, before joining UC Berkeley in 1995.
Após dois anos de pós-doutorado no Institute for Mathematics and its Applications na Universidade de Minnesota e no Research Institute for Symbolic Computation da Universidade de Linz, lecionou na Universidade Cornell, tornando-se em 1995 professor da Universidade da Califórnia em Berkeley.

Corporate history==Waterloo Maple Inc. was first incorporated under the name Waterloo Maple Software in April 1988 by Keith Geddes and Gaston Gonnet, who were both then professors in the Symbolic Computation Group, a part of the computer science department(now the David R. Cheriton School of Computer Science) at the University of Waterloo.
Foi fundada em Abril de 1988 com o nome de Waterloo Maple Software por Keith Geddes e Gaston Gonnet, que na altura eram ambos professores no Grupo de Computação Simbólica, pertencente ao departamento de informática(hoje a Escola de Ciência Informática) da Universidade de Waterloo.

Although, properly speaking, computer algebra should be a subfield of scientific computing, they are generally considered as distinct fields because scientific computing is usually based on numerical computation with approximate floating point numbers, while symbolic computation emphasizes exact computation with expressions containing variables that have not any given value and are thus manipulated as symbols therefore the name of symbolic computation.
Embora, falando corretamente de álgebra computacional deve ser um subcampo da computação científica, eles são geralmente considerados como campos distintos porque a computação científica é geralmente baseada em computação numérica com números de ponto flutuante aproximados, enquanto computação simbólica enfatiza cálculo exato com expressões com variáveis que não têm qualquer dado valor e, portanto, são manipulados como símbolos de aí o nome de computação simbólica.