Results 31 to 40 of about 75 (63)
Algorithmic approach for Formal Fourier Series
. The study of trigonometric series has started at the beginning of the nineteenth century. Joseph Fourier made the important observation that almost every function of a closed interval can be decomposed into the sum of sine and cosine functions.
Etienne Nana Chiadjeu, Wolfram Koepf
core
Exceptional sets and fiber products
Exceptional sets where fibers have dimensions higher than the generic fiber dimension are of interest in mathematics and in application areas, such as the theory of overconstrained mechanisms.
core
We study formal path expressions for two edge-labeled two-terminal directed acyclic graph families: directed triangulated grid graphs (TGGs) and directed king graphs.
Vadim E. Levit, Mark Korenblit
core +1 more source
Higher Polynomial Identities for Mutations of Associative Algebras. [PDF]
Bremner MR, Brox J, Sánchez-Ortega J.
europepmc +1 more source
Generation of invariants in theorema
. Explicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, in most of the cases, however, these invariants are usually implicit.
Laura Ildikó Kovács, Tudor Jebelean
core
Solving Polynomial Systems Equation by Equation
By a numerical continuation method called a diagonal homotopy, one can compute the intersection of two irreducible positive dimensional solution sets of polynomial systems.
Andrew J. Sommese +4 more
core
Applications of a Numerical Version of Terracini's Lemma for Secants and Joins
This paper illustrates how methods such as homotopy continuation and monodromy, when combined with a numerical version of Terracini's lemma, can be used to produce a high probability algorithm for computing the dimensions of secant and join ...
Andrew J. Sommese +2 more
core
Border bases and kernels of homomorphisms and of derivations
Zieliński Janusz
doaj +1 more source
Decoupled molecules with binding polynomials of bidegree (n, 2). [PDF]
Ren Y, Martini JWR, Torres J.
europepmc +1 more source

