Overview of the Mathemagix Type System (Q2799572): Difference between revisions

@@ Property / describes a project that uses @@
+Maxima
@@ Property / describes a project that uses: Maxima / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+IBM Scratchpad
@@ Property / describes a project that uses: IBM Scratchpad / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Macaulay2
@@ Property / describes a project that uses: Macaulay2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SageMath
@@ Property / describes a project that uses: SageMath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MACSYMA
@@ Property / describes a project that uses: MACSYMA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ALDOR
@@ Property / describes a project that uses: ALDOR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AXIOM
@@ Property / describes a project that uses: AXIOM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MPFR
@@ Property / describes a project that uses: MPFR / 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 @@
+FGb
@@ Property / describes a project that uses: FGb / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FFTW
@@ Property / describes a project that uses: FFTW / 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.1007/978-3-662-43799-5_27
+Normal rank
@@ Property / OpenAlex ID @@
+W968016795
@@ Property / OpenAlex ID: W968016795 / rank @@
+Normal rank