Equality in computer algebra and beyond. (Q1404423): Difference between revisions

@@ Property / Wikidata QID @@
+Q59590626
@@ Property / Wikidata QID: Q59590626 / 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 @@
+LARCH
@@ Property / describes a project that uses: LARCH / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Magma
@@ Property / describes a project that uses: Magma / 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 @@
+GAP
@@ Property / describes a project that uses: GAP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+REDUCE
@@ Property / describes a project that uses: REDUCE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LISP
@@ Property / describes a project that uses: LISP / 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.1006/jsco.2002.0551
+Normal rank
@@ Property / OpenAlex ID @@
+W1982013717
@@ Property / OpenAlex ID: W1982013717 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3331506
@@ Property / cites work: Q3331506 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234284
@@ Property / cites work: Q4234284 / rank @@
+Normal rank
@@ Property / cites work @@
+The Magma algebra system. I: The user language
@@ Property / cites work: The Magma algebra system. I: The user language / rank @@
+Normal rank
@@ Property / cites work @@
+Rational Exponential Expressions and a Conjecture Concerning π and e
+Normal rank
@@ Property / cites work @@
+Formal and efficient primality proofs by use of computer algebra oracles
+Normal rank
@@ Property / cites work @@
+Q4322849
@@ Property / cites work: Q4322849 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536341
@@ Property / cites work: Q4536341 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4302494
@@ Property / cites work: Q4302494 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4232479
@@ Property / cites work: Q4232479 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282672
@@ Property / cites work: Q4282672 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite power series
@@ Property / cites work: Infinite power series / rank @@
+Normal rank
@@ Property / cites work @@
+An exact real algebraic arithmetic with equality determination
+Normal rank
@@ Property / cites work @@
+Q4023355
@@ Property / cites work: Q4023355 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing with polynomials given by black boxes for their evaluations: greatest common divisors, factorization, separation of numerators and denominators
+Normal rank
@@ Property / cites work @@
+Explicit Galois realization of transitive groups of degree up to 15
+Normal rank
@@ Property / cites work @@
+Computing with Formal Power Series
@@ Property / cites work: Computing with Formal Power Series / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic algorithm for testing primality
@@ Property / cites work: Probabilistic algorithm for testing primality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234243
@@ Property / cites work: Q4234243 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4317890
@@ Property / cites work: Q4317890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997095
@@ Property / cites work: Q3997095 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1404423