Results 161 to 170 of about 9,406 (295)

Willard's A Theory of Argumentation

open access: yesInformal Logic, 1991
David Zarefsky
doaj   +1 more source

A Perspective on Interactive Theorem Provers in Physics

open access: yesAdvanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Perspective: Hollow Core Optical Fibres for Ultraviolet and Visible Wavelengths

open access: yesAdvanced Science, EarlyView.
Hollow core optical fibres bypass material constraints that limit optical fibres at ultraviolet and visible wavelengths. However, their challenging fabrication has limited their development, and significant gains in performance remain possible. In this perspective we outline approaches to enable the next generation of fibres for shorter wavelengths ...
Robbie Mears   +5 more
wiley   +1 more source

Home - About - Disclaimer - Privacy