Re: [obm-l] provadores de teoremas

2007-10-21 Por tôpico fabricio82
? On Oct 21, 2007, at 16:39, johnson nascimento wrote: Olá amigos !!! Alguem de voçes conhece um bom provador de teoremas Freeware que rode no windows ? Por favor me mandem o link Obrigado :) Abra sua conta no Yahoo! Mail, o único sem limite de espaço para armazenamento!

Re: [obm-l] Número Olímpico

2007-10-07 Por tôpico fabricio82
Sim, você está correto! Na primeira vez que li, entendi que era para um dado primo específico, não para qualquer. On Oct 7, 2007, at 04:59, [EMAIL PROTECTED] wrote: Olá, Acho que a definição da professora ONI está coerente, e difere de não livre de quadrados. Veja por exemplo o número 20.