A formal proof of Pick's Theorem (Q3094172): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The Jordan-Schonflies Theorem and the Classification of Surface
+Normal rank
@@ Property / cites work @@
+Q5773424
@@ Property / cites work: Q5773424 / rank @@
+Normal rank
@@ Property / cites work @@
+Without Loss of Generality
@@ Property / cites work: Without Loss of Generality / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing an analytic proof of the prime number theorem
+Normal rank
@@ Property / cites work @@
+Euler's characteristics and Pick's theorem
@@ Property / cites work: Euler's characteristics and Pick's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Pick's Formula via the Weierstrass ℘-Function
@@ Property / cites work: Pick's Formula via the Weierstrass ℘-Function / rank @@
+Normal rank
@@ Property / cites work @@
+Another Proof of Pick's Area Theorem
@@ Property / cites work: Another Proof of Pick's Area Theorem / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129511000089
+Normal rank
@@ Property / OpenAlex ID @@
+W1997850401
@@ Property / OpenAlex ID: W1997850401 / rank @@
+Normal rank