Authors: Watase, Yasushige
Subject Terms: affine algebraic set, multivariate polynomial
File Description: application/pdf
Relation: Formalized Mathematics, Volume 31, Issue 1, Pages 67-73; http://hdl.handle.net/11320/15417; Formalized Mathematics
Authors: Watase, Yasushige
Subject Terms: bag, formal power series, polynomial ring
File Description: application/pdf
Relation: Formalized Mathematics, Volume 31, Issue 1, Pages 1-8; http://hdl.handle.net/11320/15400; Formalized Mathematics
Authors: Pąk, Karol
Subject Terms: polynomial reduction, prime representing polynomial
File Description: application/pdf
Relation: Formalized Mathematics, Volume 30, Issue 4, Pages 255-279; http://hdl.handle.net/11320/14706; Formalized Mathematics
Authors: Pąk, Karol
Subject Terms: polynomial reduction, diophantine equation
File Description: application/pdf
Relation: Formalized Mathematics, Volume 30, Issue 3, Pages 169-198; http://hdl.handle.net/11320/14668; Formalized Mathematics
Authors: Schwarzweller, Christoph
Subject Terms: algebraic closures, polynomial rings with countably infinite numberof variables, Emil Artin
File Description: application/pdf
Relation: Formalized Mathematics, Volume 30, Issue 4, Pages 281-294; http://hdl.handle.net/11320/14707; Formalized Mathematics
Authors: Schwarzweller, Christoph, Burgoa, Sara
Subject Terms: splitting fields, rational polynomials
File Description: application/pdf
Relation: https://creativecommons.org/licenses/by-sa/3.0/; Formalized Mathematics, Volume 30, Issue 1, Pages 23-30; http://hdl.handle.net/11320/14244; Formalized Mathematics; orcid:0000-0001-9587-8737
Authors: Pąk, Karol
Subject Terms: polynomial reduction, diophantine equation
File Description: application/pdf
Relation: Formalized Mathematics, Volume 30, Issue 4, Pages 245-253; http://hdl.handle.net/11320/14705; Formalized Mathematics
Authors: Schwarzweller, Christoph
Subject Terms: algebraic closures, polynomial rings with countably infinite number of variables, Emil Artin
File Description: application/pdf
Relation: Formalized Mathematics, Volume 30, Issue 3, Pages 199-207; http://hdl.handle.net/11320/14671; Formalized Mathematics
Subject Terms: field extensions, quadratic polynomials, quadratic extensions
File Description: application/pdf
Relation: Formalized Mathematics, Volume 29, Issue 4, Pages 229-240; http://hdl.handle.net/11320/13667; Formalized Mathematics; orcid:0000-0001-9587-8737
Authors: Pąk, Karol
Subject Terms: prime number, polynomial reduction, diophantine equation
File Description: application/pdf
Relation: Formalized Mathematics, Volume 29, Issue 4, Pages 221-228; http://hdl.handle.net/11320/13661; Formalized Mathematics; orcid:0000-0002-7099-1669
Authors: Schwarzweller, Christoph
Subject Terms: field extensions, polynomials splitting fields
File Description: application/pdf
Relation: Formalized Mathematics, Volume 29, Issue 3, Pages 129-139; 1426–2630; http://hdl.handle.net/11320/12389; Formalized Mathematics
Authors: Schwarzweller, Christoph
Subject Terms: ring and field adjunctions, algebraic elements and minimal polynomials
File Description: application/pdf
Relation: Formalized Mathematics, Volume 28, Issue 3, Pages 251-261; http://hdl.handle.net/11320/10843; Formalized Mathematics; orcid:0000-0001-9587-8737
Authors: Schwarzweller, Christoph
Subject Terms: roots of polynomials, field extensions, Kronecker’s construction
File Description: application/pdf
Relation: Formalized Mathematics, Volume 28, Issue 2, Pages 129-135; http://hdl.handle.net/11320/10831; Formalized Mathematics; orcid:0000-0001-9587-8737
Authors: Schwarzweller, Christoph
Subject Terms: roots of polynomials, field extensions, Kronecker’s construction
File Description: application/pdf
Relation: Formalized Mathematics, Volume 27, Issue 3, Pages 229–235; http://hdl.handle.net/11320/9013; Formalized Mathematics; orcid:0000-0001-9587-8737
Authors: Schwarzweller, Christoph
Subject Terms: roots of polynomials, field extensions, Kronecker’s construction
File Description: application/pdf
Relation: Formalized Mathematics, Volume 27, Issue 3, Pages 223–228; http://hdl.handle.net/11320/9012; Formalized Mathematics; orcid:0000-0001-9587-8737
Authors: Schwarzweller, Christoph
Subject Terms: roots of polynomials, field extensions, Kronecker’s construction, 12E05, 12F05, 68T99, 03B35
File Description: application/pdf
Relation: Formalized Mathematics, Volume 27, Issue 2, Pages 93 - 100; http://hdl.handle.net/11320/8126; Formalized Mathematics; orcid:0000-0001-9587-8737
Authors: Schwarzweller, Christoph
Subject Terms: roots of polynomials, field extensions, Kronecker’s construction, 12E05, 12F05, 68T99, 03B35
File Description: application/pdf
Relation: Formalized Mathematics, Volume 27, Issue 2, Pages 133 - 137; http://hdl.handle.net/11320/8132; Formalized Mathematics; orcid:0000-0001-9587-8737
Authors: Korniłowicz, Artur
Subject Terms: differentiation of real polynomials, derivative of real polynomials
File Description: application/pdf
Relation: Formalized Mathematics, Volume 25, Issue 1, pp. 31-38; http://hdl.handle.net/11320/5566
Authors: Pąk, Karol
Subject Terms: Hilbert’s 10th problem, Pell’s equation, multivariate polynomials
File Description: application/pdf
Relation: Formalized Mathematics, Volume 26, Issue 1, Pages 81–90; http://hdl.handle.net/11320/6835; Formalized Mathematics
Subject Terms: polynomial, polynomial ring, polynomial GCD
File Description: application/pdf
Relation: Formalized Mathematics, Volume 24, Issue 3, pp. 227-237; http://hdl.handle.net/11320/5557