Search results
From MaRDI portal
- zbMath Open NoneMaRDI QIDQ1294575 This page was built for person: V. Pereyra...10 bytes (12 words) - 12:11, 24 September 2023
- zbMath Open NoneMaRDI QIDQ1349019 This page was built for person: O. Diekmann...10 bytes (12 words) - 10:06, 24 September 2023
- zbMath Open NoneMaRDI QIDQ1667024 This page was built for person: Peng Zhang...10 bytes (12 words) - 13:22, 28 January 2024
- zbMath Open NoneMaRDI QIDQ624377 This page was built for person: Juan-Miguel Gracia...10 bytes (13 words) - 07:10, 7 October 2023
- publication: Quantifier elimination for the reals with a predicate for the powers of two Report a bug (only for logged in users!)Click here to report a bug for this...15 bytes (396 words) - 15:19, 30 January 2024
- (Search for Journal in Brave) Abstract: The theory ACFA admits a primitive recursive quantifier elimination procedure. It is therefore primitive recursively...15 bytes (275 words) - 05:10, 1 February 2024
- Termination proofs by multiset path orderings imply primitive recursive derivation lengths Quantifier elimination for modules with scalar variables Application of...15 bytes (642 words) - 09:59, 30 January 2024
- elementary proof of Sylvester's double sums for subresultants Primitive polynomial remainder sequences in elimination theory An elementary approach to subresultants...15 bytes (924 words) - 03:24, 7 March 2024
- provably recursive functions 👍 👎 Towards an algebraic theory of recursion 👍 👎 A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration...15 bytes (442 words) - 13:37, 31 January 2024
- reflection principle for bounded arithmetic Ambiguous classes in \(\mu\)-calculi hierarchies Primitive recursive selection functions for existential assertions...15 bytes (884 words) - 07:51, 31 January 2024
- (13F20) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Quantifier elimination, model completeness, and related...15 bytes (467 words) - 12:57, 8 February 2024
- page was built for publication: On Canonical Forms and Simplification Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI...15 bytes (256 words) - 03:47, 7 March 2024
- and solid solutions. Diophantine geometry over groups. V\(_1\): Quantifier elimination. I. Diophantine Problems Over Local Fields I Strongly minimal expansions...15 bytes (2,271 words) - 13:35, 2 February 2024
- nondeterministic reductions A linear-time algorithm for the orbit problem over cyclic groups Pseudorandom bits for constant depth circuits On the complexity of...15 bytes (1,144 words) - 02:04, 31 January 2024
- (68W99) Software, source code, etc. for problems pertaining to field theory (12-04) Cited In (40) Primitive recursive ordered fields and some applications...15 bytes (435 words) - 08:36, 5 February 2024
