A Probabilistic Remark on Algebraic Program Testing

Keywords

Monomial, Mathematics, Modulo, Time complexity, Generalization

References

• Testing for software reliabilityJonathan R. Brown, M. Lipow — 1975
• Social processes and proofs of theorems and programsRichard A. DeMillo, Richard J. Lipton, Alan J. Perlis — 1977

Cited by

• Characterizing generic global rigidityYuan Zhang, Shutang Liu, Xiuyang Zhao — 2007
• Représentations des polynômes, algorithmes et bornes inférieures. (Representations of polynomials, algorithms and lower bounds)Bruno Grenet — 2012
• A Case of Depth-3 Identity Testing, Sparse Factorization and DualityChandan Saha, Ramprasad Saptharishi, Nitin Saxena — 2013
• Early termination strategies in sparse interpolation algorithmsWen-shin Lee, Erich Kaltofen — 2001
• Computational complexity in entanglement transformationsEric Chitambar — 2010
• Derandomizing Polynomial Identity Testing for Multilinear Constant-Read FormulaeMatthew Anderson, Dieter van Melkebeek, Ilya Volkovich — 2011
• Learning polynomials with queries: The highly noisy caseOded Goldreich, Ronitt Rubinfeld, Madhu Sudan — 1995
• On the complexity of numerical analysisEric Allender, Peter Bürgisser, Johan Kjeldgaard-Pedersen — 2006
• Read-once polynomial identity testingAmir Shpilka, Ilya Volkovich — 2008
• The Compressed Word Problem for GroupsMarkus Lohrey — 2014
• Efficient Computation with Sparse and Dense PolynomialsDaniel S. Roche — 2011
• MATRIX RANK CERTIFICATIONB. David Saunders, Arne Storjohann, Gilles Villard — 2004
• TR-2012009: Randomized Matrix Computations IVVictor Y. Pan, Guoliang Qian, Ai-Long Zheng — 2012
• TR-2014009: Estimating the Norms of Random Circulant and Toeplitz Matrices and Their Inverses IIVictor Y. Pan, Guoliang Qian, John Svadlenka — 2013
• Randomized Matrix ComputationsVictor Y. Pan, Guoliang Qian, Ai-Long Zheng — 2012
• A Simple Algorithm for HamiltonicityHasan Abasi, Nader H. Bshouty — 2014
• A conceptual model of software testingA. C. Marshall — 1991
• Spectral Super-Resolution With Prior KnowledgeKumar Vijay Mishra, Myung Cho, Anton Kruger — 2014
• Introduction to TreewidthDaniela Bronner, Bernard Ries — 2018
• Algebraic independence and blackbox identity testingMalte Beecken, Johannes Mittmann, Nitin Saxena — 2011

Related papers

• Towards a bifurcation theory for perturbed monomial dynamical systems modulo a primeMarcus Nilsson — 2013
• Research on Reconfigurable Modulo Operation UnitTao Meng, Zibin Dai — 2008
• The research of reconfigurable multiplication modulo instructionDai Zi — 2007
• An improved scheme of Montgomery algorithm for module power multiplicationBeibei Jin — 2006
• Design Research of 1024-bit RSA CryptosystemDuan Ben-qin — 2009
• Multiplication with Fourier Optics Simulating 16-Bit Modular MultiplicationAbigail N. Timmel, John T. Daly — 2018
• A Division-Free Toom–Cook Multiplication-Based Montgomery Modular MultiplicationZhen Gu, Shuguo Li — 2019
• Space/Time Trade-Offs for Higher Radix Modular Multiplication Using Repeated AdditionColin D. Walter — 1997
• A Simplified Modulo (2n-1) Squaring Scheme for Residue Number SystemArash Hariri, Keivan Navi, Reza Rastegar — 2005