Search results
From MaRDI portal
- WITH NO COMPUTABLE COPIES 2024-04-05 Paper Punctual 1-linear orders 2023-11-02 Paper A class of low linear orders having computable presentations 2023-09-15...10 bytes (18 words) - 22:55, 11 December 2023
- Publication Date of Publication Type A combinatorial algorithm to compute presentations of mapping class groups of orientable surfaces with one boundary...10 bytes (16 words) - 06:36, 7 October 2023
- Type https://portal.mardi4nfdi.de/entity/Q4234247 1999-09-08 Paper Computing presentations for subgroups of polycyclic groups and of context-free groups 1994-08-29...10 bytes (16 words) - 15:21, 24 September 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4786588 2002-12-17 Paper Computing presentations of Fuchsian groups via fat-graphs 2001-11-22 Paper On the use of...10 bytes (16 words) - 20:11, 24 September 2023
- invariants and Watanabe's conjecture 2022-04-25 Paper An algorithm to compute a presentation of pushforward modules 2018-01-05 Paper On the number of topological...10 bytes (18 words) - 14:29, 10 December 2023
- 2010-09-25 Paper On Index Sets of Some Properties of Computable Algebras 2010-07-29 Paper On computable presentations of some functional lattices 2009-12-18 Paper...10 bytes (18 words) - 01:08, 11 December 2023
- applications to Mond's conjecture 2019-06-26 Paper An algorithm to compute a presentation of pushforward modules 2018-01-05 Paper Multiple point spaces of...10 bytes (18 words) - 16:37, 12 December 2023
- of Σn 0-computable numberings 2006-10-24 Paper https://portal.mardi4nfdi.de/entity/Q5476772 2006-07-18 Paper Relative complexity for computable presentations...10 bytes (18 words) - 15:58, 24 September 2023
- Publication Date of Publication Type Computing subgroup presentations, using the coherence arguments of McCammond and Wise. 2006-07-20 Paper...10 bytes (16 words) - 11:05, 6 October 2023
- correspondence for collection in polycyclic groups. 2007-12-21 Paper Computing polycyclic presentations for polycyclic rational matrix groups. 2007-10-19 Paper https://portal...10 bytes (16 words) - 10:27, 25 September 2023
- problem of generating small convergent systems 1994-08-31 Paper Computing presentations for subgroups of polycyclic groups and of context-free groups 1994-08-29...10 bytes (17 words) - 09:55, 12 December 2023
- with Newton non-degenerate polars 2018-02-01 Paper An algorithm to compute a presentation of pushforward modules 2018-01-05 Paper The analytic classification...10 bytes (18 words) - 16:32, 12 December 2023
- Publication Date of Publication Type Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra...10 bytes (18 words) - 13:31, 13 December 2023
- Computational Properties of Undecidable Sentences 2018-02-19 Paper Computable quotient presentations of models of arithmetic and set theory 2017-12-20 Paper The...10 bytes (18 words) - 19:24, 24 September 2023
- Publication Date of Publication Type Making Presentation Math Computable 2023-05-30 Paper Making Presentation Math Computable: Proposing a Context Sensitive Approach...10 bytes (19 words) - 20:26, 24 September 2023
- 2021-07-09 Paper Computing the Schur multipliers of the Lie \(p\)-rings in the family defined by a symbolic Lie \(p\)-ring presentation 2021-06-03 Paper...10 bytes (17 words) - 06:25, 9 December 2023
- closed set computability 2008-10-08 Paper Real Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation 2008-09-17...10 bytes (17 words) - 21:11, 11 December 2023
- Positive presentations of families relative to \(e\)-oracles 2018-11-13 Paper DEGREES OF CATEGORICITY AND SPECTRAL DIMENSION 2018-05-02 Paper Computable embeddings...10 bytes (18 words) - 22:55, 11 December 2023
- 2013-08-19 Paper A \(\Delta^{0}_{2}\)-poset with no positive presentation 2013-02-21 Paper The computable embedding problem 2012-12-17 Paper...10 bytes (16 words) - 10:16, 6 October 2023
- Publication Date of Publication Type Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra...10 bytes (17 words) - 20:26, 24 September 2023
