Search Results - Computing methodologies Symbolic AND algebraic manipulation Symbolic AND algebraic algorithms*

Big Prime Field FFT on Multi-core Processors

Authors: Covanov, Svyatoslav Mohajerani, Davood Moreno Maza, Marc et al.

Contributors: Covanov, Svyatoslav Mohajerani, Davood Moreno Maza, Marc et al.

Source: Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation. :106-113

Subject Terms: Intel CilkPlus, Parallel algorithms, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Finite fields, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], Generalized Fermat numbers, Multi-core processors, 0101 mathematics, Specialized arithmetic, CCS CONCEPTS • Computing methodologies → Symbolic and algebraic manipulation Algebraic algorithms, 01 natural sciences, Fast Fourier transforms

File Description: application/pdf

Access URL: https://hal.inria.fr/hal-02191652/file/cmmw-2019.ISSAC.sigconf.pdf
https://inria.hal.science/hal-02191652v1
https://hal.inria.fr/hal-02191652
https://hal.inria.fr/hal-02191652/document
https://doi.org/10.1145/3326229.3326273
https://dl.acm.org/doi/10.1145/3326229.3326273
https://dblp.uni-trier.de/db/conf/issac/issac2019.html#CovanovMMW19
https://dl.acm.org/doi/pdf/10.1145/3326229.3326273

Computing specified generators of structured matrix inverses

Authors: Jeannerod, Claude-Pierre Mouilleron, Christophe Computer arithmetic (ARENAIRE) et al.

Contributors: Jeannerod, Claude-Pierre Mouilleron, Christophe Computer arithmetic (ARENAIRE) et al.

Source: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation ; 35th International Symposium on Symbolic and Algebraic Computation (ISSAC 2010) ; https://ens-lyon.hal.science/ensl-00450272 ; 35th International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), Jul 2010, Münich, Germany. ⟨10.1145/1837934.1837988⟩

Subject Terms: Structured linear algebra, matrix inversion, ACM I.1.2 [Computing Methodologies]: Symbolic and Algebraic Manipulation - Algebraic Algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Subject Geographic: Münich, Germany

Availability: https://ens-lyon.hal.science/ensl-00450272
https://ens-lyon.hal.science/ensl-00450272v1/document
https://ens-lyon.hal.science/ensl-00450272v1/file/JeannerodMouilleron2010.pdf
https://doi.org/10.1145/1837934.1837988

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

Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy

Authors: Falaschi, Moreno Palamidessi, Catuscia Romanelli, Marco et al.

Contributors: Falaschi, Moreno Palamidessi, Catuscia Romanelli, Marco et al.

Source: Recent Developments in the Design and Implementation of Programming Languages ; https://hal.science/hal-03091740 ; Frank S. de Boer and Jacopo Mauro. Recent Developments in the Design and Implementation of Programming Languages, 86, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp.11:1-11:20, 2020, OASICS, ⟨10.4230/OASIcs.Gabbrielli.2020.11⟩

Subject Terms: security, privacy, machine learning, Security and privacy → Information flow control phrases Constraints, Security and privacy → Privacy-preserving protocols, Security and privacy → Formal security models, Computing methodologies → Symbolic and algebraic manipulation, 2012 ACM Subject Classification Computing methodologies → Learning paradigms, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO]Computer Science [cs], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]

Relation: info:eu-repo/grantAgreement//835294/EU/Privacy and Utility Allied/HYPATIA

Availability: https://hal.science/hal-03091740
https://hal.science/hal-03091740v1/document
https://hal.science/hal-03091740v1/file/main.pdf
https://doi.org/10.4230/OASIcs.Gabbrielli.2020.11

Unified Robustness in AI: From Symbolic Reasoning to Hardware Resilience

Authors: Errahmouni Barkam, Hamza

Subject Terms: Computer science, Artificial intelligence, Computer engineering, Compute-in-Memory (CiM), Hardware–Algorithm Co-Design, Hyperdimensional Computing (HDC), Neuro-Symbolic AI, Robustness to Adversarial Attacks, Vector Symbolic Architectures

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/0cw4231f
https://escholarship.org/content/qt0cw4231f/qt0cw4231f.pdf

Essentially optimal interactive certificates in linear algebra

Authors: Dumas, Jean-Guillaume Kaltofen, Erich Calculs Algébriques et Systèmes Dynamiques (CASYS) et al.

Contributors: Dumas, Jean-Guillaume Kaltofen, Erich Calculs Algébriques et Systèmes Dynamiques (CASYS) et al.

Source: ACM International Symposium on Symbolic and Algebraic Computation (ISSAC 2014) ; https://hal.science/hal-00932846 ; ACM International Symposium on Symbolic and Algebraic Computation (ISSAC 2014), Jul 2014, Kobe, Japan. pp.146-153, ⟨10.1145/2608628.2608644⟩

Subject Terms: Fiat-Shamir heuristic, sigma-protocol, output validation, randomization, linear-time checkable proof, matrix rank, matrix characteristic polynomial, positive semidefiniteness, I.1.2 Computing Methodologies (Symbolic and Algebraic Manipulation), [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Subject Geographic: Kobe, Japan

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1401.4567; ARXIV: 1401.4567

Availability: https://hal.science/hal-00932846
https://hal.science/hal-00932846v4/document
https://hal.science/hal-00932846v4/file/interactive_report.pdf
https://doi.org/10.1145/2608628.2608644

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

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

Experimental Mathematics: Examples, Methods and Implications: Experimental mathematics: examples, methods and implications

Authors: Bailey, David H. Borwein, Jonathan M. USDOE Director, Office of Science. Office of AdvancedScientific Computing Research. Mathematical, Information, andComputational Sciences Division et al.

Contributors: Bailey, David H. Borwein, Jonathan M. USDOE Director, Office of Science. Office of AdvancedScientific Computing Research. Mathematical, Information, andComputational Sciences Division et al.

Source: Notices of the American Mathematical Society, vol 52, iss 5

Subject Terms: Geometry, General and miscellaneous//mathematics, mathematical tools, Symbolic computation and algebraic computation, Topology, methods, and information science, computing, Complexity and performance of numerical algorithms, Experimental Mathematics, General and miscellaneous//mathematics, computing, and information science, Methodology of mathematics, Mathematics Experimental Mathematics, Computers, experimental mathematics, Computing, 99 General And Miscellaneous//Mathematics, computer experiments, testing, Algebra, computer technology, PSLQ algorithm, research tools, And Information Science

File Description: application/xml; application/pdf; Text

Access URL: https://zbmath.org/2170575
https://escholarship.org/uc/item/6b6986dn

Transformational program development in a particular problem domain

Authors: Helmuth Partsch

Source: Science of Computer Programming. 7:99-241

Subject Terms: formal specification, Specification and verification (program logics, model checking, etc.), transformation rule, General topics in the theory of software, compact rules for finite sets, parsing, 02 engineering and technology, Symbolic computation and algebraic computation, programming methodology, development strategy, elimination of existential quantifiers, manipulation of grammars, Transformational programming, manipulations of applicative programs, embedding, transformational program development, 0202 electrical engineering, electronic engineering, information engineering, context-free grammars, recognition, Algorithms in computer science, Software

File Description: application/xml

Access URL: https://www.sciencedirect.com/science/article/pii/0167642386900080
https://dblp.uni-trier.de/db/journals/scp/scp7.html#Partsch86
https://core.ac.uk/display/82303794

BeamOptics : a Symbolic Platform for Modeling and the Solution of Beam Optics System

Contributors: Chao, Yu-Chiu

Source: Conference: ICAP 2000, Darmstadt (DE), 09/11/2000--09/14/2000; Other Information: PBD: 1 Nov 2000

File Description: Medium: ED; Size: 181.7 Kilobytes pages

Access URL: http://www.osti.gov/scitech/servlets/purl/839253

Using Partition Information Entropy to Computationally Rank Order Critical Subreactions in a Petri Net Model of a Biochemical Signaling Network.

Authors: Jones-Oliveira, Janet B. Oliveira, Hans-Joseph B. Oliveira, Joseph S. et al.

Source: Journal of Computational Biology; Nov2025, Vol. 32 Issue 11, p1003-1040, 38p

The Interplay of Vocabulary, Working Memory, and Math Anxiety in Predicting Early Math Performance.

Authors: Ferreira, Roberto A. Rodríguez, Cristina Guzmán, Bárbara et al.

Source: Journal of Intelligence; Oct2025, Vol. 13 Issue 10, p125, 20p

Subject Terms: VOCABULARY, MATH anxiety, SHORT-term memory, EARLY childhood education, STRUCTURAL equation modeling, PSYCHOLOGICAL factors, MATHEMATICAL ability testing

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

A neuro-vector-symbolic architecture for solving Raven's progressive matrices.

Authors: Hersche, Michael Zeqiri, Mustafa Benini, Luca et al.

Source: Nature Machine Intelligence; Apr2023, Vol. 5 Issue 4, p363-375, 13p

Mathematization Through Application and Common Sense: Motivating Intellectual Activities of Schoolchildren with Digital Tools.

Authors: Abramovich, Sergei Malyutin, Egor Pozdniakov, Sergei

Source: Digital; Sep2025, Vol. 5 Issue 3, p41, 19p

NESTML: a generic modeling language and code generation tool for the simulation of spiking neural networks with advanced plasticity rules.

Authors: Linssen, Charl Babu, Pooja N. Eppler, Jochen M. et al.

Source: Frontiers in Neuroinformatics; 2025, p1-21, 21p

Subject Terms: ARTIFICIAL neural networks, MODELING languages (Computer science), SYNAPSES, C++, SYNTAX (Grammar)

The demise of the world's largest piedmont glacier: a probabilistic forecast.

Authors: Brinkerhoff, Douglas J. Tober, Brandon S. Daniel, Michael et al.

Source: Cryosphere; 2025, Vol. 19 Issue 6, p2321-2353, 33p

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

Prototype Theory Meets Word Embedding: A Novel Approach for Text Categorization via Granular Computing.

Authors: De Santis, Enrico Rizzi, Antonello

Source: Cognitive Computation; May2023, Vol. 15 Issue 3, p976-997, 22p