Applications of real number theorem proving in PVS

Overview of attention for article published in Formal Aspects of Computing, June 2012

Altmetric Badge

Mentioned by

twitter: 1 X user

Citations

dimensions_citation: 2 Dimensions

Readers on

mendeley: 5 Mendeley

Summary X Dimensions citations

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

Applications of real number theorem proving in PVS. ~ H. Gottliebsen et als. http://t.co/YHvgXXU9yG #PVS

Reply Repost Favourite