Results 21 to 30 of about 107 (87)
International Journal of Mathematics and Mathematical Sciences, Volume 2017, Issue 1, 2017., 2017 Let G be a graph and ϕ : V(G) ∪ E(G)→{1,2, 3, …, k} be a k‐total coloring. Let w(v) denote the sum of color on a vertex v and colors assigned to edges incident to v. If w(u) ≠ w(v) whenever uv ∈ E(G), then ϕ is called a neighbor sum distinguishing total coloring.
Patcharapan Jumnongnit +2 more
wiley +1 more source
Journal of Applied Mathematics, Volume 2015, Issue 1, 2015., 2015 The fractional derivatives in the sense of the modified Riemann‐Liouville derivative and Feng’s first integral method are employed to obtain the exact solutions of the nonlinear space‐time fractional ZKBBM equation and the nonlinear space‐time fractional generalized Fisher equation. The power of this manageable method is presented by applying it to the
Huitzilin Yépez-Martínez +3 more
wiley +1 more source
On the Polynomial Parity Argument Complexity of the Combinatorial Nullstellensatz
CoRR, 2017 26 ...
Aleksandrs Belovs +4 more
openaire +6 more sources
A Deductive Approach towards Reasoning about Algebraic Transition Systems
Mathematical Problems in Engineering, Volume 2015, Issue 1, 2015., 2015 Algebraic transition systems are extended from labeled transition systems by allowing transitions labeled by algebraic equations for modeling more complex systems in detail. We present a deductive approach for specifying and verifying algebraic transition systems.
Jun Fu +3 more
wiley +1 more source
Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions
Journal of Applied Mathematics, Volume 2014, Issue 1, 2014., 2014 We introduce an approach exploiting the power of polynomial ring algebra to perform SystemVerilog assertion verification over digital circuit systems. This method is based on Groebner bases theory and sequential properties checking. We define a constrained subset of SVAs so that an efficient polynomial modeling mechanism for both circuit descriptions ...
Ning Zhou +5 more
wiley +1 more source
Solving the n $n$‐Player Tullock Contest
Journal of Public Economic Theory, Volume 28, Issue 2, April 2026.ABSTRACT The n $n$‐player Tullock contest with complete information is known to admit explicit solutions in special cases, such as (i) homogeneous valuations, (ii) constant returns, and (iii) two contestants. But can the model be solved more generally?
Christian Ewerhart
wiley +1 more source
Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches
Journal of Applied Mathematics, Volume 2013, Issue 1, 2013., 2013 This work presents an efficient solution using computer algebra system to perform linear temporal properties verification for synchronous digital systems. The method is essentially based on both Groebner bases approaches and symbolic simulation. A mechanism for constructing canonical polynomial set based symbolic representations for both circuit ...
Ning Zhou +3 more
wiley +1 more source
A Combinatorial Proof of the Effective Nullstellensatz
Journal of Symbolic Computation, 1993 The degree bound in the effective Nullstellensatz is obtained using combinatorial methods, namely counting arguments for the ideal \(I\).
openaire +2 more sources
FTheoryTools: Advancing Computational Capabilities for F‐Theory Research
Fortschritte der Physik, Volume 74, Issue 1, January 2026.Abstract A primary goal of string phenomenology is to identify realistic four‐dimensional physics within the landscape of string theory solutions. In F‐theory, such solutions are encoded in the geometry of singular elliptic fibrations, whose study often requires particularly challenging and cumbersome computations.
Martin Bies +2 more
wiley +1 more source
The First Integral Method to the Nonlinear Schrodinger Equations in Higher Dimensions
Abstract and Applied Analysis, Volume 2013, Issue 1, 2013., 2013 The first integral method introduced by Feng is adopted for solving some important nonlinear partial differential equations, including the (2 + 1)‐dimensional hyperbolic nonlinear Schrodinger (HNLS) equation, the generalized nonlinear Schrodinger (GNLS) equation with a source, and the higher‐order nonlinear Schrodinger equation in nonlinear optical ...
Shoukry Ibrahim Atia El-Ganaini +1 more
wiley +1 more source