Results 11 to 20 of about 2,759,551 (297)
Formalized Mathematics, 2021 Summary In this article we further develop field theory in Mizar [1], [2], [3] towards splitting fields. We deal with algebraic extensions [4], [5]: a field extension E of a field F is algebraic, if every element of
Christoph Schwarzweller +1 more
openaire +3 more sources
Extensible Debuggers for Extensible Languages [PDF]
Softwaretechnik-Trends, 2013 Language workbenches significantly reduce the e↵ort for building extensible languages. However, they do not facilitate programmers with built-in debugging support for language extensions. This paper presents an extensible debugger architecture that enables debugging of language extensions.
Domenik Pavletic +4 more
openaire +2 more sources
Formalized Mathematics, 2021 Summary In this article we further develop field theory [6], [7], [12] in Mizar [1], [2], [3]: we deal with quadratic polynomials and quadratic extensions [5], [4]. First we introduce quadratic polynomials, their discriminants and prove the midnight formula. Then we show that - in case the discriminant of
Schwarzweller, Christoph +1 more
openaire +4 more sources
Formalized Mathematics, 2023 Summary In this article we continue the formalization of field theory in Mizar. We introduce simple extensions: an extension E of F is simple if E is generated over F
Christoph Schwarzweller +1 more
openaire +3 more sources
Formalized Mathematics, 2023 Summary In this article we continue the formalization of field theory in Mizar [1], [2], [4], [3]. We introduce normal extensions: an (algebraic) extension E of F is normal if every polynomial of F
openaire +3 more sources
Formalized Mathematics, 2023 Summary In this article we extend the algebraic theory of ordered fields [6], [8] in Mizar. We introduce extensions of orderings: if E is a field extension of F , then an ordering P of
openaire +2 more sources
Extensions of ∗-Representations [PDF]
Proceedings of the American Mathematical Society, 1990 Let π \pi be a
openaire +1 more source
, 2016 The specificity of knowledge that Gene Ontology (GO) annotations currently can represent is still restricted by the legacy format of the GO annotation file, a format intentionally designed for simplicity to keep the barriers to entry low and thus encourage initial adoption.
Huntley, Rachael P. H, Lovering, Ruth C.
openaire +4 more sources
Virginia Cooperative Extension District Map
, 2021 Virginia Cooperative Extension District ...
Barlow, Zeke
core
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Children with sickle cell anemia (SCA) in low‐income settings are at risk of severe malnutrition, but optimal nutritional management has not been established. We evaluated an intensified ready‐to‐use therapeutic food (RUTF) regimen in children with persistent severe malnutrition after initial treatment and assessed whether early ...
Safiya Gambo +9 more
wiley +1 more source