# Computer algebra systems

Xem 1-20 trên 42 kết quả Computer algebra systems
• ### Ebook Basic engineering mathematics (4/E): Part 1

Part 1 book "Basic engineering mathematics" includes content: Basic arithmetic; fractions, decimals and percentages; indices, standard form and engineering notation; calculations and evaluation of formulae; computer numbering systems; algebra; simple equations; transposition of formulae; simultaneous equations; quadratic equations; inequalities; straight line graphs; graphical solution of equations; logarithms; exponential functions; reduction of non-linear laws to linear-form; graphs with logarithmic scales.

• ### Ebook In differential equations in differential equations: Part 2

Part 2 book "In differential equations in differential equations" includes content: Systems of differential equations, linear systems and matrices, nonlinear systems, references, computer algebra systems, practice test questions, solutions and hints to selected exercises.

• ### Ebook Introduction to Mathematica for Physicists - Part 1

Part 1 of ebook "Introduction to Mathematica for Physicists" provides readers with contents including: Chapter 1 - Computer algebra systems; Chapter 2 - Overview of mathematica; Chapter 3 - Expressions; Chapter 4 - Patterns and substitutions; Chapter 5 - Functions; Chapter 6 - Mathematica as a programming language; Chapter 7 - Gröbner bases; Chapter 8 - Calculus; Chapter 9 - Numerical calculations; Chapter 10 - Risch algorithm; Chapter 11 - Linear algebra; Chapter 12 - Input–output and strings;...

• ### Ebook Introduction to Mathematica for Physicists - Part 2

Continued part 1, part 2 of ebook "Introduction to Mathematica for Physicists" provides readers with contents including: Chapter 13 - Packages; Chapter 14 - Plots; Chapter 15 - Trigonometric functions; Chapter 16 - Quantum oscillator; Chapter 17 - Spherical harmonics; Chapter 18 - Adding angular momenta in quantum mechanics; Chapter 19 - Classical nonlinear oscillator; Chapter 20 - Quantum nonlinear oscillator; Chapter 21 - Riemann curvature tensor; Chapter 22 - Multi-functions;...

• ### Lecture Discrete mathematics: Chapter 1.1 - Nguyen Xuan Sam

Lecture Discrete mathematics: Chapter 1.1 helps you to explore concepts in discrete mathematics using in computer systems. By following the book "Discrete Mathematics and Its Applications," Seventh Edition, by Kenneth H. Rosen, an introduction to the mathematical structures and concepts used in computing: sets, mathematical induction, ordered sets, Boolean algebras, predicate calculus, graphs, trees and relations will be presented in the course. Please refer to the detailed lecture content!

• ### Ebook Computing handbook: Computer science and software engineering (Third edition) - Part 1

Part 1 of ebook "Computing handbook: Computer science and software engineering" provides readers with contents including: structure and organization of computing; computational thinking; data structures; basic techniques for design and analysis of algorithms; graph and network algorithms; computational geometry; complexity theory; formal models and computability; cryptography; algebraic algorithms; some practical randomized algorithms and data structures;...

• ### Ebook Basic Math skills - Grade 6

Ebook Basic Math skills - Grade 6 is divided into the following sections, which correspond to the strands of the NCTM content standards: Number and Operations, Algebra, Geometry, Measurement, and Data Analysis and Probability. Each section includes a variety of reproducible pages that reinforce basic math skills taught at the sixth-grade level. These pages include: Games, puzzles, and mazes; drill and practice pages; problem solving and application practice; tests in standardized format.

• ### Handbook of elliptic and hyperelliptic curve cryptography: Part 2

Handbook of elliptic and hyperelliptic curve cryptography: Part 2 presents the following content: Chapter 16 implementation of pairings, chapter 17 point counting on elliptic and hyperelliptic curves, chapter 18 complex multiplication, chapter 19 generic algorithms for computing discrete logarithms, chapter 20 index calculus, chapter 21 index calculus for hyperelliptic curves, chapter 22 transfer of discrete logarithms, chapter 23 algebraic realizations of DL systems, chapter 24 pairing-based cryptography, chapter 25 compositeness and primality testing factoring, chapter 26 fast arithmetic ...

• ### Separability of stereoisomers by electrokinetic chromatography in presence of a neutral selector – Fundamental aspects assessed by computer simulation

The impact of the two essential parameters, the complexation constant and the mobility of the formed diastereomeric complex, on stereoisomer separation in presence of a neutral chiral selector was assessed by computer simulation for an electrokinetic chromatography configuration with a uniform background electrolyte and one with a cationic discontinues buffer system of isotachophoretic nature.

• ### Ebook Advanced engineering mathematics (Tenth edition): Part 1

(BQ) Ebook Analytical and computational methods of advanced engineering mathematics: Part 1 includes the following content: Chapter 1 First-Order ODEs; chapter 2 Second-Order Linear ODEs; chapter 3 Higher Order Linear ODEs; chapter 4 Systems of ODEs, Phase Plane, Qualitative Methods; chapter 5 Series Solutions of ODEs, Special Functions; chapter 6 Laplace Transforms; chapter 7 Linear Algebra: Matrices, Vectors, Determinants, Linear Systems; chapter 8 Linear Algebra: Matrix Eigenvalue Problems; chapter 9 Vector Differential Calculus, Grad, Div, Curl; chapter 10 Vector Integral Calculus, Inte...

• ### Some new identities in combinatoric

In this paper "Some new identities in combinatoric", the binomial numbers m n are very important in several applications and satisfy several number of identities. The purpose of this paper is to introduce a new combinatorial integer m,n j and obtain some algebraic identities by means of double combinatorial argument.

• ### Intersectoral linkage by computable general equilibrium approach

The present study deals with the review study of CGE model. The CGE model as general algebraic framework was developed from micro level economic fundamentals and used in the calibration of model through economic data in Social Accounting Matrix (SAM), to solve the equilibrium value of economic variables by forming numerical equations and for suggesting the policy framework by simulating major economic variables and observing its impact on the entire economic system.

• ### The real-world-semantics interpretability of linguistic rule bases and the approximate reasoning method of fuzzy systems

This study will discuss more clearly the concept of real-world-semantics interpretability and point out that such requirement is a challenge to the study of the interpretability of fuzzy systems, especially for approaches within the fuzzy set framework. A methodological challenge is that it requires both the computational expression representing a given linguistic fuzzy rule base and an approximate reasoning method working on this computation expression must also preserve the real-world semantics of the application problem.

• ### Comparative analysis of different variants of the Uzawa algorithm in problems of the theory of elasticity for incompressible materials

Different variants of the Uzawa algorithm are compared with one another. The comparison is performed for the case in which this algorithm is applied to large-scale systems of linear algebraic equations. These systems arise in the finite-element solution of the problems of elasticity theory for incompressible materials. A modification of the Uzawa algorithm is proposed. Computational experiments show that this modification improves the convergence of the Uzawa algorithm for the problems of solid mechanics.

• ### Mathematics teacher education and the flexible use of technologies in digital age

Advantages and disadvantages of the use of digital technologies (DT) in mathematics lessons are worldwide dissussed controversially. Many empirical studies show the benefit of the use of DT in classrooms. However, despite of inspiring results, classroom suggestions, lesson plans and research reports, the use of DT has not succeeded, as many had expected during the last decades.

• ### Dependency of GPA-ES algorithm efficiency on ES parameters optimization strength

In herein presented work, the relation between number of ES iterations and convergence of the whole GPA-ES hybrid algorithm will be studied due to increasing needs to analyze and model large data sets. Evolutionary algorithms are applicable in the areas which are not covered by other artificial intelligence or soft computing techniques like neural networks and deep learning like search of algebraic model of data.

• ### Sử dụng những hệ thống đại số máy tính trong việc dạy và học đại số tuyến tính ở đại học

Bài báo này đề cập đến một quan điểm sử dụng những hệ thống đại số của máy tính (HTĐSMT: Computer Algebra System) trong việc dạy và học đại số tuyến tính cơ sở. Hai ví dụ dưới dạng hoạt động toán học được đưa ra minh họa với những mục đích sư phạm khác nhau. Mời các bạn cùng tham khảo nội dung chi tiết.

• ### Balancing conditions of planar mechanisms with multi-degree of freedom

This paper presents a new method for deriving the balancing conditions of planar mechanisms with multi-degree of freedom. The method has advantage of being suitable for the application of the widely accessible computer algebra systems such as MAPLE. In the example, the conditions for complete shaking force and shaking moment balancing of a planar five-bar linkage are given.

• ### Interpolation based on semantic distance weighting in hedge algebra and its application

In this paper, we propose the use of the interpolation to ensure the correctness mentioned above. It is interpolation based on the semantic distance weighting of the input semantic values versus the semantic value of the elements appearing in the rule. In the input semantic value vector, for each component we deﬁne its distance weight to the semantic value of the corresponding language class that appears in the rule. This distance-weighted value is used to join the output value.

• ### On the real-world semantics interpretability of fuzzy rule based systems under fuzzy set approach and hedge algebra approach

The study will further discuss the novel real-world-semantics-based approach (RWSapproach) to the interpretability of fuzzy systems proposed in [8] to show that the RWS-interpretability of fuzzy systems in this approach is very essential and practical. It is also analyzed that the usual theories as in mathematics and physics are all RWS-interpretable or, roughly speaking, they are able to model their real-world parts, properly.