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.

Jónathan Heras
SearchCollections
Map detail
Jónathan Heras13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJónathan HerasAJónathan HerasResearcherStatistical Proof Pattern Recognition: Automated or Interactive?WStatistical Proof Patte...preprint / 2013Computing Persistent Homology within Coq/SSReflectWComputing Persistent Ho...preprint / 2012Verifying an algorithm computing Discrete Vector Fields for digital imagingWVerifying an algorithm ...preprint / 2012Proof-Pattern Recognition and Lemma Discovery in ACL2WProof-Pattern Recogniti...preprint / 2013ML4PG in Computer Algebra verificationWML4PG in Computer Algeb...preprint / 2013Verifying a platform for digital imaging: a multi-tool strategyWVerifying a platform fo...preprint / 2013Proof Pattern Search in Coq/SSReflectWProof Pattern Search in...preprint / 2014Recycling Proof Patterns in Coq: Case StudiesWRecycling Proof Pattern...preprint / 2014HoTT formalisation in Coq: Dependency Graphs \& ML4PGWHoTT formalisation in C...preprint / 2014(Co)recursion in Logic Programming: Lazy vs EagerW(Co)recursion in Logic ...preprint / 2014ACL2(ml): Machine-Learning for ACL2WACL2(ml): Machine-Learn...preprint / 2014Effective Homology of the Pushout of Simplicial SetsWEffective Homology of t...preprint / 2014
Person12 links

Jónathan Heras

Researcher

PaperStatistical Proof Pattern Recognition: Automated or Interactive?Authorship / preprint / 2013PaperComputing Persistent Homology within Coq/SSReflectAuthorship / preprint / 2012PaperVerifying an algorithm computing Discrete Vector Fields for digital imagingAuthorship / preprint / 2012PaperProof-Pattern Recognition and Lemma Discovery in ACL2Authorship / preprint / 2013PaperML4PG in Computer Algebra verificationAuthorship / preprint / 2013PaperVerifying a platform for digital imaging: a multi-tool strategyAuthorship / preprint / 2013PaperProof Pattern Search in Coq/SSReflectAuthorship / preprint / 2014PaperRecycling Proof Patterns in Coq: Case StudiesAuthorship / preprint / 2014

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)