The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- An interval algorithm for multi-objective optimization (Q438503) (← links)
- Topology optimization of channel flow problems (Q438507) (← links)
- Nonparametric gradient-less shape optimization for real-world applications (Q438511) (← links)
- Review of formulations for structural and mechanical system optimization (Q438513) (← links)
- A combined superposition and model evolution calculus (Q438531) (← links)
- On deciding satisfiability by theorem proving with speculative inferences (Q438533) (← links)
- Proving termination by dependency pairs and inductive theorem proving (Q438537) (← links)
- Automated inference of finite unsatisfiability (Q438540) (← links)
- Conjecture synthesis for inductive theories (Q438543) (← links)
- A certified proof of the Cartan fixed point theorems (Q438546) (← links)
- Proof pearl: a formal proof of Higman's lemma in ACL2 (Q438550) (← links)
- An interpolating sequent calculus for quantifier-free Presburger arithmetic (Q438556) (← links)
- Monotonicity inference for higher-order formulas (Q438558) (← links)
- Analytic tableaux for higher-order logic with choice (Q438561) (← links)
- Decreasing diagrams and relative termination (Q438562) (← links)
- Classical logic with partial functions (Q438568) (← links)
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- A decidability result for the model checking of infinite-state systems (Q438572) (← links)
- SAT modulo linear arithmetic for solving polynomial constraints (Q438576) (← links)
- An instantiation scheme for satisfiability modulo theories (Q438578) (← links)
- Dealing with satisfiability and \(n\)-ary CSPs in a logical framework (Q438582) (← links)
- Probabilistic grammars and languages (Q438593) (← links)
- Polarizations of isotypical components of Jacobians with group action (Q438600) (← links)
- Surgery obstructions from Khovanov homology (Q438619) (← links)
- Efficient algorithms for the discrete Gabor transform with a long FIR window (Q438652) (← links)
- Computational homology of \(n\)-types (Q438686) (← links)
- Single-factor lifting and factorization of polynomials over local fields (Q438687) (← links)
- Representations of \(q\)-orthogonal polynomials (Q438688) (← links)
- On the computing time of the continued fractions method (Q438690) (← links)
- A Runge-Kutta method for index 1 stochastic differential-algebraic equations with scalar noise (Q438712) (← links)
- Computation of connection coefficients and measure modifications for orthogonal polynomials (Q438713) (← links)
- Convergence rate of strong local linearization schemes for stochastic differential equations with additive noise (Q438716) (← links)
- Gauss-Hermite quadratures for functions from Hilbert spaces with Gaussian reproducing kernels (Q438718) (← links)
- Linear barycentric rational quadrature (Q438722) (← links)
- Numerical aspects of computing the Moore-Penrose inverse of full column rank matrices (Q438724) (← links)
- Implementation of an optimal first-order method for strongly convex total variation regularization (Q438730) (← links)
- A new look at CMRH and its relation to GMRES (Q438731) (← links)
- Order bounds for second derivative approximations (Q438733) (← links)
- Weighted intriguing sets of finite generalised quadrangles (Q438735) (← links)
- Signed enumeration of ribbon tableaux: an approach through growth diagrams (Q438737) (← links)
- On the cyclically fully commutative elements of Coxeter groups. (Q438738) (← links)
- Arc-regular cubic graphs of order four times an odd integer (Q438743) (← links)
- Globally convergent three-term conjugate gradient methods that use secant conditions and generate descent search directions for unconstrained optimization (Q438775) (← links)
- Hull-volume with applications to convergence analysis (Q438780) (← links)
- A fresh variational-analysis look at the positive semidefinite matrices world (Q438781) (← links)
- An improved spectral homotopy analysis method for MHD flow in a semi-porous channel (Q438793) (← links)
- A new discrete filled function method for solving large scale max-cut problems (Q438797) (← links)
- Construction of highly nonlinear resilient S-boxes with given degree (Q438872) (← links)
- The pseudo-hyperplanes and homogeneous pseudo-embeddings of \(\mathrm{AG}(n, 4)\) and \(\mathrm{PG}(n, 4)\) (Q438887) (← links)
- Progressive frictional delamination of an infinite elastic film on a rigid substrate due to in-plane point loading (Q438915) (← links)
