Results 21 to 30 of about 51,397 (286)
Not Another Computer Algebra System: Highlighting wxMaxima in Calculus
Mathematics, 2021 This article introduces and explains a computer algebra system (CAS) wxMaxima for Calculus teaching and learning at the tertiary level. The didactic reasoning behind this approach is the need to implement an element of technology into classrooms to ...
Natanael Karjanto, Husty Serviana Husain
doaj +1 more source
Energy efficiency digital filter design for spectral analysis of primary electrical values [PDF]
E3S Web of Conferences, 2019 In this paper, the knowledge based design of digital filter for analysis of spectral components is illustrated. The primary electrical values are analyzed observing of the faults which appear by earth short circuits.
Mladenovic Vladimir +2 more
doaj +1 more source
A symbolic framework to obtain mid-fidelity models of flexible multibody systems with application to horizontal-axis wind turbines [PDF]
Wind Energy Science, 2022 The article presents a symbolic framework (also called computer algebra program) that is used to obtain, in symbolic mathematical form, the linear and nonlinear equations of motion of a mid-fidelity multibody system including rigid and flexible bodies ...
E. Branlard, J. Geisler
doaj +1 more source
Iconic Mathematics: Math Designed to Suit the Mind
Frontiers in Psychology, 2022 Mathematics is a struggle for many. To make it more accessible, behavioral and educational scientists are redesigning how it is taught. To a similar end, a few rogue mathematicians and computer scientists are doing something more radical: they are ...
Peter Kramer
doaj +1 more source
Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions
Journal of Applied Mathematics, 2014 We introduce an approach exploiting the power of polynomial ring algebra to perform SystemVerilog assertion verification over digital circuit systems. This method is based on Groebner bases theory and sequential properties checking.
Ning Zhou +4 more
doaj +1 more source
Computer-aided quantization and numerical analysis of superconducting circuits
New Journal of Physics, 2022 The development of new superconducting circuits and the improvement of existing ones rely on the accurate modeling of spectral properties which are key to achieving the needed advances in qubit performance.
Sai Pavan Chitta +4 more
doaj +1 more source
Algorithms, 2022 In this paper, a direct operator method is presented for the exact closed-form solution of certain classes of linear and nonlinear integral Volterra–Fredholm equations of the second kind.
Efthimios Providas
doaj +1 more source
Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language [PDF]
International Symposium on Symbolic and Algebraic Computation, 2017 We introduce two new packages, Nemo and Hecke, written in the Julia programming language for computer algebra and number theory. We demonstrate that high performance generic algorithms can be implemented in Julia, without the need to resort to a low ...
C. Fieker +3 more
semanticscholar +1 more source
Symbolic Computation Applied to Cauchy Type Singular Integrals
Mathematical and Computational Applications, 2021 The development of operator theory is stimulated by the need to solve problems emerging from several fields in mathematics and physics. At the present time, this theory has wide applications in the study of non-linear differential equations, in linear ...
Ana C. Conceição, Jéssica C. Pires
doaj +1 more source
Can the Eureqa symbolic regression program, computer algebra and numerical analysis help each other? [PDF]
arXiv.org, 2012 The Eureqa symbolic regression program has recently received extensive press praise. A representative quote is "There are very clever 'thinking machines' in existence today, such as Watson, the IBM computer that conquered Jeopardy! last year.
D. R. Stoutemyer
semanticscholar +1 more source