Keywords: سیستم های جبر کامپیوتری; Power transformer; Transformer fault; Predictive maintenance; Computer algebra systems; Knowledge based systems; Verification;
مقالات ISI سیستم های جبر کامپیوتری (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: سیستم های جبر کامپیوتری; Computer algebra systems; Assessment; Competencies; Linear algebra; Signal processing
Keywords: سیستم های جبر کامپیوتری; Simplification; Computer algebra systems; Experimental mathematics; Error correction
A new recursive algorithm for inverting general kk-tridiagonal matrices
Keywords: سیستم های جبر کامپیوتری; kk-Tridiagonal matrices; LU factorization; Matrix inversion; Computer Algebra Systems; Recursion
The list-chromatic index of K6K6
Keywords: سیستم های جبر کامپیوتری; List coloring; Edge coloring; List-chromatic index; List coloring conjecture; Combinatorial Nullstellensatz; Complete graph; Computer algebra systems
Revisiting four-valued logics from Maple using the Logics Explorer package
Keywords: سیستم های جبر کامپیوتری; Finite many-valued logics; Belnap's four-valued logic; Computer algebra systems; Effective computations;
Estimating radial railway network improvement with a CAS
Keywords: سیستم های جبر کامپیوتری; Radial railway networks; Anamorphosis maps; Isochrone circle maps; Computer algebra systems
SD-CAS: Spin Dynamics by Computer Algebra System
Keywords: سیستم های جبر کامپیوتری; Spin dynamics; Symbolic computations; NMR; Computer Algebra Systems;
Connecting the 3D DGS Calques3D with the CAS Maple
Keywords: سیستم های جبر کامپیوتری; 3D Dynamic Geometry Systems; Computer Algebra Systems; Mechanical theorem proving in geometry; Gröbner bases; Wu’s method
Computing ODE symmetries as abnormal variational symmetries
Keywords: سیستم های جبر کامپیوتری; 34-04; 49-04; 34C14; 49K15Symmetries; Variational symmetries; Dynamic symmetries; ODEs; Computer algebra systems; Optimal control; Abnormality
Evolution of railway network flexibility: The Spanish broad gauge case
Keywords: سیستم های جبر کامپیوتری; Railway network analysis; Graph theory; Computer algebra systems;
On the inverse of a general pentadiagonal matrix
Keywords: سیستم های جبر کامپیوتری; Matrices; Pentadiagonal matrix; Determinants; Doolittle factorizations; Computer algebra systems
A note on the reducibility of special infinite series
Keywords: سیستم های جبر کامپیوتری; Stirling numbers; Bell numbers; Algorithm; Series; Computer algebra systems;
Precise numerical computation
Keywords: سیستم های جبر کامپیوتری; 65G20; 65G30; 65G50; Significance arithmetic; Interval arithmetic; Error analysis; Accuracy and precision; Condition number; Computer algebra systems; Computer aspects of numerical algorithms;
Automated conjecture making in number theory using HR, Otter and Maple
Keywords: سیستم های جبر کامپیوتری; Automated mathematical discovery; Automated reasoning; Computer algebra systems; Machine learning; Integration of reasoning systems;