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.

Steven Obua
SearchCollections
Map detail
Steven Obua9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSteven ObuaASteven ObuaResearcherAbstraction Logic: A New Foundation for (Computer) MathematicsWAbstraction Logic: A Ne...preprint / 2022Purely Functional Structured ProgrammingWPurely Functional Struc...preprint / 2011ProofPeer - A Cloud-based Interactive Theorem Proving SystemWProofPeer - A Cloud-bas...preprint / 2012Syntax and Semantics of Babel-17WSyntax and Semantics of...preprint / 2011Capturing Hiproofs in HOL LightWCapturing Hiproofs in H...preprint / 2013ProofPeer: Collaborative Theorem ProvingWProofPeer: Collaborativ...preprint / 2014Social Network Processes in the Isabelle and Coq Theorem Proving CommunitiesWSocial Network Processe...preprint / 2016A formal proof of the Kepler conjectureWA formal proof of the K...preprint / 2015
Person8 links

Steven Obua

Researcher

PaperAbstraction Logic: A New Foundation for (Computer) MathematicsAuthorship / preprint / 2022PaperPurely Functional Structured ProgrammingAuthorship / preprint / 2011PaperProofPeer - A Cloud-based Interactive Theorem Proving SystemAuthorship / preprint / 2012PaperSyntax and Semantics of Babel-17Authorship / preprint / 2011PaperCapturing Hiproofs in HOL LightAuthorship / preprint / 2013PaperProofPeer: Collaborative Theorem ProvingAuthorship / preprint / 2014PaperSocial Network Processes in the Isabelle and Coq Theorem Proving CommunitiesAuthorship / preprint / 2016PaperA formal proof of the Kepler conjectureAuthorship / preprint / 2015

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)