BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Merlin Carl
SearchCollections
Map detail
Merlin Carl13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMerlin CarlAMerlin CarlResearcherNatural Language Proof Checking in Introduction to Proof Classes -- First Experiences with DiprocheWNatural Language Proof ...preprint / 2022Decision times of infinite computationsWDecision times of infin...preprint / 2022Countable ranks at the first and second projective levelsWCountable ranks at the ...preprint / 2022Randomising RealisabilityWRandomising Realisabilitypreprint / 2021Automatized Evaluation of Formalization Exercises in MathematicsWAutomatized Evaluation ...preprint / 2020Resetting Infinite Time Blum-Shub-Smale-MachinesWResetting Infinite Time...preprint / 2020Using Automated Theorem Provers for Mistake Diagnosis in the Didactics of MathematicsWUsing Automated Theorem...preprint / 2020Towards a Church-Turing-Thesis for Infinitary ComputationsWTowards a Church-Turing...preprint / 2013A Note on the Decidability of the Necessity of AxiomsWA Note on the Decidabil...preprint / 2014A note on Autoreducibility for Infinite Time Register Machines and parameter-free Ordinal Turing MachinesWA note on Autoreducibil...preprint / 2014A Note on Always Decidable Propositional FormsWA Note on Always Decida...preprint / 2015A note on $\mathbb{Z}$ as a direct summand of nonstandard models of weak systems of arithmeticWA note on $\mathbb{Z}$ ...preprint / 2016
Person12 links

Merlin Carl

Researcher

PaperNatural Language Proof Checking in Introduction to Proof Classes -- First Experiences with DiprocheAuthorship / preprint / 2022PaperDecision times of infinite computationsAuthorship / preprint / 2022PaperCountable ranks at the first and second projective levelsAuthorship / preprint / 2022PaperRandomising RealisabilityAuthorship / preprint / 2021PaperAutomatized Evaluation of Formalization Exercises in MathematicsAuthorship / preprint / 2020PaperResetting Infinite Time Blum-Shub-Smale-MachinesAuthorship / preprint / 2020PaperUsing Automated Theorem Provers for Mistake Diagnosis in the Didactics of MathematicsAuthorship / preprint / 2020PaperTowards a Church-Turing-Thesis for Infinitary ComputationsAuthorship / preprint / 2013

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)