Results 11 to 20 of about 2,213,684 (316)
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 +2 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 +1 more source
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 +3 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
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
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
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 +2 more sources
Virginia Cooperative Extension District Map
, 2021 Virginia Cooperative Extension District ...
Barlow, Zeke
core
Discrete Mathematics, 2000 Given a finite polyhedral complex consisting of congruent convex polytopes in spherical, euclidean or hyperbolic space, one can ask whether or not it admits an extension to a global isohedral (tile-transitive) tiling of the ambient space. The Extension Theorem describes necessary and sufficient conditions for a finite polyhedral complex to admit a ...
openaire +2 more sources