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.

Florian Rabe
SearchCollections
Map detail
Florian Rabe13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipFlorian RabeAFlorian RabeResearcherRepresenting Isabelle in LFWRepresenting Isabelle i...preprint / 2010A Scalable Module SystemWA Scalable Module Systempreprint / 2011A Query Language for Formal Mathematical LibrariesWA Query Language for Fo...preprint / 2012A Foundational View on Integration ProblemsWA Foundational View on ...preprint / 2011The MMT API: A Generic MKM SystemWThe MMT API: A Generic ...preprint / 2013A Logic-Independent IDEWA Logic-Independent IDEpreprint / 2014A Survey of Languages for Formalizing MathematicsWA Survey of Languages f...preprint / 2020Making Isabelle Content Accessible in Knowledge Representation FormatsWMaking Isabelle Content...preprint / 2020Experiences from Exporting Major Proof Assistant LibrariesWExperiences from Export...preprint / 2020Towards MKM in the Large: Modular Representation and Scalable Software ArchitectureWTowards MKM in the Larg...preprint / 2010TGView3D System Description: 3-Dimensional Visualization of Theory GraphsWTGView3D System Descrip...preprint / 2020A Universal Machine for Biform Theory GraphsWA Universal Machine for...preprint / 2013
Person12 links

Florian Rabe

Researcher

PaperRepresenting Isabelle in LFAuthorship / preprint / 2010PaperA Scalable Module SystemAuthorship / preprint / 2011PaperA Query Language for Formal Mathematical LibrariesAuthorship / preprint / 2012PaperA Foundational View on Integration ProblemsAuthorship / preprint / 2011PaperThe MMT API: A Generic MKM SystemAuthorship / preprint / 2013PaperA Logic-Independent IDEAuthorship / preprint / 2014PaperA Survey of Languages for Formalizing MathematicsAuthorship / preprint / 2020PaperMaking Isabelle Content Accessible in Knowledge Representation FormatsAuthorship / preprint / 2020

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)