Results 41 to 50 of about 523,591 (296)
Journal of Symbolic Computation, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
POLICRITI, Alberto, SCHWARTZ J. T.
openaire +4 more sources
Two loop detection mechanisms: a comparison [PDF]
, 1997 In order to compare two loop detection mechanisms we describe two calculi for theorem proving in intuitionistic propositional logic. We call them both MJ Hist, and distinguish between them by description as `Swiss' or `Scottish'. These calculi combine in
Howe, J. M. +3 more
core +1 more source
dynoGP: Deep Gaussian Processes for Dynamic System Identification
International Journal of Adaptive Control and Signal Processing, EarlyView.This work introduces a novel class of deep models for system identification, dynamical deep Gaussian processes, which combine the strengths of data‐driven methods, such as those based on neural network architectures, with the ability to output a probability distribution for uncertainty representation.
Alessio Benavoli +3 more
wiley +1 more source
Solutions of the Two-Wave Interactions in Quadratic Nonlinear Media
Mathematics, 2020 In this paper, we propose a reliable treatment for studying the two-wave (symbiotic) solitons of interactions in nonlinear quadratic media. We investigate the Schauder’s fixed point theorem for proving the existence theorem.
Lazhar Bougoffa, Smail Bougouffa
doaj +1 more source
Automated Theorem Proving for Metamath.
, 2023 Metamath is a proof assistant that keeps surprising outsiders by its combination of a very minimalist design with a large library of advanced results, ranking high on the Freek Wiedijk’s 100 list. In this work, we develop several translations of the Metamath logic and its large set-theoretical library into higher-order and first-order TPTP formats for ...
Carneiro, Mario +2 more
openaire +4 more sources
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers [PDF]
, 1999 The role of decision procedures is often essential in theorem proving. Decision procedures can reduce the search space of heuristic components of a prover and increase its abilities.
Bundy, Alan +5 more
core +1 more source
Waveguide Photoactuators: Materials, Fabrication, and Applications
Advanced Robotics Research, EarlyView.Waveguide photoactuators convert guided light into mechanical motion. Their tethered‐flexible design enables minimally invasive surgery and confined‐space robotics. This review aims to guide materials selection, device design, and system integration, accelerating the transition of waveguide photoactuators from laboratory prototypes to versatile ...
Minjie Xi +4 more
wiley +1 more source
Some remarks on a fixed point theorem of Krasnoselskii
Electronic Journal of Qualitative Theory of Differential Equations, 2003 Using a particular locally convex space and Schaefer's theorem, a generalization of Krasnoselskii's fixed point Theorem is proved. This result is further applied to certain nonlinear integral equation proving the existence of a solution on $\mathbb{R}_{+}
C. Avramescu
doaj +1 more source
Mathematics Open, 2023 Is there a class of convergent series? I give a positive answer by introducing and proving a theorem. I also provide eight examples and numerical evidence.
Changhua Wan
doaj +1 more source
Consensus Formation and Change are Enhanced by Neutrality
Advanced Science, EarlyView.Neutral agents are shown to enhance both the formation and overturning of consensus in collective decision‐making. A general mathematical model and experiments with locusts and humans reveal that neutrality enables robust consensus via simple interactions and accelerates consensus change by reducing effective population size.
Andrei Sontag +3 more
wiley +1 more source