Rigorous Numerics in Dynamics (Q2813138): Difference between revisions

@@ Property / DOI @@
-.1090/noti1276
@@ Property / DOI: 10.1090/noti1276 / rank @@
-Normal rank
@@ Property / author @@
-Jan Bouwe Van Den Berg
@@ Property / author: Jan Bouwe Van Den Berg / rank @@
-Normal rank
@@ Property / author @@
+Jan Bouwe Van Den Berg
@@ Property / author: Jan Bouwe Van Den Berg / 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 @@
+CAPD
@@ Property / describes a project that uses: CAPD / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1090/noti1276
@@ Property / full work available at URL: https://doi.org/10.1090/noti1276 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2205089774
@@ Property / OpenAlex ID: W2205089774 / rank @@
+Normal rank
@@ Property / DOI @@
+.1090/NOTI1276
@@ Property / DOI: 10.1090/NOTI1276 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2813138