Views of Pi: definition and computation (Q5195256): Difference between revisions

@@ label / en / label / en @@
+Views of Pi: definition and computation
@@ Property / describes a project that uses @@
+C-CoRN
@@ Property / describes a project that uses: C-CoRN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL Light
@@ Property / describes a project that uses: HOL Light / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://hal.inria.fr/hal-01074926
@@ Property / full work available at URL: https://hal.inria.fr/hal-01074926 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1572316122
@@ Property / OpenAlex ID: W1572316122 / rank @@
+Normal rank
@@ Property / title @@
+Views of Pi: definition and computation (English)
@@ Property / title: Views of Pi: definition and computation (English) / rank @@
+Normal rank