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

Symbolic Computation

Authors and titles for recent submissions

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

Wed, 30 Sep 2020

[1]  arXiv:2009.13762 (cross-list from cs.LO) [pdf, ps, other]
Title: Iteration in ACL2
Authors: Matt Kaufmann (Univ. of Texas at Austin), J Strother Moore (Univ. of Texas at Austin)
Comments: In Proceedings ACL2 2020, arXiv:2009.12521
Journal-ref: EPTCS 327, 2020, pp. 16-31
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[2]  arXiv:2009.13761 (cross-list from cs.LO) [pdf, other]
Title: Formal Verification of Arithmetic RTL: Translating Verilog to C++ to ACL2
Authors: David M. Russinoff (Arm)
Comments: In Proceedings ACL2 2020, arXiv:2009.12521
Journal-ref: EPTCS 327, 2020, pp. 1-15
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

Tue, 29 Sep 2020

[3]  arXiv:2009.12677 (cross-list from cs.CL) [pdf, other]
Title: KG-BART: Knowledge Graph-Augmented BART for Generative Commonsense Reasoning
Comments: 9 pages, 7 figures
Subjects: Computation and Language (cs.CL); Symbolic Computation (cs.SC)

Wed, 23 Sep 2020

[4]  arXiv:2009.10255 [pdf, other]
Title: A Low-Level Index for Distributed Logic Programming
Authors: Thomas Prokosch (Institute for Informatics, Ludwig-Maximilian University of Munich, Germany)
Comments: In Proceedings ICLP 2020, arXiv:2009.09158
Journal-ref: EPTCS 325, 2020, pp. 303-312
Subjects: Symbolic Computation (cs.SC); Data Structures and Algorithms (cs.DS); Information Retrieval (cs.IR)
[5]  arXiv:2009.10247 (cross-list from cs.LO) [pdf, ps, other]
Title: Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation
Authors: Tuan Nguyen Quoc (National Institute of Informatics), Katsumi Inoue (National Institute of Informatics), Chiaki Sakama (Wakayama University)
Comments: In Proceedings ICLP 2020, arXiv:2009.09158
Journal-ref: EPTCS 325, 2020, pp. 192-205
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[6]  arXiv:2009.10241 (cross-list from cs.LO) [pdf, other]
Title: Deriving Theorems in Implicational Linear Logic, Declaratively
Authors: Paul Tarau (University of North Texas), Valeria de Paiva (Topos Institute)
Comments: In Proceedings ICLP 2020, arXiv:2009.09158
Journal-ref: EPTCS 325, 2020, pp. 110-123
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Symbolic Computation (cs.SC)

Tue, 22 Sep 2020

[7]  arXiv:2009.09848 (cross-list from cs.LO) [pdf, ps, other]
Title: Modeling Hierarchical System with Operads
Authors: Spencer Breiner (NIST), Blake Pollard (NIST), Eswaran Subrahmanian (CMU), Olivier Marie-Rose (Prometheus Computing)
Comments: In Proceedings ACT 2019, arXiv:2009.06334
Journal-ref: EPTCS 323, 2020, pp. 72-83
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[8]  arXiv:2009.09797 (cross-list from cs.LO) [pdf, other]
Title: Characterizing Positively Invariant Sets: Inductive and Topological Methods
Subjects: Logic in Computer Science (cs.LO); Computational Geometry (cs.CG); Symbolic Computation (cs.SC)

Mon, 14 Sep 2020

[9]  arXiv:2009.05248 [pdf, ps, other]
Title: Guessing Gr{ö}bner Bases of Structured Ideals of Relations of Sequences
Authors: Jérémy Berthomieu (PolSys), Mohab Safey El Din (PolSys)
Subjects: Symbolic Computation (cs.SC)
[ total of 9 entries: 1-9 ]
[ showing up to 10 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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