Intelligent Computer Mathematics

Overview of attention for book

Springer Nature Switzerland

Altmetric Badge

Book Overview
Altmetric Badge

Chapter 14 Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method
Altmetric Badge

Chapter 15 Multiple-Inheritance Hazards in Dependently-Typed Algebraic Hierarchies
Altmetric Badge

Chapter 16 CoProver: A Recommender System for Proof Construction

Attention for Chapter 16: CoProver: A Recommender System for Proof Construction

Altmetric Badge

Mentioned by

twitter: 1 X user

Readers on

mendeley: 1 Mendeley

Summary X

So far, Altmetric has seen 1 X post from an account with 3,771 followers.

CoProver: A recommender system for proof construction. ~ Eric Yeh, Briland Hitaj, Sam Owre, Maena Quemener, Natarajan Shankar. https://t.co/LvBNk6GQbP #ITP #PVS

15 Apr 2024

Reply Repost Favourite

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.

Intelligent Computer Mathematics

Table of Contents

Mentioned by

Readers on