O Sistema Especialista Polly 2000, Um sistema que classifica polígonos,  foi desenvolvido em 2001 no Grupo de Estudo de Inteligência Artificial Aplicada à Matemática (GEIAAM) por Jefferson Goulart José, José Roque Damasco Neto e Manuela Ribeiro com colaboração de Karim Cristina Siqueira e Ivanete Zuchi e orientação de Mirian Buss Gonçalves.
Este software consiste em uma reestruturação de um antigo software Poli 1.0 desenvolvidos por por Flávia Silveira Correia e Karin Cristina Siqueira (na época alunas de graduação do curso de bacharelado em matemática da UFSC), sob orientação da professora do Departamento de Matemática Msc. Cleide Regina Lentz Paladini. O motivo pelo qual o Poli 1.0 foi reestruturado foi que depois de pronto, constatou-se problemas de programação como conflitos de regras.
Seu objetivo principal é auxílio pedagógico na classificação de triângulos e quadriláteros. Com o software o usuário insere dados sobre triângulo ou quadrilátero que ele deseja classificar, a partir daí o computador faz uma pré-análise da situação e pergunta ao usuário qual a classificação do mesmo. Se o usuário acertar, o computador parabeniza pelo acerto e explica toda a situação, caso o usuário erre a classificação o computador lhe indica o seu erro na classificação mas não classifica o polígono, apenas deixa para o aluno refletir e para que ele tente novamente para que então ele consiga acertar.
Este software é considerado um Software Exercício e Prática, porém ele possui toda teoria envolvendo Poligonais, Polígonos, Triângulos e Quadriláteros (Além de suas classificações).

Dados Gerais:

Assunto: Auxílio na classificação de triângulos e quadriláteros;
Classificação: Exercício e Prática;
Público Alvo: 7a. e 8a. séries do ensino fundamental.