symbolic computation

[sɪm'bɑlɪk kəm'pjuːteɪʃən]
nounfemininepl: computações simbólicas
computação simbólica
1. A field of computer science and mathematics that deals with the manipulation of mathematical symbols and expressions using computational methods rather than numerical approximations
Symbolic computation allows mathematicians to solve equations algebraically without converting them to decimal approximations.
A computação simbólica permite que matemáticos resolvam equações algebricamente sem convertê-las em aproximações decimais.
2. The use of computer algebra systems to perform exact calculations on symbolic representations of mathematical objects
The research team used symbolic computation to verify their theoretical proofs.
A equipe de pesquisa usou computação simbólica para verificar suas provas teóricas.
3. Processing and manipulation of abstract symbols representing mathematical quantities, functions, and relationships
Symbolic computation is essential in areas like automated theorem proving and computer algebra.
A computação simbólica é essencial em áreas como prova automática de teoremas e álgebra computacional.
This is primarily a technical and academic term used in mathematics, computer science, and engineering fields. It is equally used in Brazil, Portugal, and other Portuguese-speaking countries without significant regional variation. The term reflects the growing importance of computational mathematics in modern research and education.
Synonyms / Sinônimos
computer algebraalgebraic computationsymbolic mathematicsformula manipulation
Antonyms / Antônimos
numerical computationfloating-point arithmeticapproximate computation

Regional Variations

General Brazilian
computação simbólica
Standard term used in academic and technical contexts across Brazil
Portugal
cálculo simbólico
Alternative term occasionally used, though computação simbólica is also understood
Academic (International)
computação simbólica
Consistent terminology across Portuguese-speaking universities

Related Words

computer algebra systemmathematical symbolequation solvingautomated theorem provingMathematicaMapleSymPy

Related Idioms & Phrases

symbolic manipulation of expressions
exact symbolic representation
algebraic symbolism
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →