Results 31 to 40 of about 20,142 (264)
Theoretical Computer Science, 1983 AbstractThis paper discusses a new specification method for algebraic data types consisting of an algebraic analogon to domain equations as known from Scott's theory (1971) of order-theoretic data types. The main result is that strongly persistent algebraic domain equations always have an initial solution, and there is a simple syntactic method to ...
Hans-Dieter Ehrich, Udo W. Lipeck
openaire +2 more sources
On discrete analogues of nonlinear implicit differential equations
Advances in Difference Equations, 2006 This paper deals with some classes of nonlinear implicit difference equations obtained via discretization of nonlinear differential-algebraic or partial differential-algebraic equations.
Anh Pham Ky, Loi Le Cong
doaj +2 more sources
On postian algebraic equations
Discrete Mathematics, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
On the Equational Artinian Algebras
Sibirskie Elektronnye Matematicheskie Izvestiya, 2015 Equational Artinian algebras were introduced in our previous work: {\em Equational conditions in universal algebraic geometry, to appear in Algebra and Logic, 2015}. In this note, we define the notion of {\em radical topology with respect to an algebra $A$} and using the well-known König lemma in graph theory, we show that the algebra $A$ is equational
Modabberi, P., Shahryari, M.
openaire +2 more sources
Mathematics, 2020 Fractional calculus is widely used in engineering fields. In complex mechanical systems, multi-body dynamics can be modelled by fractional differential-algebraic equations when considering the fractional constitutive relations of some materials.
Yongpeng Tai +4 more
doaj +1 more source
International Journal of Education, 2023 Algebraic thinking enables learners to devise algebra generalization when configuring quadratic equations from their graphical representations. Noticeable, learners grapple with this topic and there are some silent issues in the literature that should be
Reinhard Selowa +1 more
doaj +1 more source
Problem for differential-algebraic equations with a significant loads
Қарағанды университетінің хабаршысы. Математика сериясыIn this article, the problem for a differential-algebraic equation with a significant loads is studied. Unlike previously studied problems for differential equations with a significant loads, in the considered equation, there is a matrix in the left ...
A.T. Assanova +3 more
doaj +1 more source
Algebraic structure of space and field
Electronic Journal of Qualitative Theory of Differential Equations, 2001 We investigate an algebraic structure of the space of solutions of autonomous nonlinear differential equations of certain type. It is shown that for these equations infinitely many binary algebraic laws of addition of solutions exist.
Z. Z. Khukhunashvili +1 more
doaj +1 more source
Solving Equations in the Relational Algebra [PDF]
SIAM Journal on Computing, 2004 Minor revision, accepted for publication in SIAM Journal on ...
Joachim Biskup +3 more
openaire +5 more sources
Intelligent Tutoring Systems for Adult Learning in STEM Disciplines
New Directions for Adult and Continuing Education, EarlyView.ABSTRACT Intelligent tutoring systems (ITS) are reshaping adult learning in STEM by providing adaptive, data‐driven instruction across classrooms, workplaces, and informal environments. In the context of ITS, this article compares generative AI, which creates personalized explanations and practice materials, with explainable AI, which focuses on ...
Jill Zarestky, Amanda R. Lager Gleason
wiley +1 more source