Suchergebnisse - "Computer Science - Symbolic Computation"

A shape lemma for ideals of differential operators

Autoren: Manuel Kauers Christoph Koutschan Thibaut Verron

Quelle: Journal of Algebra. 677:448-459

Schlagwörter: Computer Science - Symbolic Computation, FOS: Computer and information sciences, FOS: Mathematics, Symbolic Computation (cs.SC), Mathematics - Commutative Algebra, Commutative Algebra (math.AC)

Zugangs-URL: http://arxiv.org/abs/2502.11787

Moment-based Density Elicitation with Applications in Probabilistic Loops

Autoren: Andrey Kofnov Ezio Bartocci Efstathia Bura

Quelle: ACM Transactions on Probabilistic Machine Learning. 1:1-35

Schlagwörter: Computer Science - Symbolic Computation, FOS: Computer and information sciences, G.3, I.1.1, Numerical Analysis (math.NA), Systems and Control (eess.SY), Symbolic Computation (cs.SC), Electrical Engineering and Systems Science - Systems and Control, Statistics - Applications, Methodology (stat.ME), FOS: Mathematics, FOS: Electrical engineering, electronic engineering, information engineering, Applications (stat.AP), Mathematics - Numerical Analysis, Statistics - Methodology, 62G07, 60E05 (Primary) 60B10 (Secondary)

Zugangs-URL: http://arxiv.org/abs/2304.09094

Certifying Solutions of Degenerate Semidefinite Programs

Autoren: Kolmogorov, Vladimir Naldi, Simone Zapata, Jeferson

Weitere Verfasser: Kolmogorov, Vladimir Naldi, Simone Zapata, Jeferson

Quelle: SIAM Journal on Optimization. 35:1630-1654

Schlagwörter: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Symbolic-numeric algorithms, 90C22, 68W30, weak feasibility, [MATH] Mathematics [math], spectrahedra, facial reduction, Symbolic Computation (cs.SC), Mathematics - Algebraic Geometry, Optimization and Control (math.OC), FOS: Mathematics, linear matrix inequalities, Mathematics - Optimization and Control, Algebraic Geometry (math.AG)

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2405.13625
https://hal.science/hal-04591610v2

TinyverseGP: Towards a Modular Cross-domain Benchmarking Framework for Genetic Programming

Autoren: Roman Kalkreuth Fabricio Olivetti de França Anja Jankovic et al.

Quelle: Proceedings of the Genetic and Evolutionary Computation Conference Companion. :127-130

Schlagwörter: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Neural and Evolutionary Computing, Neural and Evolutionary Computing (cs.NE), Symbolic Computation (cs.SC), Machine Learning (cs.LG)

Zugangs-URL: http://arxiv.org/abs/2504.10253

Practical Modelling with Bigraphs

Autoren: Blair Archibald Muffy Calder Michele Sevegnani

Quelle: Formal Aspects of Computing. 37:1-36

Schlagwörter: Computer Science - Symbolic Computation, Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Software Engineering, Symbolic Computation (cs.SC), Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2405.20745

Beyond Affine Loops: A Geometric Approach to Program Synthesis

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

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

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

Schlagwörter: 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)

Dateibeschreibung: application/pdf

Zugangs-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

Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks

Autoren: Bertram Ludäscher Yilin Xia Shawn Bowers

Quelle: Proceedings of the ProvenanceWeek 2025. :62-70

Schlagwörter: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Symbolic Computation (cs.SC)

Zugangs-URL: http://arxiv.org/abs/2506.01087

Primes via Zeros: Interactive Proofs for Testing Primality of Natural Classes of Ideals

Autoren: Abhibhav Garg Rafael Oliveira Nitin Saxena

Quelle: Proceedings of the 57th Annual ACM Symposium on Theory of Computing. :1079-1086

Schlagwörter: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Computer Science - Computational Complexity, Computational Complexity (cs.CC), Symbolic Computation (cs.SC)

Zugangs-URL: http://arxiv.org/abs/2503.20071

Construction of Birational Trilinear Volumes via Tensor Rank Criteria

Autoren: Busé, Laurent Mazón, Pablo

Weitere Verfasser: Busé, Laurent Mazón, Pablo

Quelle: SIAM Journal on Applied Algebra and Geometry. 9:405-431

Schlagwörter: Computer Science - Symbolic Computation, FOS: Computer and information sciences, G.0, hexahedral map, I.1, I.6, J.6, 14E05, 14Q99, 65D17, [MATH] Mathematics [math], [INFO] Computer Science [cs], Symbolic Computation (cs.SC), birational map, Mathematics - Algebraic Geometry, free-form deformation, syzygy, doubly ruled quadric, FOS: Mathematics, Algebraic Geometry (math.AG)

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2405.16936
https://inria.hal.science/hal-03939273v2
https://inria.hal.science/hal-03939273v2/document
https://doi.org/10.1137/24m1664137

Nominal Equational Rewriting and Narrowing

Autoren: Ayala-Rincón, Mauricio Fernández, Maribel Nantes-Sobrinho, Daniele et al.

Quelle: Electronic Proceedings in Theoretical Computer Science. 421:80-97

Schlagwörter: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Symbolic Computation (cs.SC), Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2506.05835

Faster List Decoding of AG Codes

Autoren: Peter Beelen Vincent Neiger

Quelle: IEEE Transactions on Information Theory. 71:3397-3408

Schlagwörter: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Computer Science - Information Theory, Information Theory (cs.IT), Symbolic Computation (cs.SC)

Zugangs-URL: http://arxiv.org/abs/2304.07083

Active Symbolic Discovery of Ordinary Differential Equations via Phase Portrait Sketching

Autoren: Jiang, Nan Nasim, Md Xue, Yexiang

Quelle: Proceedings of the AAAI Conference on Artificial Intelligence. 39:17626-17634

Schlagwörter: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Computer Science - Machine Learning, Symbolic Computation (cs.SC), Machine Learning (cs.LG)

Zugangs-URL: http://arxiv.org/abs/2409.01416

Polynomial Bounds of CFLOBDDs against BDDs

Autoren: Xusheng Zhi Thomas Reps

Quelle: ACM Transactions on Programming Languages and Systems. 47:1-36

Schlagwörter: Computer Science - Symbolic Computation, FOS: Computer and information sciences, I.1.1, G.2.2, F.4.3, Discrete Mathematics (cs.DM), Formal Languages and Automata Theory (cs.FL), Computer Science - Data Structures and Algorithms, Computer Science - Formal Languages and Automata Theory, Data Structures and Algorithms (cs.DS), Symbolic Computation (cs.SC), Computer Science - Discrete Mathematics

Zugangs-URL: http://arxiv.org/abs/2406.01525

Nonlinear Propagation of Non-Gaussian Uncertainties

Autoren: Giacomo Acciarini Nicola Baresi David J. B. Lloyd et al.

Quelle: Journal of Guidance, Control, and Dynamics. 48:903-913

Schlagwörter: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Physics - Space Physics, Probability (math.PR), FOS: Mathematics, FOS: Physical sciences, Symbolic Computation (cs.SC), Chaotic Dynamics (nlin.CD), Nonlinear Sciences - Chaotic Dynamics, Mathematics - Probability, Space Physics (physics.space-ph)

Zugangs-URL: http://arxiv.org/abs/2408.05384

On the arithmetic complexity of computing Gröbner bases of comaximal determinantal ideals

Autoren: Sriram Gopalakrishnan

Quelle: Journal of Algebra. 668:233-264

Schlagwörter: Computer Science - Symbolic Computation, FOS: Computer and information sciences, FOS: Mathematics, Symbolic Computation (cs.SC), Mathematics - Commutative Algebra, 16. Peace & justice, Commutative Algebra (math.AC)

Zugangs-URL: http://arxiv.org/abs/2403.02160

Algorithms for computing norms and characteristic polynomials on general Drinfeld modules

Autoren: Caruso, Xavier Leudière, Antoine

Weitere Verfasser: Caruso, Xavier Leudière, Antoine

Quelle: Mathematics of Computation. 95:415-455

Schlagwörter: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Mathematics - Number Theory, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], FOS: Mathematics, Anderson motives, Number Theory (math.NT), Symbolic Computation (cs.SC), algorithms, Drinfeld modules, [MATH.MATH-NT] Mathematics [math]/Number Theory [math.NT]

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2307.02879
https://hal.science/hal-04151171v4
https://doi.org/10.48550/arxiv.2307.02879
https://hal.science/hal-04151171v4/document

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases

Autoren: Qureshi, Haya Majid Faber, Wolfgang

Quelle: Electronic Proceedings in Theoretical Computer Science. 416:188-200

Schlagwörter: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Symbolic Computation (cs.SC), Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2502.09206

Modular Stochastic Rewritable Petri Nets

Autoren: Capra, Lorenzo

Quelle: Electronic Proceedings in Theoretical Computer Science. 416:128-134

Schlagwörter: Computer Science - Symbolic Computation, Performance (cs.PF), FOS: Computer and information sciences, Computer Science - Performance, Stochastic Petri Nets, Graph rewriting, Maude, Lumpability, Symbolic Computation (cs.SC)

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2502.09217
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ICLP2024.11
https://hdl.handle.net/2434/1147835
https://doi.org/10.4204/eptcs.416.11

A Finite Expression Method for Solving High-Dimensional Committor Problems: A finite expression method for solving high-dimensional committor problems

Autoren: Zezheng Song Maria K. Cameron Haizhao Yang

Quelle: SIAM Journal on Scientific Computing. 47:C1-C21

Schlagwörter: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Computer Science - Machine Learning, Numerical methods for partial differential equations, boundary value problems, deep neural network, Computational learning theory, Numerical Analysis (math.NA), Symbolic Computation (cs.SC), Symbolic computation and algebraic computation, committor functions, rare events, Machine Learning (cs.LG), finite expression method, high dimensions, Stochastic methods (Fokker-Planck, Langevin, etc.) applied to problems in time-dependent statistical mechanics, FOS: Mathematics, symbolic learning, PDEs with randomness, stochastic partial differential equations, Mathematics - Numerical Analysis, Brownian motion, Artificial neural networks and deep learning, PDEs in connection with statistical mechanics

Dateibeschreibung: application/xml

Zugangs-URL: http://arxiv.org/abs/2306.12268

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions

Autoren: Zheng, Hongbo Wang, Suyuan Gangwar, Neeraj et al.

Quelle: Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers). :11772-11788

Schlagwörter: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Computation and Language, Symbolic Computation (cs.SC), Computation and Language (cs.CL), Machine Learning (cs.LG)

Zugangs-URL: http://arxiv.org/abs/2501.14951