Applying abstraction and formal specification in numerical software design (Q1903758): Difference between revisions

@@ Property / describes a project that uses @@
+UNITY
@@ Property / describes a project that uses: UNITY / 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://doi.org/10.1016/0898-1221(95)00061-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2035364439
@@ Property / OpenAlex ID: W2035364439 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002154
@@ Property / cites work: Q4002154 / rank @@
+Normal rank
@@ Property / cites work @@
+Applying abstraction and formal specification in numerical software design
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3787422
@@ Property / cites work: Q3787422 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221371
@@ Property / cites work: Q3221371 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4325973
@@ Property / cites work: Q4325973 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997074
@@ Property / cites work: Q3997074 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel Gaussian elimination on an MIMD computer
@@ Property / cites work: Parallel Gaussian elimination on an MIMD computer / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4178451
@@ Property / cites work: Q4178451 / rank @@
+Normal rank
@@ Property / cites work @@
+The Evolution of the Minimum Degree Ordering Algorithm
+Normal rank
@@ Property / cites work @@
+A unifying graph model for designing parallel algorithms for tridiagonal systems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1903758