<?xml version="1.0" encoding="UTF-8"?>
<html xmlns="http://www.w3.org/1999/xhtml" xmlns:wx="http://ilps.science.uva.nl/WikiXML/wx" xml:lang="pt" lang="pt">
<head>
<title>Matemática simbólica</title>
<meta name="wx_namespace" content="0"/>
<meta name="wx_pagename" content="Matemática_simbólica"/>
<meta name="wx_page_id" content="93203"/>
</head>
<body>
<div id="wx_article">
<wx:section level="1" title="Matemática simbólica" id="wxsec1"><h1 class="pagetitle" id="wx1">Matemática simbólica</h1>

<p id="wx2"><b id="wx3">Matemática simbólica</b>, diz respeito ao uso de <a href="/wpt/Computador" title="Computador" wx:linktype="known" wx:pagename="Computador" wx:page_id="536" id="wx4">computadores</a> para manipular equações <a href="/wpt/Matem%C3%A1tica" title="Matemática" wx:linktype="known" wx:pagename="Matemática" wx:page_id="1210" id="wx5">matemáticas</a> e expressões em forma simbólica, em oposição à mera manipulação de aproximações a quantidades numéricas específicas representadas por aqueles símbolos. Um tal sistema pode ser usado para <a href="/wpt/Integral" title="Integral" wx:linktype="known" wx:pagename="Integral" wx:page_id="60703" id="wx6">integração</a> ou <a href="/wpt/Derivada" title="Derivada" wx:linktype="known" wx:pagename="Derivada" wx:page_id="9370" id="wx7">diferenciação</a>, substituição de uma expressão numa outra, simplificação de uma expressão, etc.</p>

<p id="wx8">Tem uso no teste de software sobo título de "execução simbólica", onde pode ser usada para analisar se e quando erros no código podem ocorrer. Pode ser usada para prever o que certas partes do código fazem a inputs e outputs especificados.</p>

<p id="wx9">Há vários softwares no mercado para matemática simbólica, normalmente chamados de <a href="/wpt/Sistemas_de_%C3%A1lgebra_computacional" title="Sistemas de álgebra computacional" wx:linktype="known" wx:pagename="Sistemas_de_álgebra_computacional" wx:page_id="67125" id="wx10">sistemas de álgebra computacional</a>.</p>
</wx:section></div>
<div id="wx_categorylinks">
<a href="/wpt/index.php?title=Especial:Categories&amp;article=Matem%C3%A1tica_simb%C3%B3lica" title="Especial:Categories" wx:linktype="known" wx:pagename="Especial:Categories" id="wx11">Categorias de páginas</a>: <span dir="ltr" id="wx12"><a href="/wpt/Categoria:%C3%81lgebra" title="Categoria:Álgebra" wx:linktype="known" wx:pagename="Categoria:Álgebra" wx:page_id="26000" id="wx13">Álgebra</a></span></div>
<div id="wx_languagelinks">
Outras línguas: <a href="http://de.wikipedia.org/wiki/Symbolische_Mathematik" class="external" wx:linktype="interwiki" wx:pagename="de:Symbolische_Mathematik" id="wx14">Deutsch</a> | <a href="http://en.wikipedia.org/wiki/Symbolic_computation" class="external" wx:linktype="interwiki" wx:pagename="en:Symbolic_computation" id="wx15">English</a> | <a href="http://fr.wikipedia.org/wiki/Calcul_formel" class="external" wx:linktype="interwiki" wx:pagename="fr:Calcul_formel" id="wx16">Français</a> | <a href="http://pl.wikipedia.org/wiki/Obliczenia_symboliczne" class="external" wx:linktype="interwiki" wx:pagename="pl:Obliczenia_symboliczne" id="wx17">Polski</a></div>
</body>
</html>
