The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- On stronger conjectures that imply the Erdős-Moser conjecture (Q531841) (← links)
- A short WZ-proof of Euler's fundamental sum identity and more (Q531847) (← links)
- When does the \(k\)-hyponormality of a 2-variable weighted shift become subnormality? (Q531855) (← links)
- Symmetry analysis and exact solutions of semilinear heat flow in multi-dimensions (Q531881) (← links)
- The cyclically presented groups with relators \(x_ix_{i+k}x_{i+l}\). (Q531912) (← links)
- The conjugacy problem in the Grigorchuk group is polynomial time decidable. (Q531917) (← links)
- Inertial effects on electrically conducting fluids in the presence of transverse magnetic fields: an example problem (Q531935) (← links)
- Recent advances in the spherical harmonics method (Q532036) (← links)
- A tiny handbook of R (Q532054) (← links)
- On the problem of funnel formation during liquid outflow from vessels (Q532206) (← links)
- Transonic flow past an airfoil with mini-flaps (Q532207) (← links)
- Construction of the underground contour of a hydraulic structure with constant flow velocity sections (Q532252) (← links)
- Formulation and numerical solution of robot manipulators in point-to-point motion with maximum load carrying capacity (Q532298) (← links)
- A unified approach to discrete frictional contact problems (Q532324) (← links)
- On the reflection of plane waves at the boundary of an elastic half-space subject to simple shear (Q532328) (← links)
- Dynamic buckling loads of autonomous potential systems based on the geometry of the energy surface (Q532335) (← links)
- Conjunctive query containment over trees (Q532363) (← links)
- Succinctness of pattern-based schema languages for XML (Q532368) (← links)
- Foundations of semantic web databases (Q532369) (← links)
- Hopf-pitchfork singularities in coupled systems (Q532376) (← links)
- Time-delayed feedback control of unstable periodic orbits near a subcritical Hopf bifurcation (Q532380) (← links)
- A saturation method for the modal \(\mu \)-calculus over pushdown systems (Q532393) (← links)
- Quantitative Kleene coalgebras (Q532394) (← links)
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (Q532398) (← links)
- Statically safe program generation with SafeGen (Q532402) (← links)
- A type system for reflective program generators (Q532406) (← links)
- A language for generic programming in the large (Q532409) (← links)
- Partial evaluation of Maple (Q532411) (← links)
- XML graphs in program analysis (Q532414) (← links)
- Transformation of structure-shy programs with application to XPath queries and strategic functions (Q532417) (← links)
- Queue based mutual exclusion with linearly bounded overtaking (Q532419) (← links)
- Metamodeling semantics of multiple inheritance (Q532422) (← links)
- Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types (Q532427) (← links)
- A mechanical verification of the stressing algorithm for negative cost cycle detection in networks (Q532429) (← links)
- Existence of excitation waves for a collection of cardiomyocytes electrically coupled to fibroblasts (Q532436) (← links)
- Exploring anodal and cathodal make and break cardiac excitation mechanisms in a 3D anisotrop\-ic bidomain model (Q532442) (← links)
- Fast, curvature-based prediction of rolling forces for porous media based on a series of detailed simulations (Q532465) (← links)
- Efficient stochastic structural analysis using Guyan reduction (Q532474) (← links)
- Satisficing search versus aspiration adaptation in sales competition: Experimental evidence (Q532521) (← links)
- Constructing a Pareto front approximation for decision making (Q532529) (← links)
- Supertropical matrix algebra (Q532620) (← links)
- Automated deduction in geometry. 7th international workshop, ADG 2008, Shanghai, China, September 22--24, 2008. Revised papers (Q532630) (← links)
- Logic-based program synthesis and transformation. 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23--25, 2010. Revised selected papers (Q532632) (← links)
- Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday (Q532633) (← links)
- The role of utility interdependence in public good experiments (Q532652) (← links)
- Divisorial cohomology vanishing on toric varieties (Q532784) (← links)
- Transactions on Computational Systems Biology XIII (Q532791) (← links)
- An edge dislocation interacting with a slightly wavy interface (Q532800) (← links)
- On extra boundary condition in the stagnation point flow of a second grade fluid (Q532923) (← links)
- Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 8th international conference, CPAIOR 2011, Berlin, Germany, May 23--27, 2011. Proceedings (Q532932) (← links)
