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.

Ruben Gamboa
SearchCollections
Map detail
Ruben Gamboa12 visible / 12 total nodes / 11 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRuben GamboaARuben GamboaResearcherAll Prime Numbers Have Primitive RootsWAll Prime Numbers Have ...preprint / 2022Using ACL2 To Teach Students About Software TestingWUsing ACL2 To Teach Stu...preprint / 2022Proceedings International Workshop on the ACL2 Theorem Prover and its ApplicationsWProceedings Internation...preprint / 2013Formal Verification of Medina's Sequence of Polynomials for Approximating ArctangentWFormal Verification of ...preprint / 2014A Free Group of Rotations of Rank 2WA Free Group of Rotatio...preprint / 2022Implementing an Automatic Differentiator in ACL2WImplementing an Automat...preprint / 2011Verifying Sierpiński and Riesel Numbers in ACL2WVerifying Sierpiński an...preprint / 2011How Computers Work: Computational Thinking for EveryoneWHow Computers Work: Com...preprint / 2013An Interpreter for Quantum CircuitsWAn Interpreter for Quan...preprint / 2013Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real AnalysisWEquivalence of the Trad...preprint / 2014Perfect Numbers in ACL2WPerfect Numbers in ACL2preprint / 2015
Person11 links

Ruben Gamboa

Researcher

PaperAll Prime Numbers Have Primitive RootsAuthorship / preprint / 2022PaperUsing ACL2 To Teach Students About Software TestingAuthorship / preprint / 2022PaperProceedings International Workshop on the ACL2 Theorem Prover and its ApplicationsAuthorship / preprint / 2013PaperFormal Verification of Medina's Sequence of Polynomials for Approximating ArctangentAuthorship / preprint / 2014PaperA Free Group of Rotations of Rank 2Authorship / preprint / 2022PaperImplementing an Automatic Differentiator in ACL2Authorship / preprint / 2011PaperVerifying Sierpiński and Riesel Numbers in ACL2Authorship / preprint / 2011PaperHow Computers Work: Computational Thinking for EveryoneAuthorship / 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)