Showing 1 - 20 of 3,145

1

On the gradient of the coefficient of the characteristic polynomial
Ikenmeyer, Christian

Computational Complexity Commutative Algebra Combinatorics 68W30 Symbolic computati...
Report
Save to List
2

A Finite Expression Method for Solving High-Dimensional Committor Problems: A finite expression method for solving high-dimensional committor problems
Zezheng Song ; Maria K. Cameron ; Haizhao Yang
SIAM Journal on Scientific Computing. 47:C1-C21

Computer Science - Symbo... FOS: Computer and inform... Computer Science - Machi... Numerical methods for pa... deep neural network Computational learning t...
Academic journal
Save to List
3

A Two-Level Crank-Nicolson Difference Scheme and Its Richardson Extrapolation Methods for a Magneto-Thermo-Elasticity Model: A two-level Crank-Nicolson difference scheme and its Richardson extrapolation methods for a magneto-thermo-elasticity model
Deng, Dingwen ; Zhang, Ruyu
Advances in Applied Mathematics and Mechanics. 16:608-635

Finite difference method... energy conservation Iterative numerical meth... Extrapolation to the lim... convergence Richardson extrapolation...
Academic journal
Save to List
4

A library in CoCoA for implementing railway interlocking systems
Antonio Hernando ; José Luis Galán–García ; Yolanda Padilla–Domínguez ; et al.
RIUMA. Repositorio Institucional de la Universidad de Málaga
Universidad de Málaga

Software, source code, e... Railway interlocking sys... Symbolic computation and... railway interlocking sys... decision making Traffic problems in oper...
Academic journal
Save to List
5

Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables
Cano, Jose ; Falkensteiner, Sebastian ; Robertz, Daniel ; et al.

Mathematics - Algebraic... Computer Science - Symbo... 12H05 Differential algeb...
Report
Save to List
6

Symbolic Treatment of Trigonometric Parametrizations: The General Unirational Case and Applications: Symbolic treatment of trigonometric parametrizations: the general unirational case and applications
Alberto Lastra ; Juan Rafael Sendra ; Juana Sendra
Communications in Mathematics and Statistics. 13:481-505

trigonometric parametriz... applications Computational aspects of... implicitization algorith... 0202 electrical engineer... 02 engineering and techn...
Academic journal
Save to List
7

Report on an extended three-coupled Korteweg-de Vries system
Gao, Xin-Yi ; Guo, Yong-Jiang ; Shan, Wen-Rui ; et al.
Ricerche di Matematica. 74:575-584

Computing methodologies... extended three-coupled K... KdV equations (Korteweg-... \(N\)-soliton solutions Fluid mechanics Hirota method
Academic journal
Save to List
8

Higher Order Geometric Algebras and Their Implementations Using Bott Periodicity: Higher order geometric algebras and their implementations using Bott periodicity
Marek Stodola ; Jaroslav Hrdina
Advances in Applied Clifford Algebras. 34

GAC Witt pairs PGA Symbolic computation and... geometric algebra 01 natural sciences
Academic journal
Save to List
9

For the Shallow Water Waves: Bilinear-Form and Similarity-Reduction Studies on a Boussinesq-Burgers System: For the shallow water waves: bilinear-form and similarity-reduction studies on a Boussinesq-Burgers system
Gao, Xiao-Tian ; Tian, Bo ; Zhou, Tian-Yu ; et al.
International Journal of Theoretical Physics. 63

Water waves, gravity wav... dispersion and scatterin... Boussinesq-Burgers syste... Soliton solutions Completely integrable in... shallow water waves
Academic journal
Save to List
10

A note on minimal resolutions of vector–spread Borel ideals: A note on minimal resolutions of vector-spread Borel ideals
Crupi M. ; Ficarra A.
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, Vol 31, Iss 2, Pp 71-84 (2023)

monomial ideals vector–spread borel idea... Cohen-Macaulay ideals extremal betti numbers Combinatorial aspects of... Symbolic computation and...
Academic journal
Save to List
11

Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables
Cano, José ; Falkensteiner, Sebastian ; Robertz, Daniel ; et al.
e_Buah Biblioteca Digital Universidad de Alcalá
instname
Journal of symbolic computation 114, 1-17 (2023). doi:10.1016/j.jsc.2022.04.012

Computer Science - Symbo... FOS: Computer and inform... Thomas decomposition Matemáticas Artin approximation 0102 computer and inform...
Academic journal
Save to List
12

Extended abstract for: solving rupert's problem algorithmically
Steininger, Jakob ; Yurkevich, Sergey ; Yurkevich, Sergey
ACM Communications in Computer Algebra. 56:32-35

Three-dimensional polyto... [MATH] Mathematics [math... 0102 computer and inform... Rupert property 0101 mathematics Symbolic computation and...
Academic journal
Save to List
13

Symbolic computation for the qualitative theory of differential equations
Huang, Bo ; Niu, Wei ; Wang, Dongming
Acta Mathematica Scientia. 42:2478-2504

center-focus Bifurcation theory for o... limit cycles 0103 physical sciences biological systems Topological structure of...
Academic journal
Save to List
14

A novel Lax–Wendroff type procedure of two-derivative time-stepping schemes for Euler and Navier–Stokes equations: A novel Lax-Wendroff type procedure of two-derivative time-stepping schemes for Euler and Navier-Stokes equations
Xueyu Qin ; Xin Zhang ; Jian Yu ; et al.
Communications in Nonlinear Science and Numerical Simulation. 140:108436

Multistep, Runge-Kutta a... Finite difference method... two-derivative Runge-Kut... strong stability preserv... Finite difference method... Mesh generation, refinem...
Academic journal
Save to List
15

On the commutator in Leibniz algebras
Ismailov, N. A. ; Sartayev, B. K. ; Dzhumadil'daev, A. S.
International Journal of Algebra and Computation. 32:785-805

polynomial identities Nonassociative algebras... anti-commutator Rings with involution Lie, Jordan and other no... commutator
Academic journal
Save to List
16

On the Oceanic/Laky Shallow-Water Dynamics through a Boussinesq-Burgers System: On the oceanic/laky shallow-water dynamics through a Boussinesq-Burgers system
Gao, Xin-Yi ; Guo, Yong-Jiang ; Shan, Wen-Rui
Qualitative Theory of Dynamical Systems. 23

Hydrology, hydrography,... hetero-Bäcklund transfor... similarity reduction Water waves, gravity wav... dispersion and scatterin... shallow-water waves
Academic journal
Save to List
17

Probabilistic Algorithm for Polynomial Optimization over a Real Algebraic Set
Greuet, Aurélien ; Safey El Din, Mohab ; Polynomial Systems (PolSys) ; et al.
SIAM Journal on Optimization. 24(3):1313-1343

Global optimization polynomial optimization polynomial system solvin... real solutions 90C26 Nonconvex programm... [INFO.INFO-SC]Computer S...
Journal
Save to List
18

Bilinear Form, Bilinear Bäcklund Transformations, Breather and Periodic-Wave Solutions for a (2+1)-Dimensional Shallow Water Equation with the Time-Dependent Coefficients: Bilinear form, bilinear Bäcklund transformations, breather and periodic-wave solutions for a \((2+1)\)-dimensional shallow water equation with the time-dependent coefficients
Feng, Chun-Hui ; Tian, Bo ; Yang, Dan-Yu ; et al.
Qualitative Theory of Dynamical Systems. 22

breather and periodic-wa... Hydrology, hydrography,... Water waves, gravity wav... dispersion and scatterin... Geophysical flows Asymptotic behavior of s...
Academic journal
Save to List
19

Efficient Relative Pose Estimation for Cameras and Generalized Cameras in Case of Known Relative Rotation Angle: Efficient relative pose estimation for cameras and generalized cameras in case of known relative rotation angle
Evgeniy Martyushev ; Bo Li
Journal of Mathematical Imaging and Vision. 62:1076-1086

FOS: Computer and inform... 0209 industrial biotechn... generalized cameras Computer Vision and Patt... relative pose estimation Computer Science - Compu...
Academic journal
Save to List
20

(Pseudo)digraphs and Leibniz algebra isomorphisms
Manuel Ceballos ; Juan Núñez ; Ángel F. Tenorio
Brújula
Universidad Loyola Andalucía

algorithm Isomorphism class Directed graphs (digraph... isomorphic digraphs Symbolic computation and... 01 natural sciences
Academic journal
Save to List

Filter