Search Results - Symbolic computation and algebraic computation

Computation in Algebraic Hyperstructures.

Authors: Feng, Yuming Talotti, Enrico Leoreanu-Fotea, Violeta

Source: Computation; Nov2025, Vol. 13 Issue 11, p261, 21p

Subject Terms: HYPERGROUPS, FUNDAMENTAL groups (Mathematics), SYMBOLIC computation, ALGORITHMS, IDENTITIES (Mathematics), MATHEMATICAL forms

On BIOCHAM Symbolic Computation Pipeline for Compiling Mathematical Functions into Biochemistry

Authors: Fages, François Hemery, Mathieu Soliman, Sylvain et al.

Contributors: Fages, François Hemery, Mathieu Soliman, Sylvain et al.

Source: ACM proc. ISSAC 2024 ; ISSAC 2024 - 49th International Symposium on Symbolic and Algebraic Computation ; https://inria.hal.science/hal-04602764 ; ISSAC 2024 - 49th International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh, NC, United States

Subject Terms: Analog computation, chemical computation, program synthesis, polynomialization, quadratization, stabilization, online computation, algebraic functions, elementary functions, Turing-completeness, [INFO]Computer Science [cs], [CHIM]Chemical Sciences, [MATH]Mathematics [math]

Subject Geographic: Raleigh, NC, United States

Availability: https://inria.hal.science/hal-04602764
https://inria.hal.science/hal-04602764v1/document
https://inria.hal.science/hal-04602764v1/file/FHS24issac.pdf

A computation method for finding Boolean Gröbner basis using divide and conquer algorithm.

Authors: Guritman, Sugi Wulandari, Teduh Jaharuddin et al.

Source: AIP Conference Proceedings; 2024, Vol. 3201 Issue 1, p1-14, 14p

Subject Terms: GROBNER bases, ALGEBRAIC codes, POLYNOMIAL rings, SYMBOLIC computation, NONLINEAR systems

SC-Square 2023: Satisfiability Checking and Symbolic Computation 2023 : proceedings of the 8th SC-Square Workshop, co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023) : Tromsø, Norway, July 28, 2023

Contributors: Ábrahám, Erika Sturm, Thomas

Source: Aachen, Germany : RWTH Aachen, CEUR workshop proceedings 3455, 68 Seiten : Illustrationen (2023). ; 8. International Workshop on Satisfiability Checking and Symbolic Computation, SC-Square 2023, Tromso, Norway, 2023-07-28 - 2023-07-28 48. International Symposium on Symbolic and Algebraic Computation, ISAAC 2023, Tromso, Norway, 2023-07-28 - 2023-07-28

Subject Geographic: DE

Relation: info:eu-repo/semantics/altIdentifier/issn/1613-0073; info:eu-repo/semantics/altIdentifier/urn/urn:nbn:de:0074-3455-4

Availability: https://publications.rwth-aachen.de/record/964115
https://publications.rwth-aachen.de/search?p=id:%22RWTH-2023-08111%22

Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation

Authors: Huang, Bo Wang, Dongming Yang, Jing

Index Terms: Computer Science - Symbolic Computation, 34C07, 68W30, text

URL: http://arxiv.org/abs/2405.10578

Neural Network-Based Symbolic Computation Algorithm for Solving (2+1)-Dimensional Yu-Toda-Sasa-Fukuyama Equation

Authors: Jiang-Long Shen Run-Fa Zhang Jing-Wen Huang et al.

Source: Mathematics, Vol 13, Iss 18, p 3006 (2025)

Subject Terms: neural network-based symbolic computation, (2+1)-dimensional YTSF equation, exact solutions, nonlinear partial differential equations, Mathematics, QA1-939

File Description: electronic resource

Relation: https://www.mdpi.com/2227-7390/13/18/3006; https://doaj.org/toc/2227-7390

Access URL: https://doaj.org/article/6bfb3facec434385b435e655243640f2

Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers

Authors: Makoto Hamana

Source: Logical Methods in Computer Science, Vol 18, Issue 2 (2022)

Subject Terms: computer science - symbolic computation, computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://lmcs.episciences.org/6600/pdf; https://doaj.org/toc/1860-5974

Access URL: https://doaj.org/article/6da3c56218c340b6a893dea026beee1d

Solving generic parametric linear matrix inequalities

Authors: Naldi, Simone Safey El Din, Mohab Taylor, Adrien et al.

Contributors: Naldi, Simone Safey El Din, Mohab Taylor, Adrien et al.

Source: ISSAC '25: International Symposium on Symbolic and Algebraic Computation ; https://hal.sorbonne-universite.fr/hal-04973502 ; ISSAC '25: International Symposium on Symbolic and Algebraic Computation, Jul 2025, Guanajuato, Mexico. pp.267-276, ⟨10.1145/3747199.3747570⟩

Subject Terms: Optimization, Quantifier elimination, Linear matrix inequality, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]

Subject Geographic: Guanajuato, Mexico

Time: Guanajuato, Mexico

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

Availability: https://hal.sorbonne-universite.fr/hal-04973502
https://hal.sorbonne-universite.fr/hal-04973502v2/document
https://hal.sorbonne-universite.fr/hal-04973502v2/file/main.pdf
https://doi.org/10.1145/3747199.3747570

Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings

Authors: Vu, Thi, Xuan Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL) Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)

Contributors: Vu, Thi, Xuan Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL) Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)

Source: The International Symposium on Symbolic and Algebraic Computation (ISSAC) 2025 ; https://hal.science/hal-05052659 ; The International Symposium on Symbolic and Algebraic Computation (ISSAC) 2025, Jul 2025, Guanajuato, Mexico

Subject Terms: Polynomial rings subrings invriant polynomials complexity analysis lifting techniques, Polynomial rings, subrings, invriant polynomials, complexity analysis, lifting techniques, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]

Subject Geographic: Guanajuato, Mexico

Time: Guanajuato, Mexico

Availability: https://hal.science/hal-05052659
https://hal.science/hal-05052659v1/document
https://hal.science/hal-05052659v1/file/subring.pdf

ISSAC '23: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation

Authors: Dickenstein, Alicia Jeronimo, Gabriela Tsigaridas, Elias et al.

Contributors: Dickenstein, Alicia Jeronimo, Gabriela Tsigaridas, Elias et al.

Source: https://hal.science/hal-04223439 ; ACM; ACM, 2023, 979-8-4007-0039-2. ⟨10.1145/3597066⟩.

Subject Terms: symbolic computation, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Availability: https://hal.science/hal-04223439
https://doi.org/10.1145/3597066

ISSAC'94 : proceedings of the International Symposium on Symbolic and Algebraic Computation : July 20-22, 1994, Oxford, England, United Kingdom / [spons. by the ACM Special Interest Group in Symbolic and Algebraic Manipulation].

Authors: International Symposium on Symbolic and Algebraic Computation (1994 ; Oksford). ACM Special Interest Group in Symbolic and Algebraic Manipulation.

Contributors: International Symposium on Symbolic and Algebraic Computation (1994 ; Oksford). ACM Special Interest Group in Symbolic and Algebraic Manipulation.

Source: Bibliogr. przy rozdz.
Index.

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:1758993&theme=nukat

On the Computation of Newton Polytopes of Eliminants

Authors: Mohr, Rafael Mukhina, Yulia Calcul formel, mathématiques expérimentales et interactions (MATHEXP) et al.

Contributors: Mohr, Rafael Mukhina, Yulia Calcul formel, mathématiques expérimentales et interactions (MATHEXP) et al.

Source: ISSAC '25: Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation ; ISSAC '25: International Symposium on Symbolic and Algebraic Computation ; https://hal.science/hal-04938899 ; ISSAC '25: International Symposium on Symbolic and Algebraic Computation, Jul 2025, Guanajuato, Mexico. pp.215-223, ⟨10.1145/3747199.3747564⟩

Subject Terms: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]

Subject Geographic: Guanajuato, Mexico

Time: Guanajuato, Mexico

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2502.05015; info:eu-repo/grantAgreement//101040794/EU/Foundations of transcendental methods in computational nonlinear algebra/10000 DIGITS; ARXIV: 2502.05015

Availability: https://hal.science/hal-04938899
https://doi.org/10.1145/3747199.3747564

ISSAC'93 : proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation : July 6-8, 1993, Kiev, Ukraine / ed. Manuel Bronstein.

Authors: International Symposium on Symbolic and Algebraic Computation (1993 ; Kijów). Bronstein, Manuel (1963- ).

Contributors: International Symposium on Symbolic and Algebraic Computation (1993 ; Kijów). Bronstein, Manuel (1963- ).

Source: Bibliogr. przy rozdz.
Index.

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:1758876&theme=nukat

ISSAC'92 : proceedings of the International Symposium on Symbolic and Algebraic Computation : July 27-29, Berkeley, California / ed. Paul S. Wang.

Authors: International Symposium on Symbolic and Algebraic Computation (1992 ; Berkeley). Wang, Paul S.

Contributors: International Symposium on Symbolic and Algebraic Computation (1992 ; Berkeley). Wang, Paul S.

Source: Bibliogr. przy rozdz. Indeks.

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:1758938&theme=nukat

ISSAC'91 : proceedings of the 1991 international symposium on symbolic and algebraic computation : July 15-17, 1991, Bonn, Germany / ed. Stephen M. Watt.

Authors: International Symposium on Symbolic and Algebraic Computation (1991 ; Bonn). Watt, Stephen M.

Contributors: International Symposium on Symbolic and Algebraic Computation (1991 ; Bonn). Watt, Stephen M.

Source: Bibliogr. s. 467-468 i przy rozdz.
Index.

Subject Terms: Informatyka -- konferencje

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:1758937&theme=nukat

Algorithm for connectivity queries on real algebraic curves

Authors: Islam, Nazrul Poteaux, Adrien Prébet, Rémi et al.

Contributors: Islam, Nazrul Poteaux, Adrien Prébet, Rémi et al.

Source: ISSAC '23: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation ; ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation ; https://hal.science/hal-04000614 ; ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromsø, Norway. ⟨10.1145/3597066.3597081⟩ ; https://issac-conference.org/

Subject Terms: computational real algebraic geometry, algebraic geometry, symbolic computation, algorithm, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]

Subject Geographic: Tromsø, Norway

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

Availability: https://hal.science/hal-04000614
https://hal.science/hal-04000614v2/document
https://hal.science/hal-04000614v2/file/algcurves-merged.pdf
https://doi.org/10.1145/3597066.3597081

Solving parameter-dependent semi-algebraic systems

Authors: Gaillard, Louis Safey El Din, Mohab Arithmétiques des ordinateurs, méthodes formelles, génération de code (ARIC) et al.

Contributors: Gaillard, Louis Safey El Din, Mohab Arithmétiques des ordinateurs, méthodes formelles, génération de code (ARIC) et al.

Source: Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation ; ISSAC '24: International Symposium on Symbolic and Algebraic Computation ; https://hal.science/hal-04454309 ; ISSAC '24: International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh, NC, United States. pp.447-456, ⟨10.1145/3666000.3669718⟩

Subject Terms: Polynomial system solving, Gröbner bases, Real algebraic geometry, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]

Subject Geographic: Raleigh, NC, United States

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

Availability: https://hal.science/hal-04454309
https://hal.science/hal-04454309v2/document
https://hal.science/hal-04454309v2/file/3666000.3669718.pdf
https://doi.org/10.1145/3666000.3669718

Algebraic School of V.M. Glushkov and Insertion Modeling

Authors: Oleksandr Letychevskyi

Source: Кібернетика та комп'ютерні технології, Iss 4, Pp 8-15 (2023)

Subject Terms: symbolic computation, algebraic modeling, insertional modeling, Cybernetics, Q300-390

File Description: electronic resource

Relation: http://cctech.org.ua/13-vertikalnoe-menyu-en/521-abstract-23-4-2-arte; https://doaj.org/toc/2707-4501; https://doaj.org/toc/2707-451X

Access URL: https://doaj.org/article/27df8b7e85104976ad002ee5da737895

Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems

Authors: Huang, Bo

Index Terms: Computer Science - Symbolic Computation, Mathematics - Dynamical Systems, text

URL: http://arxiv.org/abs/2305.11109

Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation.

Authors: Nguyen, Tuan Quoc Inoue, Katsumi Sakama, Chiaki

Source: New Generation Computing; Apr2022, Vol. 40 Issue 1, p225-254, 30p

Subject Terms: ALGEBRAIC logic, SYMBOLIC computation, LINEAR algebra, LOGIC, SPARSE matrices