Tornar als detalls de l'article Descobriment de coneixement matemàtic mitjançant la reformulació de conjectures falses en un ambient de proves i refutacions Descarrega el PDF