Results 1  10
of
1,727,968
AlgorithmSupported Mathematical Theory Exploration: A Personal View and Strategy
, 2004
"... We present a personal view and strategy for algorithmsupported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathematical software systems. The main points of emphasis are: The use of schemes for bottomup mathematical invention, the algorit ..."
Abstract

Cited by 22 (6 self)
 Add to MetaCart
We present a personal view and strategy for algorithmsupported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathematical software systems. The main points of emphasis are: The use of schemes for bottomup mathematical invention
Theorema 2.0: A System for Mathematical Theory Exploration
"... Abstract. Theorema 2.0 stands for a redesign including a complete reimplementation of the Theorema system, which was originally designed, developed, and implemented by Bruno Buchberger and his Theorema group at RISC. In this talk, we want to present the current status of the new implementation, in ..."
Abstract
 Add to MetaCart
Abstract. Theorema 2.0 stands for a redesign including a complete reimplementation of the Theorema system, which was originally designed, developed, and implemented by Bruno Buchberger and his Theorema group at RISC. In this talk, we want to present the current status of the new implementation, in particular the new user interface of the system.
Decompositions of Natural Numbers: From A Case Study in Mathematical Theory Exploration ∗
"... In the context of a scheme based exploration model proposed by Bruno Buchberger, we investigate the idea of decomposition, applied in the exploration of natural numbers. The free decomposition problem (i.e. whether an element can always be decomposed with respect to an operation) can be arbitrarily ..."
Abstract
 Add to MetaCart
In the context of a scheme based exploration model proposed by Bruno Buchberger, we investigate the idea of decomposition, applied in the exploration of natural numbers. The free decomposition problem (i.e. whether an element can always be decomposed with respect to an operation) can be arbitrarily
The Coordination of Arm Movements: An Experimentally Confirmed Mathematical Model
 Journal of neuroscience
, 1985
"... This paper presents studies of the coordination of voluntary human arm movements. A mathematical model is formulated which is shown to predict both the qualitative features and the quantitative details observed experimentally in planar, multijoint arm movements. Coordination is modeled mathematic ..."
Abstract

Cited by 663 (18 self)
 Add to MetaCart
mathematically by defining an objective function, a measure of performance for any possible movement. The unique trajectory which yields the best performance is determined using dynamic optimization theory. In the work presented here, the objective function is the square of the magnitude of jerk (rate
The Skill Content of Recent Technological Change: An Empirical Exploration
, 2000
"... Recent empirical and case study evidence documents a strong association between the adoption of computers and increased use of college educated or nonproduction workers. With few exceptions, the conceptual link explaining how computer technology complements skilled labor or substitutes for unskille ..."
Abstract

Cited by 607 (29 self)
 Add to MetaCart
Recent empirical and case study evidence documents a strong association between the adoption of computers and increased use of college educated or nonproduction workers. With few exceptions, the conceptual link explaining how computer technology complements skilled labor or substitutes for unskilled labor is less well developed. This paper applies an understanding of what computers do – the execution of procedural or rulesbased logic – to develop and test a simple model of how the widespread adoption of computers in the workplace might alter workplace skill demands. Two essential contentions of our framework are that computer capital (1) substitutes for a limited and welldefined set of human activities, those involving routine (repetitive) cognitive and manual tasks; and (2) complements a second set of activities, those involving nonroutine problem solving and interactive tasks. Under the assumption that routine and nonroutine tasks are imperfect substitutes, the task framework implies measurable changes in the task content of employment. We examine these changes using representative samples of workers from 1960 to 1998 where individual characteristics are augmented with Dictionary of Occupational Title variables describing their occupations ’ requirements for routine and nonroutine cognitive and manual skills. We find that computerization is associated with declining relative industry
Graph Theory
 MATHEMATISCHES FORSCHUNGSINSTITUT OBERWOLFACH REPORT NO. 16/2007
, 2007
"... This week broadly targeted both finite and infinite graph theory, as well as matroids, including their interaction with other areas of pure mathematics. The talks were complemented by informal workshops focussing on specific problems or particularly active areas. ..."
Abstract

Cited by 1182 (5 self)
 Add to MetaCart
This week broadly targeted both finite and infinite graph theory, as well as matroids, including their interaction with other areas of pure mathematics. The talks were complemented by informal workshops focussing on specific problems or particularly active areas.
Mathematical Control Theory: Deterministic Finite Dimensional Systems
 of Texts in Applied Mathematics
, 1990
"... The title of this book gives a very good description of its contents and style, although I might have added “Introduction to ” at the beginning. The style is mathematical: precise, clear statements (i.e., theorems) are asserted, then carefully proved. The book covers many of the key topics in contro ..."
Abstract

Cited by 485 (122 self)
 Add to MetaCart
The title of this book gives a very good description of its contents and style, although I might have added “Introduction to ” at the beginning. The style is mathematical: precise, clear statements (i.e., theorems) are asserted, then carefully proved. The book covers many of the key topics
Results 1  10
of
1,727,968