scientific article; zbMATH DE number 1390022
From MaRDI portal
Publication:4934287
zbMath0944.03040MaRDI QIDQ4934287
Viggo Stoltenberg-Hansen, J. V. Tucker
Publication date: 20 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Theory of numerations, effectively presented structures (03D45)
Related Items
Primitive recursive ordered fields and some applications, The computability, definability, and proof theory of Artinian rings, Algebraic specifications of computable and semicomputable data types, Formal spaces and their effective presentations, Partial arithmetical data types of rational numbers and their equational specification, Eager Equality for Rational Number Arithmetic, Programming Experimental Procedures for Newtonian Kinematic Machines, Irreducibles and Primes in Computable Integral Domains, On constructive number fields and computability of solutions of PDEs, Characterizations of semicomputable sets of real numbers, Ideals in computable rings, Identifying the Matrix Ring: Algorithms for Quaternion Algebras and Quadratic Forms, Theses for Computation and Recursion on Concrete and Abstract Structures, Generalizing Computability Theory to Abstract Algebras, The complexity of module radicals, The wheel of rational numbers as an abstract data type, Proper divisibility in computable rings, The complexity of primes in computable unique factorization domains, Spectra of Algebraic Fields and Subfields, Categorical simulations, Experimental computation of real numbers by Newtonian machines, Is it harder to factor a polynomial or to find a root?, Chain conditions in computable rings, Meadows and the equational specification of division, Division safe calculation in totalised fields, Computations via Newtonian and relativistic kinematic systems, Computable categoricity for algebraic fields with splitting algorithms, Categoricity properties for computable algebraic fields, Domain representations of topological spaces, Computable procedures for fields
