Reasoning with computer-assisted experiments in mathematics

TitleReasoning with computer-assisted experiments in mathematics
Publication TypeConference Proceedings
AuthorsDe Mol, L
EditorPrimiero, G, Allo, P
Download PDF (Author PDF)
PDF author (public):