Search results
From MaRDI portal
- with applications to resolution of 2-dimensional schemes 2012-06-26 Paper Elimination algebras and inductive arguments in resolution of singularities 2012-06-19...10 bytes (21 words) - 13:51, 7 December 2023
- 2007-10-05 Paper On the minimal free resolution of the universal ring for resolutions of length two 2007-06-22 Paper The resolution of the universal ring for modules...10 bytes (18 words) - 22:27, 9 December 2023
- ARITHMETIC 2010-08-26 Paper Pool resolution is NP-hard to recognize 2009-12-14 Paper Resolution Trees with Lemmas: Resolution Refinements that Characterize...10 bytes (19 words) - 14:53, 7 December 2023
- invariant for resolution of singularities in dimension two 2020-05-13 Paper Invariance of Hironaka's characteristic polyhedron 2019-10-30 Paper Resolution of singularities...10 bytes (16 words) - 22:00, 11 December 2023
- Reduction of Hyperbolic Partial Differential Equations 2018-04-19 Paper A high-resolution finite volume seismic model to generate seafloor deformation for tsunami...10 bytes (19 words) - 14:49, 7 December 2023
- heterogeneous behavior within the graph model for conflict resolution 2019-04-23 Paper Conflict resolution using the graph model: strategic interactions in competition...10 bytes (19 words) - 12:41, 11 December 2023
- Paper An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning 2013-08-12 Paper Resolution for Max-SAT 2009-07-09 Paper Efficiently...10 bytes (19 words) - 14:26, 11 December 2023
- properties of constructive resolution of singularities 2012-04-05 Paper Coefficient and elimination algebras in resolution of singularities 2012-04-05...10 bytes (16 words) - 03:26, 10 December 2023
- Paper Erratum to ``Resolution except for minimal singularities. I [Adv. Math. 231 (2012) 3022-3053] 2013-01-07 Paper Nash resolution for binomial varieties...10 bytes (19 words) - 20:11, 11 December 2023
- extension of L-algebras and states 2023-10-31 Paper Anick resolution and the minimal projective resolution of \(U_q^+(C_3)\) 2023-08-09 Paper The reduct of a...10 bytes (17 words) - 22:55, 9 December 2023
- with error control for incompressible Navier-Stokes and scalar transport resolution on dual grids 2021-02-03 Paper Unsteady compressible flow computations...10 bytes (16 words) - 13:36, 7 December 2023
- 2023-12-12 Paper Number of Variables for Graph Differentiation and the Resolution of Graph Isomorphism Formulas 2023-07-18 Paper Pure Nash equilibria in...10 bytes (16 words) - 03:51, 9 December 2023
- Optimality of size-width tradeoffs for resolution 2003-08-26 Paper Space complexity of random formulae in resolution 2003-08-06 Paper Monotone simulations...10 bytes (17 words) - 17:38, 13 December 2023
- Level-ordered \(Q\)-resolution and tree-like \(Q\)-resolution are incomparable 2016-01-05 Paper Feasible Interpolation for QBF Resolution Calculi 2015-10-27...10 bytes (18 words) - 03:09, 13 December 2023
- 2011-02-08 Paper Abduction via C-tableaux and δ-resolution 2009-11-30 Paper tarfa: Tableaux and Resolution for Finite Abduction 2008-10-30 Paper https://portal...10 bytes (18 words) - 12:29, 28 January 2024
- Automated Parser Generation 2009-03-12 Paper Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning 2008-05-27 Paper Another...10 bytes (18 words) - 14:54, 8 December 2023
- de/entity/Q4273485 1994-01-13 Paper A resolution framework for finitely-valued first-order logics 1992-06-28 Paper Resolution approximation of first-order logics...10 bytes (16 words) - 16:59, 12 December 2023
- high-order multi-resolution WENO schemes: a numerical study 2021-11-19 Paper An efficient fifth-order finite difference multi-resolution WENO scheme for...10 bytes (16 words) - 12:06, 11 December 2023
- nested multi-resolution WENO scheme for Euler/Navier-Stokes equations 2022-03-31 Paper An efficient fifth-order finite difference multi-resolution WENO scheme...10 bytes (17 words) - 01:05, 13 December 2023
- analysis in the Graph Model for Conflict Resolution 2017-01-04 Paper Theory and application of conflict resolution with hybrid preference in colored graphs...10 bytes (18 words) - 02:57, 11 December 2023