Search results
From MaRDI portal
- multivariate arithmetic Tutte polynomial 2014-09-19 Paper Matroids over a ring 2014-02-18 Paper Arithmetic matroids, the Tutte polynomial and toric arrangements...10 bytes (16 words) - 10:12, 7 October 2023
- refinement of real roots of a univariate polynomial 2015-12-08 Paper Matrix structure, polynomial arithmetic, and erasure-resilient encoding/decoding 2015-11-26...10 bytes (19 words) - 17:19, 6 December 2023
- inclusion algorithms for polynomial multiple complex zeros in rectangular arithmetic 1991-01-01 Paper A hybrid method for polynomial complex zero 1991-01-01...10 bytes (19 words) - 11:31, 9 December 2023
- \(q \in \{3,9\}\)] 2011-01-17 Paper POLYNOMIAL PARAMETRIZATION OF PYTHAGOREAN TUPLES 2010-10-20 Paper Polynomial parametrization for the solutions of...10 bytes (23 words) - 18:08, 11 December 2023
- Algebraic Problems Using Stochastic Arithmetic 2009-03-26 Paper Testing Stochastic Arithmetic and CESTAC Method Via Polynomial Computation 2008-01-02 Paper Numerical...10 bytes (16 words) - 04:40, 9 December 2023
- quantifier complexity of polynomial-size iterated definitions in first-order logic 2011-01-10 Paper POLYNOMIAL LOCAL SEARCH IN THE POLYNOMIAL HIERARCHY AND WITNESSING...10 bytes (19 words) - 14:53, 7 December 2023
- roots of a polynomial lie within the unit circle 1976-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4068034 1975-01-01 Paper Congruence arithmetic algorithms...10 bytes (18 words) - 12:23, 13 December 2023
- SAT solvers 2010-06-17 Paper Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic 2009-07-28 Paper Cardinality Networks and Their...10 bytes (18 words) - 00:42, 12 December 2023
- Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic” 2022-03-29 Paper Emulating...10 bytes (18 words) - 11:26, 11 December 2023
- Durand-Kerner iterations for univariate polynomial root-finding 2004-06-15 Paper Effective fast algorithms for polynomial spectral factorization 2004-01-14 Paper...10 bytes (19 words) - 06:10, 9 December 2023
- integers 2018-09-14 Paper Polynomial values of (alternating) power sums 2017-03-31 Paper On the coefficients of power sums of arithmetic progressions 2015-05-13...10 bytes (17 words) - 21:45, 11 December 2023
- 2011-04-16 Paper Efficient polynomial system-solving by numerical methods 2011-04-13 Paper Smale’s 17th problem: Average polynomial time to compute affine...10 bytes (18 words) - 03:51, 9 December 2023
- friendly ghosts 2002-06-11 Paper SOLVABLE ARITHMETIC GROUPS AND ARITHMETICITY PROBLEMS 2001-08-01 Paper Non-arithmetic polycyclic groups 2001-06-19 Paper Analytic...10 bytes (19 words) - 14:05, 8 December 2023
- multi-homogeneous polynomial system solving -- application to polynomial minimization 2018-01-12 Paper On the evaluation of some sparse polynomials 2018-01-12...10 bytes (17 words) - 02:24, 10 December 2023
- on uniform arithmetic circuit complexity 1994-11-13 Paper The computational efficacy of finite-field arithmetic 1993-05-24 Paper An arithmetic model of computation...10 bytes (19 words) - 15:18, 10 December 2023
- fragments of bounded arithmetic 2010-04-15 Paper The polynomial and linear time hierarchies in V0 2009-10-14 Paper The polynomial and linear hierarchies...10 bytes (19 words) - 18:17, 11 December 2023
- Algebraic Problems Using Stochastic Arithmetic 2009-03-26 Paper Testing Stochastic Arithmetic and CESTAC Method Via Polynomial Computation 2008-01-02 Paper Large-Scale...10 bytes (18 words) - 04:41, 9 December 2023
- solutions to arithmetic differential equations 2017-08-17 Paper Foundations of Arithmetic Differential Geometry 2017-07-25 Paper Arithmetic Differential...10 bytes (17 words) - 10:30, 9 December 2023
- Relative to Arithmetic Progressions, I. (General Results) 2019-08-28 Paper On Irregularities of Distribution of Binary Sequences Relative to Arithmetic Progressions...10 bytes (17 words) - 17:17, 8 December 2023
- 2012-10-19 Paper On Lower Bounds for Constant Width Arithmetic Circuits 2009-12-17 Paper Arithmetic Circuits, Monomial Algebras and Finite Automata 2009-10-16...10 bytes (18 words) - 19:34, 13 December 2023