Výsledky vyhľadávania - Computing methodologies Symbolic AND algebraic manipulation Computer algebra system*

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

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

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

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

Predmety: 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 súboru: application/pdf

Prí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.

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

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

Predmety: 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.

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

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

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

Practical Canonical Labeling of Multi-Digraphs via Computer Algebra.

Autori: Liu, Jiang Yang, Siyu Liu, Wencheng a ďalší

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

Predmety: 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.

Autori: Zambrano, Ana M. Salvador, Mateo N. Grijalva, Felipe a ďalší

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

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

Applications of Gosper's nonlocal derangement identity.

Autori: CAMPBELL, JOHN

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

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

Exploring Students' Challenges in Understanding Mathematical Concepts.

Autori: Mutia, Irene C.

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

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

Iterated Resultants and Rational Functions in Real Quantifier Elimination.

Autori: Davenport, James H. England, Matthew McCallum, Scott a ďalší

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

ParSEL: Parameterized Shape Editing with Language.

Autori: Ganeshan, Aditya Huang, Ryan Xu, Xianghao a ďalší

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

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

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

Autori: Heid, M. Kathleen Edwards, Michael Todd

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

Predmety: ALGEBRA software, COMPUTER arithmetic, MATHEMATICS education, TEACHING, METHODOLOGY

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

Autori: Sofroniou, Anastasia Patel, Mansi Harsh Premnath, Bhairavi a ďalší

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

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

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

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

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

Predmety: COMPUTER workstation clusters, COMPUTER systems, EQUATIONS of motion, EQUATIONS

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

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

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

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

Simple object oriented designed computer algebra system.

Autori: Hussaina, D. M. Akbar Haq, Shaiq A. Khan, Zafar Ullah a ďalší

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

Predmety: COMPUTER systems, ELECTRONIC systems, ALGEBRA, MATHEMATICS, MATHEMATICAL analysis

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

Autori: Filaretov, Vladimir Gorshkov, Konstantin

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

Predmety: 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.

Autori: Körtesi, Péter Simonka, Zsolt Szabo, Zsuzsanna Katalin a ďalší

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

Facilitating the Calculation of the Efficient Score Using Symbolic Computing.

Autori: B. Sibley, Alexander Li, Zhiguo Jiang, Yu a ďalší

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

Predmety: GENOMICS, ALGEBRA software, LIKELIHOOD ratio tests, ALGORITHMS, COMPUTATIONAL complexity

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

Autori: Malaya, Nicholas Estacio-Hiroms, Kemelli C. Stogner, Roy H. a ďalší

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

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

Semantic embedding for quantum algorithms.

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

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

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

Computer Algebra Methods for Studying and Computing Molecular Conformations.

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

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