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

@@ 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