别炫耀 发表于 2025-3-26 22:41:21

,Tropical Newton–Puiseux Polynomials,al Newton–Puiseux polynomial. A polynomial complexity algorithm for resolubility of a tropical curve is designed. The complexity of resolubility of tropical prevarieties of arbitrary codimensions is studied.

OUTRE 发表于 2025-3-27 01:28:02

Orthogonal Tropical Linear Prevarieties,ude a criterion and an algorithm, deciding whether a tropical linear . is a tropical linear . formulated in terms of a duality between . and .. We give an example of a countable family of tropical hyperplanes such that their intersection is not a tropical prevariety.

overrule 发表于 2025-3-27 07:18:19

0302-9743 lle, France, in September 2018...The 24 full papers of this volume presented with an abstract of an invited talk and one paper corresponding to another invited talk were carefully reviewed and selected from 29 submissions. They deal with cutting-edge research in all major disciplines of computer alg

Epidural-Space 发表于 2025-3-27 10:07:01

http://reply.papertrans.cn/24/2335/233410/233410_34.png

Commonplace 发表于 2025-3-27 14:04:06

,From Exponential Analysis to Padé Approximation and Tensor Decomposition, in One and More Dimensionriate generalization are the subject of Sect. .. These connections immediately allow for some generalization of the sampling scheme, not covered by the current multivariate theory..An interesting computational illustration of the above in blind source separation is presented in Sect. ..

Incisor 发表于 2025-3-27 18:10:31

,Symbolic Algorithm for Generating the Orthonormal Bargmann–Moshinsky Basis for , Group, of the obtained basis is developed. The effectiveness of the algorithms implemented in Mathematica 10.1 is investigated by calculation of the overlap integrals for up to . with . and orthonormalization of the basis for up to . with .. The action of the zero component of the quadrupole operator onto the basis vectors with . is also obtained.

encyclopedia 发表于 2025-3-27 23:01:41

On a Polytime Factorization Algorithm for Multilinear Polynomials over ,als. The algorithm has been applied to solve problems of compact representation of various combinatorial structures, including Boolean functions and relational data tables. In this paper, we describe an improvement of this factorization algorithm and report on preliminary experimental analysis.

Promotion 发表于 2025-3-28 02:28:13

,Symbolic-Numerical Algorithms for Solving Elliptic Boundary-Value Problems Using Multivariate Simplc-numerical algorithms implemented in Maple. Quadrature rules up to order 8 on the simplexes with dimension . are presented. We demonstrate the efficiency of algorithms and programs by benchmark calculations of a low part of spectra of exactly solvable Helmholtz problems for a cube and a hypercube.

Parameter 发表于 2025-3-28 07:06:24

http://reply.papertrans.cn/24/2335/233410/233410_39.png

dragon 发表于 2025-3-28 13:39:07

Systems and Software Verifications method. We conclude the paper by proposing an involutive variant of the signature based algorithm of Gao et al. [.] to compute simultaneously a Gröbner basis for a given ideal and for the syzygy module of the input basis. All the presented algorithms have been implemented in . and their performance is evaluated via a set of benchmark ideals.
页: 1 2 3 [4] 5 6 7
查看完整版本: Titlebook: Computer Algebra in Scientific Computing; 20th International W Vladimir P. Gerdt,Wolfram Koepf,Evgenii V. Vorozht Conference proceedings 20