Functional programming concepts and straight-line programs in computer algebra (Q1849848): Difference between revisions

@@ Property / describes a project that uses @@
+Projective Noether
@@ Property / describes a project that uses: Projective Noether / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FOXBOX
@@ Property / describes a project that uses: FOXBOX / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4848611
@@ Property / cites work: Q4848611 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3139838
@@ Property / cites work: Q3139838 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4302494
@@ Property / cites work: Q4302494 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational methods of linear algebra
@@ Property / cites work: Computational methods of linear algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Dagwood
@@ Property / cites work: Dagwood / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for diophantine approximations
@@ Property / cites work: Lower bounds for diophantine approximations / rank @@
+Normal rank
@@ Property / cites work @@
+The Projective Noether Maple Package: Computing the dimension of a projective variety
+Normal rank
@@ Property / cites work @@
+Q4850731
@@ Property / cites work: Q4850731 / rank @@
+Normal rank
@@ Property / cites work @@
+Straight-line programs in geometric elimination theory
+Normal rank
@@ Property / cites work @@
+Q4352797
@@ Property / cites work: Q4352797 / rank @@
+Normal rank
@@ Property / cites work @@
+A Gröbner free alternative for polynomial system solving
+Normal rank
@@ Property / cites work @@
+Q4003880
@@ Property / cites work: Q4003880 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability and fast quantifier elimination in algebraically closed fields
+Normal rank
@@ Property / cites work @@
+Deformation techniques for efficient polynomial equation solving.
+Normal rank
@@ Property / cites work @@
+On the time-space complexity of geometric elimination procedures
+Normal rank
@@ Property / cites work @@
+Q3912021
@@ Property / cites work: Q3912021 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3942397
@@ Property / cites work: Q3942397 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic parsing in Haskell
@@ Property / cites work: Monadic parsing in Haskell / rank @@
+Normal rank
@@ Property / cites work @@
+Q4339528
@@ Property / cites work: Q4339528 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714022
@@ Property / cites work: Q4714022 / rank @@
+Normal rank
@@ Property / cites work @@
+Determinant: Old Algorithms, New Insights
@@ Property / cites work: Determinant: Old Algorithms, New Insights / rank @@
+Normal rank
@@ Property / cites work @@
+Q4352809
@@ Property / cites work: Q4352809 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic algorithms for geometric elimination
+Normal rank
@@ Property / cites work @@
+Algebraic simplification
@@ Property / cites work: Algebraic simplification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4352783
@@ Property / cites work: Q4352783 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3125531
@@ Property / cites work: Q3125531 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Probabilistic Algorithms for Verification of Polynomial Identities
+Normal rank
@@ Property / cites work @@
+Fast multiplication of large numbers
@@ Property / cites work: Fast multiplication of large numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4047029
@@ Property / cites work: Q4047029 / rank @@
+Normal rank
@@ Property / cites work @@
+Deforestation: Transforming programs to eliminate trees
+Normal rank
@@ Property / cites work @@
+Polynomial algorithms in computer algebra
@@ Property / cites work: Polynomial algorithms in computer algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3851616
@@ Property / cites work: Q3851616 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0378-4754(02)00035-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2002274904
@@ Property / OpenAlex ID: W2002274904 / rank @@
+Normal rank