Results 111 to 120 of about 43,571 (311)
Theory of quantum computation and philosophy of mathematics. Part I
Logic and Logical Philosophy, 2010 In the article, the philosophical significance of quantum computation theory for philosophy of mathematics is discussed. In particular, I examine the notion of “quantum-assisted proof” (QAP); the discussion sheds light on the problem of the nature of mathematical proof; the potential empirical aspects of mathematics and the realism-antirealism debate ...
openaire +5 more sources
Computational Complexity in the Design of Voting Rules [PDF]
This paper discusses an aspect of computational complexity in social choice theory. We consider the problem of designing voting rules, which is formulated in terms of simple games.
Koji Takamiya, Akira Tanaka
core
Phase Engineering of Nanomaterials (PEN): Evolution, Current Challenges, and Future Opportunities
Advanced Materials, EarlyView.This review summarizes the synthesis, phase transition, advanced characterization spanning ex situ to in situ and operando techniques, and diverse applications of phase engineering of nanomaterials (PEN). It further outlines key challenges and future opportunities, such as phase stability, architecture control, and artificial intelligence (AI)‐driven ...
Ye Chen +7 more
wiley +1 more source
6th World Conference on 21st Century Mathematics
, 2015 Numerous well-presented and important papers from the conference are gathered in the proceedings for the purpose of pointing directions for useful future research in diverse areas of mathematics including algebraic geometry, analysis, commutative algebra,
Waldschmidt, Michel +2 more
core +1 more source
Student Teachers as Learners and Teachers: Praxeological Perspectives on Programming in Mathematics
Education SciencesThis study investigates how master’s student teachers (MSTs) conceptualize and integrate programming and computational thinking within mathematics education.
Odd Tore Kaufmann +3 more
doaj +1 more source
Advanced Materials, EarlyView.A targeted modulation of the MoS2 electronic structure is achieved via substitutional n‐type Co/Fe co‐doping. This strategy triggers S‐mediated d‐p hybridization, optimizing the binding affinity with polysulfides to establish a volcano‐shaped relationship between the d‐band center and catalytic activity.
Junhyuk Ji +6 more
wiley +1 more source
Theorema: Towards computer-aided mathematical theory exploration
Journal of Applied Logic, 2006 AbstractTheorema is a project that aims at supporting the entire process of mathematical theory exploration within one coherent logic and software system. This survey paper illustrates the style of Theorema-supported mathematical theory exploration by a case study (the automated synthesis of an algorithm for the construction of Gröbner Bases) and gives
Bruno Buchberger +10 more
openaire +1 more source
Adaptive finite elements for viscoelastic deformation problems
, 2008 This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.This thesis is concerned with the theoretical and computational aspects of generating solutions to problems involving materials with fading memory, known as
Hill, Harry
core
A comprehensive literature review and critique on the differences and effects of implementing traditional and reform mathematics curricula [PDF]
, 2003 Plan BHistory shows that there has often been discussion and debate regarding the best teaching practices. Pedagogical differences among mathematics educators has especially come into the forefront over the past several years.
Pippenger, Amy T.
core
, 2010 The geometry of lines occurs naturally in such different areas as sculptured surface machining, computation of offsets and medial axes, surface reconstruction for reverse engineering, geometrical optics, kinematics and motion design, and modeling of ...
Pottmann, Helmut, Wallner, Johannes
core +1 more source