Mathemagix (Q13308): Difference between revisions

@@ Property / described by source @@
+Overview of the Mathemagix Type System
@@ Property / described by source: Overview of the Mathemagix Type System / rank @@
+Normal rank
@@ Property / described by source @@
+Modular SIMD arithmetic in M             <scp>athemagix</scp>
+Normal rank
@@ Property / described by source @@
+Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI software profile
@@ Property / MaRDI profile type: MaRDI software profile / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Software:13308