Results 11 to 20 of about 175,539 (259)

Algebraic Extensions [PDF]

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, Rowińska-Schwarzweller, Agnieszka   +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, Syed Aoun Raza, Markus Voelter, Bernd Kolb, Timo Kehrer   +4 more
openaire   +1 more source

Quadratic Extensions

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, Rowińska-Schwarzweller, Agnieszka   +1 more
openaire   +3 more sources

Simple Extensions

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, Agnieszka Rowinska-Schwarzweller   +1 more
openaire   +3 more sources

Extensions of Orderings

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

Annotation Extensions [PDF]

, 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

Normal Extensions

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

Instructors as communication strategists: using multimodal communication to implement a new course policy on assignment extension due dates

Frontiers in Education
This study examines the implementation process and impact of a new course policy, the Emergency Button (EB), that was introduced to enhance the previously established penalty-free assignment extension policy (EWP) in a large introductory course.
Joseph M. Ruesch, Mark A. Sarvary
doaj   +1 more source

Structure and flexibility: systemic and explicit assignment extensions foster an inclusive learning environment

Frontiers in Education
Many educators strive to create inclusive classrooms where students receive not only knowledge but also empathy from their instructors. When students face unexpected challenges due to illness, academic pressure, or exhaustion, they often seek extensions ...
Joseph M. Ruesch, Mark A. Sarvary
doaj   +1 more source