Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 7 of 7 for “"mathematical theorems"”.
-
Language models for verifiable mathematical automation: Interaction, integration, and autoformalization
Stronger automation in formal mathematical reasoning provides scalability, trust-worthiness, and accessibility: it enables efficient verification of complex proofs, reduces the likelihood of errors in intricate calculations, allows non-experts to engage with mathematical concepts, and potentially …
-
Stability, Efficiency, and Equity in Network Formation Games
… formation literature, namely the development of mathematical theorems detailing the conditions for network stability.
-
Proof-Theoretical Aspects of Well Quasi-Orders and Phase Transitions in Arithmetical Provability
… Friedman, aims to classify the strength of mathematical theorems by identifying the required axioms. In this framework, we focus on two classical results relative to well quasi-orders: Kruskal’s theorem and Higman’s lemma. Concerning the former, we compute the proof-theoretic ordinals of two …
-
Experiencing mathematical proves syntax of an astrolabe
… Science Museums. The astrolabe and the related mathematical theories, as developed in the Arabic and Persian tradition between X-XI Century, are taken as emblematic case for this analysis. The proposed solution is the design of museum spaces which translate the language of this instruments …
-
Avicenna's Philosophy of Mathematics
… mathematics, which concerns the question of what mathematical objects (i.e., numbers and geometrical shapes) are not. Avicenna argues that mathematical objects are not independent immaterial substances. They cannot be fully separated from matter. He rejects what is now called mathematical …
-
Novel aspects of the dynamics of binary black-hole mergers
… a common horizon has already formed. We connect mathematical theorems with data obtained from numerical simulations and provide a first glimpse on the behavior of these surfaces in situations not accessible to analytical tools. We study electro-magnetic counterparts of super-massive binary …
-
Plane Trajectories for Autonomous Systems of Differential Equations
No abstract prepared.