An effective method is a computational that might, in principle, be executed by human. In this paper, I argue there are methods for computing not methods. The examples consider taken primarily from quantum computing, but these only meant to illustrative of much wider class. Quantum inference and parallelism involve steps might implemented multiple physical systems, cannot implemented, or at lea...

[4] Philippe Aubry and Marc Moreno Maza, Triangular sets for solving polynomial systems: A comparative implementation of four methods, Computing restrictions of ideals in finitely generated k-algebras by means of Buchberger's algorithm,

Efficient methods for conversion and solution of sparse systems of low-degree multivariate polynomials over GF(2) via SAT-solvers, 2007. Computing restrictions of ideals in finitely generated k-algebras by means of Buchberger's algorithm,