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.

Jacques Carette
SearchCollections
Map detail
Jacques Carette12 visible / 12 total nodes / 11 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJacques CaretteAJacques CaretteResearcherRetrodictive Quantum ComputingWRetrodictive Quantum Co...preprint / 2022Leveraging the Information Contained in Theory PresentationsWLeveraging the Informat...preprint / 2020Symbolic Domain DecompositionWSymbolic Domain Decompo...preprint / 2010The Power of Vocabulary: The Case of Cyclotomic PolynomialsWThe Power of Vocabulary...preprint / 2010The MathScheme Library: Some Preliminary ExperimentsWThe MathScheme Library:...preprint / 2011Theory Presentation CombinatorsWTheory Presentation Com...preprint / 2012Realms: A Structure for Consolidating Knowledge about Mathematical TheoriesWRealms: A Structure for...preprint / 2014Formalizing of Category Theory in AgdaWFormalizing of Category...preprint / 2021The Space of Mathematical Software Systems -- A Survey of Paradigmatic SystemsWThe Space of Mathematic...preprint / 2020SAGA: A DSL for Story ManagementWSAGA: A DSL for Story M...preprint / 2011Fractional Types: Expressive and Safe Space Management for Ancilla BitsWFractional Types: Expre...preprint / 2020
Person11 links

Jacques Carette

Researcher

PaperRetrodictive Quantum ComputingAuthorship / preprint / 2022PaperLeveraging the Information Contained in Theory PresentationsAuthorship / preprint / 2020PaperSymbolic Domain DecompositionAuthorship / preprint / 2010PaperThe Power of Vocabulary: The Case of Cyclotomic PolynomialsAuthorship / preprint / 2010PaperThe MathScheme Library: Some Preliminary ExperimentsAuthorship / preprint / 2011PaperTheory Presentation CombinatorsAuthorship / preprint / 2012PaperRealms: A Structure for Consolidating Knowledge about Mathematical TheoriesAuthorship / preprint / 2014PaperFormalizing of Category Theory in AgdaAuthorship / preprint / 2021

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)