[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[obm-l] Complexidade em Geometria.
- To: "obm-l >> \"obm-l@xxxxxxxxxxxxxx\"" <obm-l@xxxxxxxxxxxxxx>
- Subject: [obm-l] Complexidade em Geometria.
- From: Ronaldo Luiz Alonso <ronaldo.luiz.alonso@xxxxxxxxx>
- Date: Fri, 27 Oct 2006 19:44:16 -0200
- DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:user-agent:mime-version:to:subject:content-type:content-transfer-encoding; b=FWAtGo1AlYYD2tqiXE+Mxq0v8WhCTPGZd6WC0iHeYnr0MOsEBhpKVZPFNnxLqXv6oqA8TzXXTmYaPr02IR1pfYXQUIsMSbre9NsBF8/QTYSe4F4RrZcC2tD/9fLx7YtgS4FYPDypAjkbh1KZplalb9sJMs2EcXD7CWlFJB9PkxA=
- Reply-To: obm-l@xxxxxxxxxxxxxx
- Sender: owner-obm-l@xxxxxxxxxxxxxx
- User-Agent: Thunderbird 1.5.0.2 (Windows/20060308)
Olá a todos.
O professor Nicolau em uma mensagem a tempos atrás citou a tese
de uma aluna da PUC (Silvana Marini) em que ela discutia o
"teorema de Napoleão". Um aspecto interessante nesta tese
(que ainda estou lendo) é a possibilidade
aparentemente teórica de provar qualquer teorema em geometria com métodos
automáticos. Eu achei esses links interessantes:
http://www.mat.puc-rio.br/~hjbortol/complexidade/html/cap01.html
http://www.uesc.br/arbelos/arquivo/sm/2002/pl.01.pdf
http://wslc.math.ist.utl.pt/ftp/pub/DionisioFM/04-DGM-dlogisa.pdf
Gostaria de perguntar se existe alguém que conhece e sabe usar esses
provadores.
Há alguns programas na rede que fazem isso e estou tentando aprender
a usar,
mas se houver alguém que já é usuario desses programas seria ótimo.
Obrigado
Ronaldo.
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================