Search Results - Computing methodologies Symbolic and algebraic manipulation*

Beyond Affine Loops: A Geometric Approach to Program Synthesis

Authors: Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet et al.

Contributors: Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet et al.

Source: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. :1-7

Subject Terms: Computer Science - Symbolic Computation, FOS: Computer and information sciences, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], CCS Concepts: Applied computing → Invariants Logic and verification • Computing methodologies → Symbolic and algebraic manipulation Program synthesis, Symbolic Computation (cs.SC), [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], CCS Concepts, Mathematics - Algebraic Geometry, FOS: Mathematics, Logic and verification, Polynomial invariants, • Computing methodologies → Symbolic and algebraic manipulation Program synthesis, Applied computing → Invariants, Algebraic Geometry (math.AG)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2505.00620
https://hal.science/hal-05127957v1/document
https://hal.science/hal-05127957v1
https://doi.org/10.1145/3735544.3735581

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

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

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

Computer generation of symbolic kinematics for robot manipulators

Authors: L.G. Herrera-Bendezu Eduardo Mu James T. Cain

Source: Journal of Robotic Systems. 9:385-410

Subject Terms: Theory of software, 0209 industrial biotechnology, Computing methodologies and applications, Denavit-Hartenberg parameters, nonlinear equations, matrix and algebraic manipulations, 02 engineering and technology, Symbolic computation and algebraic computation, Kinematics of mechanisms and robots, Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence, robot kinematics

File Description: application/xml

Access URL: https://zbmath.org/37467
https://doi.org/10.1002/rob.4620090306
https://onlinelibrary.wiley.com/doi/pdf/10.1002/rob.4620090306
https://dblp.uni-trier.de/db/journals/jfr/jfr9.html#MuCH92

An application of symbolic computation in the physical sciences

Authors: Dyer, Charles

Source: Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '94. :181-186

Subject Terms: Symbolic and algebraic manipulation, 16. Peace & justice, Computing Methodologies, 7. Clean energy

File Description: 655098 bytes; application/pdf

Access URL: https://tspace.library.utoronto.ca/bitstream/1807/9403/1/p181-dyer.pdf
https://tspace.library.utoronto.ca/bitstream/1807/9403/1/p181-dyer.pdf
https://tspace.library.utoronto.ca/handle/1807/9403
https://dl.acm.org/doi/10.1145/190347.190414
https://dblp.uni-trier.de/db/conf/issac/issac94.html#Dyer94

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

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

A First Step Towards the Inference of Geological Topological Operations

Authors: Pascual, Romain Belhaouari, Hakim Arnould, Agnès et al.

Subject Terms: Mesh models, Computer graphics, Interaction design process and methods, Software and its engineering, Automatic programming, Human centered computing, 15. Life on land, Symbolic and algebraic manipulation, CCS Concepts: Computing methodologies --> Computer graphics, Human-centered computing --> Interaction design process and methods, Software and its engineering --> Automatic programming, Computing methodologies

Universal differential equations as a unifying modeling language for neuroscience.

Authors: El-Gazzar, Ahmed van Gerven, Marcel

Source: Frontiers in Computational Neuroscience; 2025, p1-17, 17p

Subject Terms: NEUROSCIENCES, MATHEMATICAL models, NEURAL computers, ARTIFICIAL neural networks, SIMULATION methods & models

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

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

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

Global Optimization of Convex Multiplicative Programs by Duality Theory.

Authors: Jermann, Christophe Neumaier, Arnold Sam, Djamila et al.

Source: Global Optimization & Constraint Satisfaction. 2005, p101-111. 11p.

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

Rethinking chaîne opératoire beyond cognitivist approaches.

Authors: Slaughter, Katherine C.

Source: Phenomenology & the Cognitive Sciences; Jul2025, Vol. 24 Issue 3, p829-852, 24p

Subject Terms: COGNITION, PHENOMENOLOGY, CONTEXTUALISM (Philosophy)

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