Abstract

Convidar a Isabelle para. verificar as nossas contas pode ser uma maneira simpática de começar um longo dia de trabalho. Vamos descobrir, no entanto, um revisor implacável, capaz de encontrar a mais pequena falha de raciocínio. E que não vai aceitar um convite para jantar no fim da jornada.
Original languagePortuguese
TypeScientific diffusion
Media of outputJournal
PublisherSociedade Portuguesa de Matemática
Number of pages2
Place of PublicationLisboa
Publication statusPublished - Dec 2009

Publication series

NameGazeta de Matemática
PublisherSociedade Portuguesa de Matemática
No.159
ISSN (Print)0373-2681

Keywords

  • Teorema da Curva de Jordan
  • Euclides

Cite this