The following pages link to OpenAlex ID (P388):
Displaying 50 items.
- Symbolic execution proofs for higher order store programs (Q287265) (← links)
- Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems (Q287269) (← links)
- Decision procedures for flat array properties (Q287272) (← links)
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey (Q287277) (← links)
- Reverse complexity (Q287279) (← links)
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- The \(q\)-versions of the Bernstein operator: from mere analogies to further developments (Q287285) (← links)
- Further results for \(k\)th order Kantorovich modification of linking Baskakov type operators (Q287288) (← links)
- Hyers-Ulam stability of Euler's differential equation (Q287290) (← links)
- New Korovkin type theorem for non-tensor Meyer-König and Zeller operators (Q287292) (← links)
- Asymptotic properties of Bernstein-Durrmeyer operators (Q287294) (← links)
- Statistically relatively uniform convergence of positive linear operators (Q287297) (← links)
- Degree of approximation for bivariate Chlodowsky-Szasz-Charlier type operators (Q287299) (← links)
- An iterative modification of Shepard-Bernoulli operator (Q287301) (← links)
- GBS operators of Lupaş-Durrmeyer type based on Polya distribution (Q287302) (← links)
- General form of Voronovskaja's theorem in terms of weighted modulus of continuity (Q287304) (← links)
- Von Neumann-Schatten dual frames and their perturbations (Q287307) (← links)
- Orthogonal polynomials for modified Chebyshev measure of the first kind (Q287309) (← links)
- Estimations of the operator resolvent by higher order Cesàro means (Q287310) (← links)
- Korovkin-type theorems for abstract modular convergence (Q287312) (← links)
- A Korovkin-type approximation theorem and power series method (Q287315) (← links)
- Approximation by max-product neural network operators of Kantorovich type (Q287317) (← links)
- Circle numbers of regular convex polygons (Q287319) (← links)
- Automated proofs of block cipher modes of operation (Q287326) (← links)
- In memory of Mark Stickel (Q287330) (← links)
- Mark Stickel: his earliest work (Q287332) (← links)
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- An experiment with satisfiability modulo SAT (Q287334) (← links)
- Semi-intelligible Isar proofs from machine-generated proofs (Q287340) (← links)
- The biaxial moduli of cubic materials subjected to an equi-biaxial elastic strain (Q287342) (← links)
- Analytical solution of the Cerruti problem under linearly distributed horizontal loads over polygonal domains (Q287345) (← links)
- Small strain growth and the human nail (Q287346) (← links)
- A helical Cauchy-Born rule for special Cosserat rod modeling of nano and continuum rods (Q287350) (← links)
- A dynamic contact problem with history-dependent operators (Q287352) (← links)
- An example of a one-parameter family of rank-one convex stored energies for isotropic compressible solids (Q287355) (← links)
- Interactive theorem proving. Preface of the special issue (Q287356) (← links)
- On definitions of constants and types in HOL (Q287358) (← links)
- Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation (Q287361) (← links)
- Eisbach: a proof method language for Isabelle (Q287365) (← links)
- Verified abstract interpretation techniques for disassembling low-level self-modifying code (Q287369) (← links)
- Mechanizing a process algebra for network protocols (Q287372) (← links)
- Completeness and decidability results for CTL in constructive type theory (Q287375) (← links)
- A heuristic prover for real inequalities (Q287379) (← links)
- Adding decision procedures to SMT solvers using axioms with triggers (Q287384) (← links)
- Quantifier reordering for QBF (Q287386) (← links)
- In memory of Professor Peter Gavin Hall, 1951--2016 (Q287387) (← links)
- A new class of two-level optimal extended designs (Q287389) (← links)
- Exponentially tilted empirical distribution function for ranked set samples (Q287391) (← links)
- Asymptotic properties for distributions and densities of extremes from generalized gamma distribution (Q287393) (← links)
