Showing 21 - 40 of 3,147

21

A General Solver Based on Sparse Resultants
Emiris, Ioannis Z.

Computer Science - Symbo... Computer Science - Numer... Mathematics - Commutativ... 13P15 Solving polynomial... I.1 F.2.1
Report
Save to List
22

Master integrals for mixed QCD-QED corrections to charged-current Drell-Yan production of a massive charged lepton
Ming-Ming Long ; Ren-You Zhang ; Wen-Gan Ma ; et al.
Journal of High Energy Physics, Vol 2022, Iss 7, Pp 1-35 (2022)
Journal of High Energy Physics

Feynman integrals and gr... applications of algebrai... FOS: Physical sciences Higher Order Electroweak... QC770-798 Symbolic computation and...
Academic journal
Save to List
23

On the Existence of Telescopers for P-Recursive Sequences: On the existence of telescopers for P-recursive sequences
Lixin Du
Journal of Symbolic Computation. 130:102423

Computer Science - Symbo... FOS: Computer and inform... integral bases Generalized hypergeometr... Abramov-Petkovšek reduct... Symbolic computation of...
Academic journal
Save to List
24

Discovering the Roots: Uniform Closure Results for Algebraic Classes Under Factoring: Discovering the roots: uniform closure results for algebraic classes under factoring
Pranjal Dutta ; Nitin Saxena ; Amit Sinhababu
Journal of the ACM. 69:1-39

FOS: Computer and inform... Computational methods fo... Computer Science - Compu... F.1.1, I.1.2, F.1.3, G.1... Networks and circuits as... circuit complexity
Academic journal
Save to List
25

Gröbner bases of neural ideals
Ryan Kruse ; Jessica Liu ; Kaitlyn Phillipson ; et al.
International Journal of Algebra and Computation. 28:553-571

2. Zero hunger receptive field Symbolic computation and... Mathematics - Commutativ... Commutative Algebra (mat... 16. Peace & justice
Academic journal
Save to List
26

Positive root isolation for poly-powers by exclusion and differentiation
Zhibin Li ; Cheng-Chao Huang ; Ming Xu ; et al.
Journal of Symbolic Computation. 85:148-169

Systems biology, network... Computational aspects of... generalized polynomial Polynomials in real and... real root isolation systems biology
Academic journal
Save to List
27

The High Order Augmented Finite Volume Methods Based on Series Expansion for Nonlinear Degenerate Parabolic Equations: The high order augmented finite volume methods based on series expansion for nonlinear degenerate parabolic equations
Yetong Li ; Tengjin Zhao ; Zhiyue Zhang ; et al.
Journal of Scientific Computing. 88

Asymptotic approximation... Finite volume methods fo... improved augmented metho... finite volume method high order Degenerate parabolic equ...
Academic journal
Save to List
28

Using Machine Learning to Improve Cylindrical Algebraic Decomposition
Huang, Zongyan ; England, Matthew ; Wilson, David J. ; et al.
Mathematics in Computer Science. 13(4):461-488

Academic journal
Save to List
29

Linear programming using limited-precision oracles
Gleixner, Ambros ; Steffy, Daniel E.
Mathematical Programming: A Publication of the Mathematical Optimization Society. :1-30

Academic journal
Save to List
30

Strassen’s 2×2 matrix multiplication algorithm: a conceptual perspective
Ikenmeyer, Christian ; Lysikov, Vladimir
ANNALI DELL'UNIVERSITA' DI FERRARA: SEZIONE VII - SCIENZE MATEMATICHE. 65(2):241-248

Academic journal
Save to List
31

Fast matrix multiplication and its algebraic neighbourhood
V. Ya. Pan
Sbornik: Mathematics. 208:1661-1704

History of mathematics i... Analysis of algorithms a... Numerical linear algebra matrix multiplication History of computer scie... feasible matrix multipli...
Academic journal
Save to List
32

A Nearly Optimal Algorithm for Deciding Connectivity Queries in Smooth and Bounded Real Algebraic Sets
Safey El Din, Mohab ; Schost, Éric ; Safey El Din, Mohab
Journal of the ACM. 63:1-37

Computer Science - Symbo... FOS: Computer and inform... Real algebraic geometry [INFO.INFO-SC] Computer... Symbolic Computation (cs... 0101 mathematics
Academic journal
Save to List
33

Rational solutions and lump solutions to the generalized (3+1)-dimensional Shallow Water-like equation: Rational solutions and lump solutions to the generalized \((3+1)\)-dimensional shallow water-like equation
Hongwei Yang ; Huanhe Dong ; Yong Zhang ; et al.
Computers & Mathematics with Applications. 73:246-252

Water waves, gravity wav... dispersion and scatterin... rational solution KdV equations (Korteweg-... \((3+1)\)-dimensional sh... lump solution
Academic journal
Save to List
34

Algorithmic method to obtain combinatorial structures associated with Leibniz algebras
Ceballos González, Manuel ; Núñez Valdés, Juan ; Tenorio Villalón, Ángel Francisco
Brújula
Universidad Loyola Andalucía

Pseudodigraph algorithm pseudodigraph combinatorial structure Symbolic computation and... 01 natural sciences
Academic journal
Save to List
35

A survey of direct methods for sparse linear systems
Sivasankaran Rajamanickam ; Timothy A. Davis ; Wissam M. Sid-Lakhdar
Acta Numerica. 25:383-566

frontal method algorithm sparse linear system QR factorization direct method Parallel numerical compu...
Academic journal
Save to List
36

Test for Leibniz n-algebra structure: Test for Leibniz \(n\)-algebra structure
Manuel Ladra ; Manuel A. Insua ; José Manuel Casas ; et al.
Linear Algebra and its Applications. 494:138-155

overlap relations Leibniz \(n\)-algebra Lie \(n\)-algebra Software, source code, e... Gröbner bases other bases for ideals a...
Academic journal
Save to List
37

Algorithm for construction of volume forms on toric varieties starting from a convex integer polytope
T. V. Zykova ; A. A. Kytmanov ; Alexey Shchuplev ; et al.
Programming and Computer Software. 42:99-106

Lattice polytopes in con... volume form 1. No poverty fan of toric variety Newton polytope 27.41.41
Academic journal
Save to List
38

Efficient Development of Competitive Mathematica Solutions Based on Geometric Algebra with GAALOPWeb: Efficient development of competitive Mathematica solutions based on geometric algebra with GAALOPWeb
R. Alves ; D. Hildenbrand ; C. Steinmetz ; et al.
Advances in Applied Clifford Algebras. 30

Clifford algebras, spino... Euclidean analytic geome... Computer graphics computational geometry (... geometric algebra (GA) 0103 physical sciences
Academic journal
Save to List
39

MODELING SOME MATHEMATICAL OBJECTS AND OPERATIONS ON THEM WITH AN EXPANDED RELATIONAL DATA MODEL: Modelling some mathematical objects and operations on them with an expanded relational data model
LOZOVSKII N.D. ; TOLMACHEV I.L.
Programming and computer software

Data Models Object Oriented Database... algebra system Nonlinear Mechanics Mathematical Models Mechanics
Academic journal
Save to List
40

Quantifier elimination for a class of exponential polynomial formulas
Lu Yang ; Zhibin Li ; Ming Xu
Journal of Symbolic Computation. 68:146-168

quantifier elimination Computational aspects of... 13. Climate action decision procedures Quantifier elimination,... 0102 computer and inform...
Academic journal
Save to List

Filter