We gratefully acknowledge support from
the Simons Foundation and member institutions.

Symbolic Computation

Authors and titles for recent submissions

[ total of 8 entries: 1-8 ]
[ showing up to 25 entries per page: fewer | more ]

Thu, 14 Jan 2021

[1]  arXiv:2101.05256 (cross-list from cs.LO) [html]
Title: Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT
Authors: Thao Dang (Verimag/CNRS, France), Stefan Ratschan (Institute of Computer Science, Czech Academy of Sciences)
Journal-ref: EPTCS 331, 2021
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[2]  arXiv:2101.04977 (cross-list from cs.LG) [pdf, other]
Title: Multi-Source Anomaly Detection in Distributed IT Systems
Comments: 12 pages. Presented at AIOPS 2020 workshop
Subjects: Machine Learning (cs.LG); Distributed, Parallel, and Cluster Computing (cs.DC); Symbolic Computation (cs.SC); Software Engineering (cs.SE)

Tue, 12 Jan 2021

[3]  arXiv:2101.03808 (cross-list from cs.LO) [pdf, other]
Title: Object-Level Reasoning with Logics Encoded in HOL Light
Authors: Petros Papapanagiotou (University of Edinburgh), Jacques Fleuriot (University of Edinburgh)
Comments: In Proceedings LFMTP 2020, arXiv:2101.02835
Journal-ref: EPTCS 332, 2021, pp. 18-34
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[4]  arXiv:2101.03482 (cross-list from math.AC) [pdf, ps, other]
Title: A New Type of Bases for Zero-dimensional Ideals
Authors: Sheng-Ming Ma
Comments: 73 pages
Subjects: Commutative Algebra (math.AC); Symbolic Computation (cs.SC); Algebraic Geometry (math.AG)

Fri, 8 Jan 2021

[5]  arXiv:2101.02690 (cross-list from cs.LO) [pdf]
Title: Theorem Proving and Algebra
Authors: Joseph A. Goguen
Comments: 427+ xviii pages, 38 figures, Unfinished book by Joseph A. Goguen, Edited by Kokichi Futatsugi, Narciso Mart\'i-Oliet and Jos\'e Meseguer
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Symbolic Computation (cs.SC)

Thu, 7 Jan 2021

[6]  arXiv:2101.02142 [pdf, other]
Title: Polynomial modular product verification and its implications
Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC)
[7]  arXiv:2101.01925 [pdf, other]
Title: PTOPO: Computing the Geometry and the Topology of Parametric Curves
Subjects: Symbolic Computation (cs.SC)

Wed, 6 Jan 2021

[8]  arXiv:2101.01384 (cross-list from math.AG) [pdf, ps, other]
Title: Methods for computing $b$-functions associated with $μ$-constant deformations -- Case of inner modality 2 --
Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC)
[ total of 8 entries: 1-8 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2101, contact, help  (Access key information)