Buchumschlag

Semi-Centennial REDUCE

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Norman, Arthur C., Watt, Stephen M.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Symbolic Computation I.1; K.2; G.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Symbolic Computing Perspective on Software Systems
von: Norman, Arthur C., et al.
Veröffentlicht: (2024)

Arboretum.hs: Symbolic manipulation for algebras of graphs
von: Bronasco, Eugen, et al.
Veröffentlicht: (2026)

Faster Inversion and Other Black Box Matrix Computations Using Efficient Block Projections
von: Eberly, Wayne, et al.
Veröffentlicht: (2007)

Certification of the QR factor R, and of lattice basis reducedness
von: Villard, Gilles
Veröffentlicht: (2007)

SynPAT: A System for Generating Synthetic Physical Theories with Data
von: Lenchner, Jonathan, et al.
Veröffentlicht: (2025)

Software Portability for Computer Algebra
von: Norman, Arthur C., et al.
Veröffentlicht: (2025)

Deciding One to One property of Boolean maps: Condition and algorithm in terms of implicants
von: Sule, Virendra
Veröffentlicht: (2023)

Power Series Composition in Near-Linear Time
von: Kinoshita, Yasunori, et al.
Veröffentlicht: (2024)

Computing Clipped Products
von: Norman, Arthur C., et al.
Veröffentlicht: (2024)

Efficient Symbolic Computation via Hash Consing
von: Zhu, Bowen, et al.
Veröffentlicht: (2025)

OGRePy: An Object-Oriented General Relativity Package for Python
von: Shoshany, Barak
Veröffentlicht: (2024)

Reasoning and Planning with Dynamically Changing Norms
von: Olson, Taylor, et al.
Veröffentlicht: (2026)

Normalization of Quaternionic Polynomials in Coordinate-Free Quaternionic Variables in Conjugate-Alternating Order
von: Li, Hongbo, et al.
Veröffentlicht: (2025)

Polynomial Bounds of CFLOBDDs against BDDs
von: Zhi, Xusheng, et al.
Veröffentlicht: (2024)

Why we need an AI-resilient society
von: Bartz-Beielstein, Thomas
Veröffentlicht: (2019)

Hypergeometric-Type Sequences
von: Tabuguia, Bertrand Teguia
Veröffentlicht: (2023)

Random Alloy Codes and the Fundamental Limits of Coded Distributed Tensors
von: Soto, Pedro
Veröffentlicht: (2022)

Complete Reduction for Derivatives in a Primitive Tower
von: Du, Hao, et al.
Veröffentlicht: (2025)

Non-minimality of minimal telescopers explained by residues
von: Chen, Shaoshi, et al.
Veröffentlicht: (2025)

Complete Reduction for Derivatives in a Transcendental Liouvillian Extension
von: Chen, Shaoshi, et al.
Veröffentlicht: (2026)

Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
von: England, Matthew
Veröffentlicht: (2024)

Algorithms for Recursive Block Matrices
von: Watt, Stephen M.
Veröffentlicht: (2024)

Summa Summarum: Moessner's Theorem without Dynamic Programming
von: Danvy, Olivier
Veröffentlicht: (2024)

Factorial Basis Method for q-Series Applications
von: Jiménez-Pastor, Antonio, et al.
Veröffentlicht: (2024)

Computing with Hypergeometric-Type Terms
von: Tabuguia, Bertrand Teguia
Veröffentlicht: (2024)

Integer Polynomial Factorization by Recombination of Real Factors: Re-evaluating an Old Technique in Modern Era
von: Iravanian, Shahriar
Veröffentlicht: (2024)

Large Language Models, Knowledge Graphs and Search Engines: A Crossroads for Answering Users' Questions
von: Hogan, Aidan, et al.
Veröffentlicht: (2025)

Ensuring trustworthy and ethical behaviour in intelligent logical agents
von: Costantini, Stefania
Veröffentlicht: (2024)

AI Narrative Breakdown. A Critical Assessment of Power and Promise
von: Rehak, Rainer
Veröffentlicht: (2026)

Hypergeometric Solutions of Linear Difference Systems
von: Barkatou, Moulay, et al.
Veröffentlicht: (2024)

Submodule approach to creative telescoping
von: van Hoeij, Mark
Veröffentlicht: (2024)

The Company You Keep: How LLMs Respond to Dark Triad Traits
von: Lu, Zeyi, et al.
Veröffentlicht: (2026)

The Language Labyrinth: Constructive Critique on the Terminology Used in the AI Discourse
von: Rehak, Rainer
Veröffentlicht: (2023)

Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
von: Lin, Yi, et al.
Veröffentlicht: (2025)

Fairness Is Not Enough: Auditing Competence and Intersectional Bias in AI-powered Resume Screening
von: Webster, Kevin T
Veröffentlicht: (2025)

An Abstraction-Preserving Block Matrix Implementation in Maple
von: Jeffrey, David J., et al.
Veröffentlicht: (2024)

Policy Cards: Machine-Readable Runtime Governance for Autonomous AI Agents
von: Mavračić, Juraj
Veröffentlicht: (2025)

Generative AI and the Future of the Digital Commons: Five Open Questions and Knowledge Gaps
von: Noroozian, Arman, et al.
Veröffentlicht: (2025)

AI-Augmented Science and the New Institutional Scarcities
von: Lovén, Lauri
Veröffentlicht: (2026)

First steps towards Computational Polynomials in Lean
von: Davenport, James Harold
Veröffentlicht: (2024)