Search Results - Computing methodologies Symbolic AND algebraic manipulation Computer algebra system

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

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)

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

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

An Operation Reduction Using Fast Computation of an Iteration-Based Simulation Method with Microsimulation-Semi-Symbolic Analysis.

Authors: Mladenovic, Vladimir Milosevic, Danijela Lutovac, Miroslav et al.

Source: Entropy; Jan2018, Vol. 20 Issue 1, p62, 19p

Subject Terms: SIMULATION methods & models, ALGEBRA software, MICROSIMULATION modeling (Statistics), BIT rate, DATA transmission systems

Not Another Computer Algebra System: Highlighting wxMaxima in Calculus.

Authors: Karjanto, Natanael Husain, Husty Serviana

Source: Mathematics (2227-7390); Jun2021, Vol. 9 Issue 12, p1317, 1p

Subject Terms: COMPUTER systems, MATHEMATICS software, CALCULUS, COLLEGE teachers, SYMBOLIC computation

A symbolic algebra for the computation of expected utilities in multiplicative influence diagrams.

Authors: Leonelli, Manuele Riccomagno, Eva Smith, Jim

Source: Annals of Mathematics & Artificial Intelligence; Dec2017, Vol. 81 Issue 3/4, p273-313, 41p

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)

Architecture of Advanced Numerical Analysis Systems

Authors: Liang Wang Jianxin Zhao

Resource Type: eBook.

Subjects: OCaml (Computer program language), Science--Data processing, Numerical analysis--Data processing

Categories: COMPUTERS / Languages / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Authors: Thomas Wies

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Programming / Compilers

Programming Correlation Criteria with free CAS Software.

Authors: Halkos, George E. Tsilika, Kyriaki D.

Source: Computational Economics; Jun2018, Vol. 52 Issue 1, p299-311, 13p

Subject Terms: ALGEBRA software, STATISTICAL correlation software, COMPUTER programming, ECONOMETRIC software, MULTIPLE regression analysis

Proceedings of the 2023 International Conference on Data Science, Advanced Algorithm and Intelligent Computing (DAI 2023)

Authors: Badrul Hisham Ahmad

Resource Type: eBook.

Subjects: Computational intelligence--Congresses, Soft computing--Congresses, Electronic data processing--Congresses, Data mining--Statistical methods--Congresses, Computer algorithms--Congresses

Categories: COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Security / General

Bifurcations of Periodic Solutions of a Hamiltonian System with a Discrete Symmetry Group.

Authors: Batkhin, A. B.

Source: Programming & Computer Software; Mar2020, Vol. 46 Issue 2, p84-97, 14p

Subject Terms: DISCRETE symmetries, DISCRETE groups, HAMILTONIAN systems, SYMMETRY groups, DISCRETE systems, GROBNER bases