Výsledky vyhledávání - Computing methodologies Symbolic and algebraic manipulation Computer algebra systems~

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

Autoři: Bostan, Alin Jeannerod, Claude-Pierre Schost, Éric

Přispěvatelé: Bostan, Alin Jeannerod, Claude-Pierre Schost, Éric

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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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.

Autoři: Aslı Özgün-Koca, S.

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

Témata: 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.

Autoři: Aransay, J. Domínguez, C.

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

Témata: 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.

Autoři: Zambrano, Ana M. Salvador, Mateo N. Grijalva, Felipe a další

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

Témata: PEOPLE with visual disabilities, SOFTWARE engineering, COMPUTER software testing, COMPUTER systems, MODULES (Algebra)

Iterated Resultants and Rational Functions in Real Quantifier Elimination.

Autoři: Davenport, James H. England, Matthew McCallum, Scott a další

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

ParSEL: Parameterized Shape Editing with Language.

Autoři: Ganeshan, Aditya Huang, Ryan Xu, Xianghao a další

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

Témata: LANGUAGE models, GEOMETRIC analysis, COMPUTER systems, NATURAL languages, SYSTEMS design

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

Autoři: Heid, M. Kathleen Edwards, Michael Todd

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

Témata: ALGEBRA software, COMPUTER arithmetic, MATHEMATICS education, TEACHING, METHODOLOGY

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

Autoři: Sofroniou, Anastasia Patel, Mansi Harsh Premnath, Bhairavi a další

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

Témata: 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.

Autoři: Karampetakis, N. P. Vardulakis, A. I. G.

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

Témata: ALGEBRA, CONTROL theory (Engineering), SYSTEMS design, COMPUTER-aided design, LAPLACE transformation

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

Autoři: Filaretov, Vladimir Gorshkov, Konstantin

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

Témata: 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.

Autoři: Körtesi, Péter Simonka, Zsolt Szabo, Zsuzsanna Katalin a další

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

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

Autoři: Malaya, Nicholas Estacio-Hiroms, Kemelli C. Stogner, Roy H. a další

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

Témata: 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.

Autoři: Emiris, I. Z. Mourrain, B.

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

Symbolic-numeric integration of univariate expressions based on sparse regression

Autoři: Iravanian, Shahriar Martensen, Carl Julius Cheli, Alessandro a další

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

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

Přístupová URL adresa: http://arxiv.org/abs/2201.12468

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

Autoři: Zeynivandnezhad, Fereshteh Bates, Rachel

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

Témata: 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)

Autoři: Damiano, Jean-Pierre Ghio, Géraldine

Zdroj: 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

Autoři: André Greiner-Petter

Resource Type: eBook.

Témata: 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

Autoři: Gildas Avoine Julio Hernandez-Castro

Resource Type: eBook.

Témata: 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)

Autoři: C. Kiran Mai D. N. Vasundhara P. V. Siva Kumar a další

Resource Type: eBook.

Témata: Telecommunication systems, Computer engineering

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

Software for Exascale Computing - SPPEXA 2016-2019

Autoři: Hans-Joachim Bungartz Severin Reiz Benjamin Uekermann a další

Resource Type: eBook.

Témata: 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)