Open AccessProof as a Mathematical Object - Proposals for a Research Program
Author(s) -
Pēteris Daugulis
Publication year - 2020
Publication title -
baltic journal of modern computing
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.127
H-Index - 3
eISSN - 2255-8950
pISSN - 2255-8942
DOI - 10.22364/bjmc.2020.8.2.01
Subject(s) - computer science , object (grammar) , programming language , mathematics education , calculus (dental) , mathematics , artificial intelligence , medicine , dentistry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom