Results 131 to 140 of about 39,214 (275)
Asymptotic Properties for a General Class of Szász–Mirakjan–Durrmeyer Operators
Mathematical Methods in the Applied Sciences, Volume 49, Issue 2, Page 734-743, 30 January 2026.ABSTRACT In this paper, we introduce a general family of Szász–Mirakjan–Durrmeyer type operators depending on an integer parameter j∈ℤ$$ j\in \mathbb{Z} $$. They can be viewed as a generalization of the Szász–Mirakjan–Durrmeyer operators, Phillips operators, and corresponding Kantorovich modifications of higher order.
Ulrich Abel +3 more
wiley +1 more source
Automated ZFC Theorem Proving with E
, 2019 I introduce an approach for automated reasoning in first order set theories that are not finitely axiomatizable, such as $ZFC$, and describe its implementation alongside the automated theorem proving software E. I then compare the results of proof search in the class based set theory $NBG$ with those of $ZFC$.
openaire +2 more sources
Safety Critical Control of a System With Element‐Wise Estimation of Unknown Time‐Varying Parameters
International Journal of Robust and Nonlinear Control, Volume 36, Issue 1, Page 274-285, 10 January 2026.ABSTRACT This paper presents a method for guaranteeing the safety of a system with time‐varying parameters. First, we extend Dynamic Regressor Extension and Mixing to estimate time‐varying parameters with a finite‐time update rule, and present a bound on the estimation error.
Emil Lykke Diget +2 more
wiley +1 more source
Aspects of the theory of containers within automated theorem proving [PDF]
, 2011 Rawle Prince
openalex
Cooperative Parallel Automated Theorem Proving [PDF]
, 1997 Automated Theorem Proving can be interpreted as the solution of search problems which comprise huge search spaces. Parallelization of the proof task as well as cooperation between the involved provers offer the possibility to develop more efficient search procedures.
openaire
Distributed SE(d) Formation Control of Multi‐Agent Systems Using Relative Measurements
International Journal of Robust and Nonlinear Control, Volume 36, Issue 1, Page 100-116, 10 January 2026.ABSTRACT This study develops a solution to the distributed SE(d) formation control problem of multi‐agent systems using only relative measurements between agents. In this problem, poses, that is, orientations and positions, of the agents are expected to achieve desired ones.
Chunlai Peng +4 more
wiley +1 more source
From Width-Based Model Checking to Width-Based Automated Theorem Proving
, 2022 Mateus de Oliveira Oliveira +1 more
openalex +1 more source
Integrating Automated Theorem Provers in Proof Assistants
, 2021 Yacine El Haddad
openalex +1 more source
Special Issue of Selected Extended Papers of IJCAR 2020. [PDF]
J Autom Reason, 2022 Peltier N, Sofronie-Stokkermans V.
europepmc +1 more source