Search Results - Computing methodologies Symbolic and algebraic manipulation Computer algebra systems*

Solving toeplitz- and vandermonde-like linear systems with large displacement rank

Authors: Bostan, Alin Jeannerod, Claude-Pierre Schost, Éric

Contributors: Bostan, Alin Jeannerod, Claude-Pierre Schost, Éric

Source: Proceedings of the 2007 international symposium on Symbolic and algebraic computation. :33-40

Subject Terms: Structured linear algebra, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Dense linear algebra, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, I.1.2 [Computing Methodologies]: Symbolic and Algebraic Manipulation -Algebraic Algorithms Algorithms

File Description: application/pdf

Access URL: https://hal.inria.fr/hal-03420744/file/BoJeSc07.pdf
https://dl.acm.org/doi/10.1145/1277548.1277554
https://specfun.inria.fr/bostan/publications/BoJeSc07.pdf
http://perso.ens-lyon.fr/claude-pierre.jeannerod/papers/issac07.pdf
https://hal.inria.fr/hal-03420744/document
http://core.ac.uk/display/20747684
https://core.ac.uk/display/20747684

Prospective teachers’ views on the use of calculators with Computer Algebra System in algebra instruction.

Authors: Aslı Özgün-Koca, S.

Source: Journal of Mathematics Teacher Education; Feb2010, Vol. 13 Issue 1, p49-71, 23p, 2 Diagrams, 4 Charts

Subject Terms: MATHEMATICS teachers, ALGEBRA education in secondary schools, MIDDLE school students, GRAPHIC calculators, EDUCATIONAL technology, QUESTIONNAIRES, INSTRUCTIONAL systems, MATHEMATICAL instruments, MATHEMATICAL notation

A case-study in algebraic manipulation using mechanized reasoning tools.

Authors: Aransay, J. Domínguez, C.

Source: International Journal of Computer Mathematics; Jul2010, Vol. 87 Issue 9, p1936-1949, 14p, 1 Chart

Subject Terms: CASE studies, COMPUTATIONAL mathematics, TOPOLOGICAL algebras, IDEMPOTENTS, MATHEMATIC morphism, MATHEMATICAL analysis

Practical Canonical Labeling of Multi-Digraphs via Computer Algebra.

Authors: Liu, Jiang Yang, Siyu Liu, Wencheng et al.

Source: Symmetry (20738994); Dec2024, Vol. 16 Issue 12, p1638, 13p

Subject Terms: COMPUTATIONAL group theory, GRAPH coloring, ISOMORPHISM (Mathematics), COMPUTER systems, ALGORITHMS, GRAPH algorithms

Math for Everybody: A Sonification Module for Computer Algebra Systems Aimed at Visually Impaired People.

Authors: Zambrano, Ana M. Salvador, Mateo N. Grijalva, Felipe et al.

Source: Technologies (2227-7080); Aug2024, Vol. 12 Issue 8, p133, 15p

Subject Terms: PEOPLE with visual disabilities, SOFTWARE engineering, COMPUTER software testing, COMPUTER systems, MODULES (Algebra)

Applications of Gosper's nonlocal derangement identity.

Authors: CAMPBELL, JOHN

Source: Maple Transactions; Spring2025, Vol. 5 Issue 1, p1-8, 8p

Subject Terms: SYMBOLIC computation, INFINITE series (Mathematics), COMPUTER systems, MOTIVATION (Psychology)

Iterated Resultants and Rational Functions in Real Quantifier Elimination.

Authors: Davenport, James H. England, Matthew McCallum, Scott et al.

Source: Mathematics in Computer Science; 11/19/2025, Vol. 19 Issue 1, p1-23, 23p

Exploring Students' Challenges in Understanding Mathematical Concepts.

Authors: Mutia, Irene C.

Source: Psychology & Education: A Multidisciplinary Journal; 2025, Vol. 42 Issue 10, p1418-1439, 22p

Subject Terms: MATHEMATICS, MATH anxiety, STUDENTS, ALGEBRA, SCIENTIFIC models, TEACHING methods, LEARNING strategies

ParSEL: Parameterized Shape Editing with Language.

Authors: Ganeshan, Aditya Huang, Ryan Xu, Xianghao et al.

Source: ACM Transactions on Graphics; Dec2024, Vol. 43 Issue 6, p1-14, 14p

Subject Terms: LANGUAGE models, GEOMETRIC analysis, COMPUTER systems, NATURAL languages, SYSTEMS design

Computer Algebra Systems: Revolution of Retrofit for Today's Mathematics Classrooms?

Authors: Heid, M. Kathleen Edwards, Michael Todd

Source: Theory Into Practice; Spring2001, Vol. 40 Issue 2, p128, 9p, 5 Diagrams

Subject Terms: ALGEBRA software, COMPUTER arithmetic, MATHEMATICS education, TEACHING, METHODOLOGY

Advancing Conceptual Understanding: A Meta-Analysis on the Impact of Digital Technologies in Higher Education Mathematics.

Authors: Sofroniou, Anastasia Patel, Mansi Harsh Premnath, Bhairavi et al.

Source: Education Sciences; Nov2025, Vol. 15 Issue 11, p1544, 36p

Subject Terms: HIGHER education, MATHEMATICS, DATA visualization software, DIGITAL learning, DIGITAL technology, GAMIFICATION, STUDENT engagement

Special issue on the use of computer algebra systems for computer aided control system design.

Authors: Karampetakis, N. P. Vardulakis, A. I. G.

Source: International Journal of Control; Nov2006, Vol. 79 Issue 11, p1313-1320, 8p, 2 Diagrams, 1 Chart

Subject Terms: ALGEBRA, CONTROL theory (Engineering), SYSTEMS design, COMPUTER-aided design, LAPLACE transformation

Equation generator for equation-of-motion coupled cluster assisted by computer algebra system.

Authors: Quintero-Monsebaiz, Raúl Loos, Pierre-François

Source: AIP Advances; Aug2023, Vol. 13 Issue 8, p1-13, 13p

Subject Terms: COMPUTER workstation clusters, COMPUTER systems, EQUATIONS of motion, EQUATIONS

Simple object oriented designed computer algebra system.

Authors: Hussaina, D. M. Akbar Haq, Shaiq A. Khan, Zafar Ullah et al.

Source: Journal of Computational Methods in Sciences & Engineering; 2008, Vol. 8 Issue 3, p195-211, 17p, 5 Black and White Photographs, 7 Diagrams, 1 Chart

Subject Terms: COMPUTER systems, ELECTRONIC systems, ALGEBRA, MATHEMATICS, MATHEMATICAL analysis

Efficient generation of compact symbolic network functions in a nested rational form.

Authors: Filaretov, Vladimir Gorshkov, Konstantin

Source: International Journal of Circuit Theory & Applications; Jul2020, Vol. 48 Issue 7, p1032-1056, 25p

Subject Terms: SYMBOLIC computation, ALGORITHMS, COMPUTER systems, GENERATIONS, TOPOLOGY

Challenging Examples of the Wise Use of Computer Tools for the Sustainability of Knowledge and Developing Active and Innovative Methods in STEAM and Mathematics Education.

Authors: Körtesi, Péter Simonka, Zsolt Szabo, Zsuzsanna Katalin et al.

Source: Sustainability (2071-1050); Oct2022, Vol. 14 Issue 20, pN.PAG-N.PAG, 23p

Semantic embedding for quantum algorithms.

Authors: Rossi, Zane M. Chuang, Isaac L.

Source: Journal of Mathematical Physics; Dec2023, Vol. 64 Issue 12, p1-28, 28p

Subject Terms: MATHEMATICAL category theory, QUANTUM computing, ALGORITHMS, QUANTUM cryptography, PARALLEL algorithms, MATRIX functions

MASA: a library for verification using manufactured and analytical solutions.

Authors: Malaya, Nicholas Estacio-Hiroms, Kemelli C. Stogner, Roy H. et al.

Source: Engineering with Computers; Oct2013, Vol. 29 Issue 4, p487-496, 10p

Subject Terms: SOFTWARE verification, VERIFICATION of numerical calculations, DIFFERENTIAL equations, ELECTRONIC systems, OPEN source software, ALGEBRA, FUNCTIONAL analysis

Facilitating the Calculation of the Efficient Score Using Symbolic Computing.

Authors: B. Sibley, Alexander Li, Zhiguo Jiang, Yu et al.

Source: American Statistician; May2018, Vol. 72 Issue 2, p199-205, 7p

Subject Terms: GENOMICS, ALGEBRA software, LIKELIHOOD ratio tests, ALGORITHMS, COMPUTATIONAL complexity

Computer algebra tailored to matrix inequalities in control.

Authors: De Oliveira, M.C. Helton, J. W.

Source: International Journal of Control; Nov2006, Vol. 79 Issue 11, p1382-1400, 19p, 29 Diagrams

Subject Terms: ALGEBRA, MATRICES (Mathematics), MATHEMATICAL inequalities, CONTROL theory (Engineering), LINEAR systems