This tutorial will introduce listeners to many questions that can be asked about computable processes on fields, and will present the answers that are known, sometimes with proofs. This is not original work. The questions in greatest focus here include decision procedures for the existence of roots of polynomials in specific fields, for the irreducibility of polynomials over those fields, and for transcendence of specific elements over the prime subfield. Several of these questions are related to the construction of algebraic closures, making Rabin\u27s Theorem prominent
Abstract. A computably presented algebraic field F has a splitting algorithm if it is decidable whic...
The effective content of ordered fields is investigated using tools of computability theory and reve...
At its core, much of Computational Complexity is concerned with combinatorial objects and structures...
This tutorial will introduce listeners to many questions that can be asked about computable processe...
© 2018, Pleiades Publishing, Ltd. We prove that the field of complex algebraic numbers and the order...
Abstract. For a computable field F, the splitting set S is the set of poly-nomials p(X) ∈ F [X] whi...
AbstractThis paper deals with the problem of computing the degrees and multiplicities of the irreduc...
Computational Complexity is concerned with the resources that are required for algorithms to detect ...
In this paper, I present an introduction to computability theory and adopt contemporary mathematical...
This dissertation addresses questions in computable structure theory, which is a branch of mathemati...
© 2018, Springer International Publishing AG, part of Springer Nature. Using an extension of the not...
grantor: University of TorontoThis thesis investigates several algebraic algorithms that d...
This book is a development of class notes for a two-hour lecture including a two-hour lab held for s...
We present algorithms to construct and perform computations in algebraic closures of finite fields. ...
Computational Complexity is concerned with the resources that are required for algorithms to detect ...
Abstract. A computably presented algebraic field F has a splitting algorithm if it is decidable whic...
The effective content of ordered fields is investigated using tools of computability theory and reve...
At its core, much of Computational Complexity is concerned with combinatorial objects and structures...
This tutorial will introduce listeners to many questions that can be asked about computable processe...
© 2018, Pleiades Publishing, Ltd. We prove that the field of complex algebraic numbers and the order...
Abstract. For a computable field F, the splitting set S is the set of poly-nomials p(X) ∈ F [X] whi...
AbstractThis paper deals with the problem of computing the degrees and multiplicities of the irreduc...
Computational Complexity is concerned with the resources that are required for algorithms to detect ...
In this paper, I present an introduction to computability theory and adopt contemporary mathematical...
This dissertation addresses questions in computable structure theory, which is a branch of mathemati...
© 2018, Springer International Publishing AG, part of Springer Nature. Using an extension of the not...
grantor: University of TorontoThis thesis investigates several algebraic algorithms that d...
This book is a development of class notes for a two-hour lecture including a two-hour lab held for s...
We present algorithms to construct and perform computations in algebraic closures of finite fields. ...
Computational Complexity is concerned with the resources that are required for algorithms to detect ...
Abstract. A computably presented algebraic field F has a splitting algorithm if it is decidable whic...
The effective content of ordered fields is investigated using tools of computability theory and reve...
At its core, much of Computational Complexity is concerned with combinatorial objects and structures...