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.

Jared Davis
SearchCollections
Map detail
Jared Davis8 visible / 8 total nodes / 7 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJared DavisAJared DavisResearcherVerified AIG Algorithms in ACL2WVerified AIG Algorithms...preprint / 2013Industrial-Strength Documentation for ACL2WIndustrial-Strength Doc...preprint / 2014CWY Parametrization: a Solution for Parallelized Optimization of Orthogonal and Stiefel MatricesWCWY Parametrization: a ...preprint / 2021Bit-Blasting ACL2 TheoremsWBit-Blasting ACL2 Theoremspreprint / 2011Proceedings International Workshop on the ACL2 Theorem Prover and its ApplicationsWProceedings Internation...preprint / 2013Fix Your TypesWFix Your Typespreprint / 2015Stochastic Flows and Geometric Optimization on the Orthogonal GroupWStochastic Flows and Ge...preprint / 2020
Person7 links

Jared Davis

Researcher

PaperVerified AIG Algorithms in ACL2Authorship / preprint / 2013PaperIndustrial-Strength Documentation for ACL2Authorship / preprint / 2014PaperCWY Parametrization: a Solution for Parallelized Optimization of Orthogonal and Stiefel MatricesAuthorship / preprint / 2021PaperBit-Blasting ACL2 TheoremsAuthorship / preprint / 2011PaperProceedings International Workshop on the ACL2 Theorem Prover and its ApplicationsAuthorship / preprint / 2013PaperFix Your TypesAuthorship / preprint / 2015PaperStochastic Flows and Geometric Optimization on the Orthogonal GroupAuthorship / 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)