The following pages link to describes a project that uses (P1463):
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)
- An iterative modification of Shepard-Bernoulli operator (Q287301) (← links)
- Orthogonal polynomials for modified Chebyshev measure of the first kind (Q287309) (← links)
- Automated proofs of block cipher modes of operation (Q287326) (← 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)
- 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)
- Exponentially tilted empirical distribution function for ranked set samples (Q287391) (← links)
- Decision boundaries for mixtures of regressions (Q287417) (← links)
- Anapole moment of the lightest neutralino in the cMSSM (Q287455) (← links)
- Lepton flavor violating decays of Standard-Model-like Higgs in 3-3-1 model with neutral lepton (Q287459) (← links)
- Influence diagnostics for robust P-splines using scale mixture of normal distributions (Q287528) (← links)
- Support vector machines maximizing geometric margins for multi-class classification (Q287612) (← links)
- A clustering approach for scenario tree reduction: an application to a stochastic programming portfolio optimization problem (Q287624) (← links)
- An integer linear formulation for the file transfer scheduling problem (Q287646) (← links)
- Consistency thresholds for the planted bisection model (Q287720) (← links)
- Efficient editing and data abstraction by finding homogeneous clusters (Q287759) (← links)
- A new direct search method based on separable fractional interpolation model (Q287849) (← links)
- A class of parameter-free filled functions for box-constrained system of nonlinear equations (Q287871) (← links)
- A new weighted Lindley distribution with application (Q287997) (← links)
- A von Mises approximation to the small sample distribution of the trimmed mean (Q288100) (← links)
- Iterative methods for solving the multiple-sets split feasibility problem with splitting self-adaptive step size (Q288176) (← links)
- A local approximation of fundamental measure theory incorporated into three dimensional Poisson-Nernst-Planck equations to account for hard sphere repulsion among ions (Q288209) (← links)
- Irregular polyomino tiling via integer programming with application in phased array antenna design (Q288219) (← links)
- Semidefinite programming relaxation methods for global optimization problems with sparse polynomials and unbounded semialgebraic feasible sets (Q288220) (← links)
- Extended reverse-convex programming: an approximate enumeration approach to global optimization (Q288222) (← links)
- Quasi-phi-functions and optimal packing of ellipses (Q288226) (← links)
- On Slater's condition and finite convergence of the Douglas-Rachford algorithm for solving convex feasibility problems in Euclidean spaces (Q288232) (← links)
- Heuristics for exact nonnegative matrix factorization (Q288239) (← links)
- A limit theorem for scaled eigenvectors of random dot product graphs (Q288255) (← links)
- Geodesic hypothesis testing for comparing location parameters in elliptical populations (Q288259) (← links)
- Robust and bias-corrected estimation of the probability of extreme failure sets (Q288263) (← links)
- Comparing two mixing densities in nonparametric mixture models (Q288268) (← links)
