Results 11 to 20 of about 89 (61)
Enhanced Realizability Interpretation for Program Extraction [PDF]
, 2021 This thesis presents Intuitionistic Fixed Point Logic (IFP), a schema for formal systems aimed to work with program extraction from proofs. IFP in its basic form allows proof construction based on natural deduction inference rules, extended by induction ...
OLGA PETROVSKA
core +1 more source
Infinity and Continuum in the Alternative Set Theory
, 2023 Alternative set theory was created by the Czech mathematician Petr Vop\v enka in 1979 as an alternative to Cantor's set theory. Vop\v enka criticised Cantor's approach for its loss of correspondence with the real world.
Trlifajová, Kateřina
core +1 more source
Combining Parameterizations, Sobolev Methods and Shape Hessian Approximations for Aerodynamic Design Optimization [PDF]
, 2022 Aerodynamic design optimization, considered in this thesis, is a large and complex area spanning different disciplines from mathematics to engineering. To perform optimizations on industrially relevant test cases, various algorithms and techniques have ...
Dick, Thomas Karl Oskar
core +1 more source
L'Hospital's Rule for Regulated Functions
, 2023 We extend L'Hospital's rule to quotients of two regulated functions. This extension allows us to have a unified approach to both, the discrete case represented by the Stolz-Cesaro theorem and the continuous case represented by L'Hospital's rule.
Ghatasheh, Ahmed
core
Mini-Workshop: Women in Mathematics: Historical and Modern Perspectives [PDF]
, 2017 The aim of the workshop is to build a bridge between research on the situation of women in mathematics at the beginning of coeducative studies and the current circumstances in academia.
core +2 more sources
Abstraction boundaries and spec driven development in pure mathematics
, 2023 In this article we discuss how abstraction boundaries can help tame complexity in mathematical research, with the help of an interactive theorem prover. While many of the ideas we present here have been used implicitly by mathematicians for some time, we
Commelin, Johan, Topaz, Adam
core
Teaching Linear Algebra in a Mechanized Mathematical Environment
, 2023 This paper outlines our ideas on how to teach linear algebra in a mechanized mathematical environment, and discusses some of our reasons for thinking that this is a better way to teach linear algebra than the ``old fashioned way''.
Corless, Robert M. +2 more
core
History of Mathematics: Models and Visualization in the Mathematical and Physical Sciences [PDF]
, 2015 This workshop brought together historians of mathematics and science as well as mathematicians to explore important historical developments connected with models and visual elements in the mathematical and physical sciences.
core +2 more sources
Kolmogorov's Calculus of Problems and Its Legacy
, 2023 Kolmogorov's Calculus of Problems is an interpretation of Heyting's intuitionistic propositional calculus published by A.N. Kolmogorov in 1932. Unlike Heyting's intended interpretation of this calculus, Kolmogorov's interpretation does not comply with ...
Rodin, Andrei
core
, 2023 This is an overview of the life and works of Pavel Florensky, an important and singular figure of the period rightly described as the \emph{Silver Age of Russian mathematics}, with a substantial overlap with the \emph{Silver Age of Russian literature ...
Papadopoulos, Athanase
core