Keywords: جبر کامپیوتر; 14N15; 14Q15; 14Q20; Algebraic varieties; Numerical algebraic geometry; Computer algebra; Line bundles;
مقالات ISI جبر کامپیوتر (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: جبر کامپیوتر; Graphical models; Staged tree models; Computer algebra; Ideal decomposition; Algebraic statistics;
Keywords: جبر کامپیوتر; Chebyshev polynomials; Nonlinear ordinary differential equations; Two-point boundary value problem; Lemniscate elliptic function; Computer algebra;
Keywords: جبر کامپیوتر; 34A30; 68W30; Differential systems; Selected unknowns; Picard-Vessiot extension; Satellite unknowns; Computer algebra;
Keywords: جبر کامپیوتر; 33F10; 33C45; 33C10; Definite integrals; Special functions; Hypergeometric series; Computer algebra;
Keywords: جبر کامپیوتر; primary; 17C05; secondary; 05A10; 05C30; 15A69; 15B33; 16W10; 17-04; 17A30; 17A50; 17C50; 18D50; 20C30; 68R15; 68W30; Jordan algebras; Di- and tri-algebras; Pre- and post-Jordan algebras; Polynomial identities; Algebraic operads; Triplicators; Trisuccesso
Keywords: جبر کامپیوتر; Jacobi theta functions; Modular forms; Algorithmic zero-recognition; Computer algebra; Automatic proving of special function identities;
Keywords: جبر کامپیوتر; D-finite functions; Apparent singularities; Computer algebra; Ore operators
Keywords: جبر کامپیوتر; Volterra type lattice; Higher symmetry; Conservation law; Integrability test; Summation by parts; Computer algebra
Keywords: جبر کامپیوتر; Resultant; Flexible; Quadrilateral; Computer algebra
Keywords: جبر کامپیوتر; Computer algebra; Symbol manipulation; Symbolic computations; Basic sums; Effective conductivity; Optimal packing problem
Keywords: جبر کامپیوتر; Allen-Cahn equation; Ritz method; Computer algebra;
Keywords: جبر کامپیوتر; Knowledge-based systems; Groebner bases; Computer algebra; Breakdown diagnosis;
Keywords: جبر کامپیوتر; Quadratic forms; Computer algebra; Polynomial isomorphism; Multivariate cryptography; Module isomorphism
MultivariateResidues: A Mathematica package for computing multivariate residues
Keywords: جبر کامپیوتر; Computational algebraic geometry; Unitarity calculations; Perturbation theory; Computer algebra;
MultivariateResidues : A Mathematica package for computing multivariate residues
Keywords: جبر کامپیوتر; Computational algebraic geometry; Unitarity calculations; Perturbation theory; Computer algebra;
Kira-A Feynman integral reduction program
Keywords: جبر کامپیوتر; Linear equations and matrices; Feynman diagrams; Computer algebra; Multi-loop Feynman integrals; Laporta algorithm; Integration-by-parts identities; Feynman integral symmetries; D-dimensional regularization;
Solving rank-constrained semidefinite programs in exact arithmetic
Keywords: جبر کامپیوتر; Semidefinite programming; Determinantal varieties; Linear matrix inequalities; Rank constraints; Exact algorithms; Computer algebra; Polynomial optimization; Spectrahedra; Sums of squares;
Elliptic function based algorithms to prove Jacobi theta function relations
Keywords: جبر کامپیوتر; Jacobi theta functions; Modular forms; Algorithmic zero-recognition; Computer algebra; Automatic proving of special function identities;
Implementation of the O(αt2) MSSM Higgs-mass corrections in FeynHiggs
Keywords: جبر کامپیوتر; Automated computation; Higgs physics; Computer Algebra;
A prototype of a RBES for personalized menus generation
Keywords: جبر کامپیوتر; Knowledge-based systems; Restaurant menus; Computer algebra; Groebner bases;
On mixed polynomials of bidegree (n,1)
Keywords: جبر کامپیوتر; Harmonic polynomials and rational functions; The fundamental theorem of algebra; Complex dynamics; Mixed polynomial; Computer algebra; Interpolation; Root isolation;
On the arithmetic complexity of Strassen-like matrix multiplications
Keywords: جبر کامپیوتر; Fast matrix multiplication; Strassen-like matrix multiplication; Computational complexity; Cryptographic computations; Computer algebra;
A direct algorithm to compute the topological Euler characteristic and Chern-Schwartz-MacPherson class of projective complete intersection varieties
Keywords: جبر کامپیوتر; Euler characteristic; Computer algebra; Computational intersection theory; Chern-Schwartz-MacPherson class; Chern class;
RGIsearch: A C++ program for the determination of renormalization group invariants
Keywords: جبر کامپیوتر; Renormalization; Computer algebra; Sparse linear systems;
FIESTA4: Optimized Feynman integral calculations with GPU support
Keywords: جبر کامپیوتر; Feynman diagrams; Multiloop Feynman integrals; Dimensional regularization; Computer algebra; Numerical integration
Multivariate Polynomial Multiplication on GPU
Keywords: جبر کامپیوتر; computer algebra; multivariate polynomial multiplication; GPU; CUDA; particle accelerator design
Algorithms to compute the topological Euler characteristic, Chern–Schwartz–MacPherson class and Segre class of projective varieties
Keywords: جبر کامپیوتر; Euler characteristic; Chern–Schwartz–MacPherson class; Segre class; Computer algebra; Computational intersection theory
Liouville integrability: An effective Morales–Ramis–Simó theorem
Keywords: جبر کامپیوتر; 37J30; 34A05; 68W30; 34M03; 34M15; 34M25; 17B45; 20G45; 32G81; 34M05; 37K10; 17B80; 70H06Hamiltonian systems; Ordinary differential equations; Complete integrability; Differential Galois theory; Computer algebra; Lie algebras
Polynomial-time solvable #CSP problems via algebraic models and Pfaffian circuits
Keywords: جبر کامپیوتر; Dichotomy theorems; Gröbner bases; Computer algebra; #CSP; Polynomial ideals
Real root finding for determinants of linear matrices
Keywords: جبر کامپیوتر; Computer algebra; Real algebraic geometry; Determinantal varieties
FIRE5: A C++ implementation of Feynman Integral REduction
Keywords: جبر کامپیوتر; Feynman diagrams; Multiloop Feynman integrals; Dimensional regularization; Computer algebra;
Applications of matrix morsifications to Coxeter spectral study of loop-free edge-bipartite graphs
Keywords: جبر کامپیوتر; Edge-bipartite graph; Coxeter spectral analysis; Combinatorial algorithms; Computer algebra; Coxeter matrix
Algorithms for the symbolic integration of hyperlogarithms with applications to Feynman integrals
Keywords: جبر کامپیوتر; Feynman integrals; Hyperlogarithms; Polylogarithms; Computer algebra; Symbolic integration; εε-expansions
VEST: Abstract vector calculus simplification in Mathematica
Keywords: جبر کامپیوتر; Vector calculus; Computer algebra; Tensors; Mathematica
A Maple package to find first order differential invariants of 2ODEs via a Darboux approach
Keywords: جبر کامپیوتر; First integrals; Second order ordinary differential equations; Darboux-type approach; Computer algebra
FIESTA 3: Cluster-parallelizable multiloop numerical calculations in physical regions
Keywords: جبر کامپیوتر; Feynman diagrams; Multiloop Feynman integrals; Dimensional regularization; Computer algebra;
New Finsler package
Keywords: جبر کامپیوتر; Maple program; FINSLER package; Computer algebra; Finsler space; Fundamental Finsler connections; Tensor simplification;
Rota-Baxter operators on 4-dimensional complex simple associative algebras
Keywords: جبر کامپیوتر; Rota-Baxter operators; Yang-Baxter equation; Left-symmetric algebra; Computer Algebra;
xTras: A field-theory inspired xAct package for mathematica
Keywords: جبر کامپیوتر; Mathematica; Computer algebra; Tensor calculus; Field theory; Combinatorics; General relativity; Riemann tensor; Young tableaux
FIRE4, LiteRed and accompanying tools to solve integration by parts relations
Keywords: جبر کامپیوتر; Feynman diagrams; Multiloop Feynman integrals; Dimensional regularization; Computer algebra;
FORM version 4.0
Keywords: جبر کامپیوتر; Computer algebra; Computational methods: Feynman diagrams; 02.70.Wz
Solving invariance equations involving homogeneous means with the help of computer
Keywords: جبر کامپیوتر; Invariance equation; Gauss composition; Gini mean; Stolarsky mean; Computer algebra;
Group classification and conservation laws for a two-dimensional generalized Kuramoto–Sivashinsky equation
Keywords: جبر کامپیوتر; 76M60; 35A30; 70G65Anisotropic Kuramoto–Sivashinsky equation; Nonlinear self-adjointness; Group classification; Conservation laws; Computer algebra
On the definitions of nucleus for dialgebras
Keywords: جبر کامپیوتر; primary, 17D10; secondary, 17A20, 17A30, 17A32, 17D05Nonassociative algebras and dialgebras; Nucleus; Ternary derivations; Computer algebra
Compositions and collisions at degree p2p2
Keywords: جبر کامپیوتر; Computer algebra; Finite fields; Wild polynomial decomposition; Equal-degree collisions; Ramification theory of function fields; Counting special polynomials
Asymptotics for continuous lifetime distributions with polynomial failure rate with an application in reliability
Keywords: جبر کامپیوتر; Continuous lifetime distribution; Polynomial failure rate; Delta method; Testing; Confidence interval; Computer algebra;
A new algorithm for automatic computation of solitary wave solutions to nonlinear partial differential equations based on the Exp-function method
Keywords: جبر کامپیوتر; Nonlinear partial differential equations; Exp-function method; Computer algebra
FeynArts model file for MSSM transition counterterms from DREG to DRED
Keywords: جبر کامپیوتر; Feynman diagrams; Computer algebra; General; High energy physics and computing
The high-energy physicistʼs guide to MathLink
Keywords: جبر کامپیوتر; Computer algebra