The following pages link to full work available at URL (P205):
Displaying 50 items.
- On the clique number of the complement of the annihilating ideal graph of a commutative ring (Q286660) (← links)
- Rank-2 syzygy bundles on Fermat curves and an application to Hilbert-Kunz functions (Q286663) (← links)
- Almost-toric hypersurfaces (Q286665) (← links)
- Hamiltonian Floer homology for compact convex symplectic manifolds (Q286667) (← links)
- Rigidity of complete hypersurfaces in warped product spaces via higher order mean curvatures (Q286670) (← links)
- On the space of orthogonal multiplications in three and four dimensions and Cayley's nodal cubic (Q286671) (← links)
- On a conjecture referring to orthic quadrilaterals (Q286674) (← links)
- Planar discrete isothermic nets of conical type (Q286677) (← links)
- The Steiner-Lehmus theorem and ``triangles with congruent medians are isosceles'' hold in weak geometries (Q286680) (← links)
- Pivot-isogonal cubics (Q286682) (← links)
- Models for video-on-demand scheduling with costs (Q286685) (← links)
- Optimal capacitated ring trees (Q286687) (← links)
- Generalized minimum spanning tree games (Q286691) (← links)
- Compact ILP formulations for the routing and wavelength assignment problem in the design of optical transport networks with regenerators (Q286692) (← links)
- From closure games to strong Kleene truth (Q286693) (← links)
- End extensions of models of weak arithmetic theories (Q286696) (← links)
- Phase transition results for three Ramsey-like theorems (Q286698) (← links)
- Guessing, mind-changing, and the second ambiguous class (Q286700) (← links)
- A lifting argument for the generalized Grigorieff forcing (Q286703) (← links)
- A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
- Non-Fregean propositional logic with quantifiers (Q286706) (← links)
- Semantic completeness of first-order theories in constructive reverse mathematics (Q286708) (← links)
- Restriction by noncontraction (Q286710) (← links)
- Fukushima type decomposition for semi-Dirichlet forms (Q286714) (← links)
- On the holomorphic automorphism group of a generalized Hartogs triangle (Q286716) (← links)
- Correction: on the holomorphic automorphism group of a generalized Hartogs triangle (Q286717) (← links)
- Construction of isolated left orderings via partially central cyclic amalgamation. (Q286718) (← links)
- Isometric deformations of cuspidal edges (Q286720) (← links)
- Wedge operations and torus symmetries (Q286723) (← links)
- A note on Rhodes and Gottlieb-Rhodes groups (Q286727) (← links)
- Preface: Special issue on interpolation (Q286728) (← links)
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs (Q286731) (← links)
- Proof tree preserving tree interpolation (Q286737) (← links)
- Synchronization in coupled second order in time infinite-dimensional models (Q286738) (← links)
- Stability of solutions to nonlinear wave equations with switching time delay (Q286741) (← links)
- Asymptotic behavior of solutions to the cubic coupled Schrödinger systems in one space dimension (Q286743) (← links)
- Well-posedness and global attractor of the Cahn-Hilliard-Brinkman system with dynamic boundary conditions (Q286746) (← links)
- A note from the guest editors (Q286747) (← links)
- Group-colouring, group-connectivity, claw-decompositions, and orientations in 5-edge-connected planar graphs (Q286749) (← links)
- Problems and results in extremal combinatorics. III. (Q286750) (← links)
- Transversal designs and induced decompositions of graphs (Q286751) (← links)
- Isomorphy up to complementation (Q286755) (← links)
- Toward Żak's conjecture on graph packing (Q286756) (← links)
- A Paley-like graph in characteristic two (Q286759) (← links)
- Decomposable and indecomposable critical hypergraphs (Q286766) (← links)
- The structure of graphs with circular flow number 5 or more, and the complexity of their recognition problem (Q286768) (← links)
- Narrowing down the gap on cycle-star Ramsey numbers (Q286769) (← links)
- Cyclable sets of vertices in 3-connected graphs (Q286770) (← links)
- A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle (Q286772) (← links)
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
