Preface to the Special Issue on Automated Reasoning Systems
Sign Up to like & getrecommendations! Published in 2019 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-019-09531-1
Abstract: On March 8, 2018, Tobias Nipkow celebrated his sixtieth birthday. In anticipation of the occasion, after some discussion in early 2016 among all the editors of the Journal of Automated Reasoning except Tobias, it was… read more here.
Keywords: automated reasoning; interactive theorem; special issue; reasoning systems ... See more keywords
Foreword to: Special Issue on Interactive Theorem Provers
Sign Up to like & getrecommendations! Published in 2022 at "Experimental Mathematics"
DOI: 10.1080/10586458.2022.2088982
Abstract: Here at Experimental Mathematics, we like to live up to our moniker. One of the seemingly major innovations in recent times is the rapid expansion of the capabilities of software for formalizing mathematics in interactive… read more here.
Keywords: interactive theorem; special issue; theorem provers; mathematics ... See more keywords