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

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)

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

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

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

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

Computer Algebra Methods for Studying and Computing Molecular Conformations.

Authors: Emiris, I. Z. Mourrain, B.

Source: Algorithmica; Jun1999, Vol. 25 Issue 2/3, p372-402, 31p

Symbolic-numeric integration of univariate expressions based on sparse regression

Authors: Iravanian, Shahriar Martensen, Carl Julius Cheli, Alessandro et al.

Source: ACM Communications in Computer Algebra. 56:84-87

Subject Terms: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Symbolic Computation (cs.SC), 0101 mathematics, I.1.0, I.1.2, 01 natural sciences

Access URL: http://arxiv.org/abs/2201.12468

Explicating mathematical thinking in differential equations using a computer algebra system.

Authors: Zeynivandnezhad, Fereshteh Bates, Rachel

Source: International Journal of Mathematical Education in Science & Technology; Jul2018, Vol. 49 Issue 5, p680-704, 25p

Subject Terms: MATHEMATICS education, MATHEMATICS students, MATHEMATICS teachers, ALGEBRA software, DIFFERENTIAL equations, YOUNG adults, HIGHER education

Computer algebra systems applied to some electromagnetic problems. (English)

Alternate Title: Les systèmes de calcul formel appliqués À quelques problèmes d’électromagnétisme. (French)

Authors: Damiano, Jean-Pierre Ghio, Géraldine

Source: Annals of Telecommunications; May1997, Vol. 52 Issue 5/6, p306-318, 13p

Making Presentation Math Computable : A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems

Authors: André Greiner-Petter

Resource Type: eBook.

Subjects: Algebra--Data processing, Artificial intelligence

Categories: TECHNOLOGY & ENGINEERING / Engineering (General), COMPUTERS / Artificial Intelligence / General, MATHEMATICS / Algebra / General, MATHEMATICS / Applied

Security of Ubiquitous Computing Systems : Selected Topics

Authors: Gildas Avoine Julio Hernandez-Castro

Resource Type: eBook.

Subjects: Internet of things--Security measures, Ubiquitous computing--Security measures, Computer security

Categories: COMPUTERS / Security / General, COMPUTERS / Cybernetics, COMPUTERS / Languages / General, SCIENCE / Physics / General, TECHNOLOGY & ENGINEERING / Electronics / General

Proceedings of the Fourth International Conference on Advances in Computer Engineering and Communication Systems (ICACECS 2023)

Authors: C. Kiran Mai D. N. Vasundhara P. V. Siva Kumar et al.

Resource Type: eBook.

Subjects: Telecommunication systems, Computer engineering

Categories: COMPUTERS / Hardware / General, COMPUTERS / Networking / General

Software for Exascale Computing - SPPEXA 2016-2019

Authors: Hans-Joachim Bungartz Severin Reiz Benjamin Uekermann et al.

Resource Type: eBook.

Subjects: Computer science

Categories: COMPUTERS / Computer Simulation, COMPUTERS / Computer Science, COMPUTERS / Data Transmission Systems / Electronic Data Interchange, COMPUTERS / Hardware / General, MATHEMATICS / Applied, SCIENCE / Physics / Mathematical & Computational, TECHNOLOGY & ENGINEERING / Engineering (General)