Results 51 to 60 of about 523,591 (296)
A Perspective on Interactive Theorem Provers in Physics
Advanced 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
Automated theorem proving in elementary geometry
Le Matematiche, 1988 A survey of the main procedures for automatic theorem proving in geometry is presented.
Alfredo Ferro, Giovanni Gallo
doaj
Formal Analysis of Language-Based Android Security Using Theorem Proving Approach
IEEE Access, 2019 Mobile devices are an indispensable part of modern-day lives to support portable computations and context-aware communication. Android applications within a mobile device share data to support application operations and better user experience, which also
Wilayat Khan +4 more
doaj +1 more source
Advances in Neural Information Processing Systems 37Recent advances in automated theorem proving leverages language models to explore expanded search spaces by step-by-step proof generation. However, such approaches are usually based on short-sighted heuristics (e.g., log probability or value function scores) that potentially lead to suboptimal or even distracting subgoals, preventing us from finding ...
Haiming Wang +10 more
openaire +3 more sources
Advanced Science, EarlyView.This work provides a practical guide for neuroengineers to design advanced neural interfaces, embracing and tailoring the concept of functional disorder. By bridging 2D and 3D in vitro models, this work highlights how non‐periodic, spatially heterogeneous, multiscale nanotopography can enable more physiologically relevant platforms for studying neural ...
F. Maita +4 more
wiley +1 more source
Vestnik Samarskogo Gosudarstvennogo Tehničeskogo Universiteta. Seriâ: Fiziko-Matematičeskie Nauki, 2011 The problem of convergence of iterative procedure for clarification of coefficients of the finite-difference equation in numerical technique for determination of the differential operator parameters for the systems with turbulent friction is considered ...
V. E. Zoteev +2 more
doaj +3 more sources
Theorem Proving in Higher Order Logics - Emerging Trends [PDF]
, 2007 This technical report is the Emerging Trends proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2007), which was held during 10-13 September in Kaiserslautern, Germany.
Brandt, Jens, Schneider, Klaus
core +2 more sources
Non-Obfuscated Unprovable Programs & Many Resultant Subtleties [PDF]
Logical Methods in Computer Science, 2016 The \emph{International Obfuscated C Code Contest} was a programming contest for the most creatively obfuscated yet succinct C code. By \emph{contrast}, an interest herein is in programs which are, \emph{in a sense}, \emph{easily} seen to be correct, but
John Case, Michael Ralston
doaj +1 more source
Advanced Science, EarlyView.Using a minimal set of experimentally labeled antimicrobial and non‐antimicrobial peptides, we reconstruct the effective lipid composition of a pathogenic membrane ‐demonstrated at the example of bacterial membranes‐ through a physics‐based evolutionary molecular dynamics (Evo‐MD) approach. Optimization based on peptide insertion reveals broad‐spectrum
Maximilian Krebs, Herre Jelger Risselada
wiley +1 more source
Advanced Science, EarlyView.Neutron depth profiling exploits the 6Li(n,3H)4He reaction to provide quantitative, isotope‐specific, depth‐resolved maps of lithium inside operating lithium‐ion batteries, directly linking lithium transport, dendrite growth and interfacial short‐circuiting to a physics‐informed machine‐learning roadmap that turns this non‐destructive operando ...
Yulong Zhang +8 more
wiley +1 more source