Search results
From MaRDI portal
- cluster algebras 2016-08-23 Paper Subtraction-free complexity, cluster transformations, and spanning trees 2016-03-04 Paper In memoriam: Andrei Zelevinsky...10 bytes (18 words) - 17:00, 6 December 2023
- Paper Transformations of discrete closure systems 2014-07-21 Paper MATHEMATICAL EVOLUTION IN DISCRETE NETWORKS 2014-07-03 Paper Transformations of Concept...10 bytes (18 words) - 18:18, 24 September 2023
- with constructors 1982-01-01 Paper A complete proof of correctness of the Knuth-Bendix completion algorithm 1981-01-01 Paper Confluent Reductions: Abstract...10 bytes (18 words) - 01:05, 13 December 2023
- and Computation Structures 2007-09-28 Paper Graph Transformations 2007-06-21 Paper Graph Transformations 2007-06-21 Paper https://portal.mardi4nfdi.de/entity/Q3416074...10 bytes (16 words) - 00:32, 10 December 2023
- Tools for Teaching: Implementing Knuth's Algorithm for Mastering Mastermind 2018-10-22 Paper Voicing Transformations of Triads 2018-06-12 Paper Hexatonic...10 bytes (18 words) - 05:44, 12 December 2023
- crystals, generalized geometric RSK-correspondences, and Donaldson-Thomas transformations 2019-07-02 Paper https://portal.mardi4nfdi.de/entity/Q5377401 2019-05-24...10 bytes (19 words) - 01:34, 9 December 2023
- https://portal.mardi4nfdi.de/entity/Q4409662 2004-01-11 Paper Modular transformations of Ramanujan's fifth and seventh order mock theta functions 2004-01-06...10 bytes (17 words) - 23:15, 12 December 2023
- mardi4nfdi.de/entity/Q5277887 2017-07-12 Paper Correctness of Context-Moving Transformations for Term Rewriting Systems 2016-02-05 Paper Proving Confluence of Term...10 bytes (16 words) - 13:36, 24 September 2023
- Combinatorial model and Stieltjes moment representation 2022-03-11 Paper The Graham-Knuth-Patashnik recurrence: symmetries and continued fractions 2021-05-11 Paper...10 bytes (19 words) - 15:03, 7 December 2023
- 2004-12-29 Paper https://portal.mardi4nfdi.de/entity/Q4462761 2004-05-18 Paper KNUTH–BENDIX FOR GROUPS WITH INFINITELY MANY RULES 2002-12-15 Paper COMPUTATION...10 bytes (21 words) - 22:18, 12 December 2023
- heights on endomorphism rings 2000-08-09 Paper Height preserving linear transformations on semisimple \(K\)-algebras 1997-08-14 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 11:58, 6 October 2023
- Automatic termination proofs with transformation orderings 2022-12-09 Paper AC-Termination of rewrite systems: A modified Knuth-Bendix ordering 2022-08-16 Paper...10 bytes (16 words) - 14:57, 24 September 2023
- Complexity Induced by the Dependency Pair Method 2012-04-02 Paper On Transfinite Knuth-Bendix Orders 2011-07-29 Paper Joint Spectral Radius Theory for Automated...10 bytes (16 words) - 10:43, 6 October 2023
- On an extension of Knuth's rotation correspondence to reduced planar trees 2014-09-25 Paper The Magnus expansion, trees and Knuth's rotation correspondence...10 bytes (19 words) - 21:45, 9 December 2023
- de/entity/Q5640388 1972-01-01 Paper Intrinsic characterization of polynomial transformations between vector spaces over a field of characteristic zero 1968-01-01...10 bytes (18 words) - 20:33, 6 October 2023
- 1998-03-05 Paper Fast Gaussian random number generation using linear transformations 1998-03-03 Paper Fractal digital sums and codes 1997-11-13 Paper An...10 bytes (19 words) - 19:35, 8 December 2023
- types 1988-01-01 Paper Only prime superpositions need be considered in the Knuth-Bendix completion procedure 1988-01-01 Paper Problem corner: Proving equivalence...10 bytes (17 words) - 17:54, 11 December 2023
- 2017-03-23 Paper Rogers-Ramanujan identities and the Robinson-Schensted-Knuth correspondence 2017-02-22 Paper https://portal.mardi4nfdi.de/entity/Q2959958...10 bytes (16 words) - 12:50, 8 December 2023
- prescribed bottom row 2007-01-26 Paper Another refinement of the Bender-Knuth (ex-)conjecture 2006-03-22 Paper Computational experience with a bundle approach...10 bytes (17 words) - 20:02, 24 September 2023
- conjectures 1977-01-01 Paper Plane partitions. II: The equivalence of the Bender-Knuth and MacMahon conjectures 1977-01-01 Paper MacMahon's conjecture on symmetric...10 bytes (19 words) - 11:45, 8 December 2023
