Results 31 to 40 of about 1,343,925 (281)
Numbers and functions in Hilbert's finitism [PDF]
, 1998 David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics.
Zach, Richard
core
Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study
, 2017 A biform theory is a combination of an axiomatic theory and an algorithmic theory that supports the integration of reasoning and computation. These are ideal for formalizing algorithms that manipulate mathematical expressions. A theory graph is a network
BE Aydemir +12 more
core +1 more source
Discrete Mathematics/Number Theory
, 2017 Discrete mathematics is the study of mathematical structures that are fundamentally discrete rather than continuous. In contrast to real numbers that have the property of varying "smoothly", the objects studied in discrete mathematics such as integers, graphs, and statements do not vary smoothly in this way, but have distinct, separated values ...
openaire +1 more source
Subgrain and Cavity Development during Creep of Al‐3.85%Mg
Advanced Engineering Materials, EarlyView.Al‐3.85%Mg does form subgrains if crept at very high strains. This fact allows the unification of the creep description in two different alloys such as pure Al and Al–Mg alloys. It is classically considered that the creep mechanisms for type M (e.g., pure Al) and type A alloys (e.g., Al–Mg alloys) are different.
Augusta Isaac +6 more
wiley +1 more source
Developing Mathematics Enrichment Workshops for Middle School Students: Philosophy and Sample Workshops [PDF]
, 1997 This paper describes our approach to organizing enrichment activities using advanced mathematics topics for diverse audiences of middle school students.
Keynes, H., Olson, A., Singer, K.
core +1 more source
Advanced Engineering Materials, EarlyView.This study reports the fabrication of trabecular bioactive glass scaffolds (composition “1d”: 46.1SiO2‐28.7CaO‐8.8MgO‐6.2P2O5‐5.7CaF2‐4.5Na2O wt%) through vat photopolymerization and the relevant results from mechanical testing and in vivo implantation procedures in rabbit femora, showing great promise for bone tissue engineering applications.
Dilshat Tulyaganov +8 more
wiley +1 more source
Linking Heat Treatment to Plastic Deformation in Pearlitic Steels Through Mesoscale Modeling
Advanced Engineering Materials, EarlyView.Surface wear on rail and wheel steels results from surface deformation during use. This research uses mathematical models to forecast the plastic behavior of pearlitic steels, connected to the microstructure formed during heat treatment. While the cooling rate impacts the steels’ strength, the size of prior austenite grains and blocks does not ...
Saham Sadat Sharifi +5 more
wiley +1 more source
, 2017 Finite simple groups are the building blocks of finite symmetry. The effort to classify them precipitated the discovery of new examples, including the monster, and six pariah groups which do not belong to any of the natural families, and are not involved
Duncan, John F. R. +2 more
core +2 more sources
A Mathematical Theory of Origami Numbers and Constructions
, 1999 We give a hierarchial set of axioms for mathematical origami. The hierachy gives the fields of Pythagorean numbers, first discussed by Hilbert, the field of Euclidean constructible numbers which are obtained by the usual constructions of straightedge and compass, and the Origami numbers, which is also the field generated from the intersections of ...
openaire +2 more sources
Thermally Induced Gelling Systems Based on Patchy Polymeric Micelles
Advanced Functional Materials, Volume 35, Issue 12, March 18, 2025.A novel strategy to design thermally induced gelling systems with tunable material properties is reported. Polymeric mixed‐shell micelles displaying multiple thermosensitive patchy domains formed hydrogels by assembling into well‐entangled worm‐like network structures upon heating to body temperature. The patchy micelle design significantly affects the
Binru Han +9 more
wiley +1 more source