Results 91 to 100 of about 20,509 (144)
Some remarks on proof-theoretic semantics
, 2015 This is a tripartite work. The first part is a brief discussion of what it is to be a logical constant, rejecting a view that allows a particular self-referential “constant” • to be such a thing in favour of a view that leads to strong normalisation ...
Roy Dyckhoff, Dyckhoff, Roy
core +1 more source
Information technology as an aid to teaching algebra [PDF]
, 1990 This project was concerned-with teaching algebra novices, all girls aged 13 or 14 years, to solve algebra word problems using an electronic spreadsheet.
Brady, Michael
core
Differential algebra techniques for space applications
, 2012 This project investigates the utility of differential algebra (DA) techniques applied to the problem of orbital dynamics with initial uncertainties in the orbital determination of the involved bodies. The use of DA theory allows the splitting of a common
Martín Ávila, Javier
core
Book Review: Model theoretic algebra [PDF]
Bulletin of the American Mathematical Society, 1991 openaire +1 more source
A conceptual approach to the early learning of Algebra using a computer [PDF]
This thesis describes an investigation into the conceptual understanding of algebra by early learners (age 11-13 years) and how a computer-based approach may be used to improve such, without any consequent loss of manipulative skills.
Thomas, Michael O. J.
core
Applying Relation Algebra and RelView to Measures in aSocial Network [PDF]
We present an application of relation algebra to measure players' ‘strength' in a social network with influence between players. In particular, we deal with power, success, and influence of a player as measured by the Hoede-Bakker index, its ...
Rudolf Berghammer +2 more
core
Algebraic and Model Theoretic Properties of O-minimal Exponential Fields
, 2019 published
openaire +1 more source
Applying relational algebra and RelView to coalition formation [PDF]
We present an application of relational algebra to coalition formation. This leads to specifications, which can be executed with the help of the RelView tool after a simple translation into the tool's programming language.
Rudolf Berghammer +2 more
core
A graph-theoretic condition for irreducibility of a set of cone preserving matrices [PDF]
, 2013 Banaji, Murad, Burbanks, Andrew
core +1 more source
Computations on Simple Games using RelView [PDF]
Simple games are a powerful tool to analyze decision-making and coalition formation in social and political life. In this paper we present relational models of simple games and develop relational algorithms for solving some game-theoretic basic problems.
Rudolf Berghammer +2 more
core