Conceptio
›
symbolic-computation
Topic
symbolic-computation
Knowledge-graph topic
· documents ABOUT symbolic-computation across the archive
75
Documents about symbolic-computation
Documents about symbolic-computation
When Symbolic Computation Fails: Artificial Limits and Non-Symbolic Inference
#98932
PhilArchive
Rate-Coding Bundle Memory: A Unified Model of Memory and Control for Symbolic Computation in the Brain
#789988
arXiv (OAI Expanded)
Rate-Coding Bundle Memory: A Unified Model of Memory and Control for Symbolic Computation in the Brain
#794007
arXiv (All)
Probabilistic Symbolic Regression for Equation Discovery via Operator-induced and Regularized Symbolic Forests
#682494
arXiv (OAI Expanded)
Probabilistic Symbolic Regression for Equation Discovery via Operator-induced and Regularized Symbolic Forests
#684269
arXiv (All)
Parallel Integration over Simple Radical Extensions
#927458
arXiv (All)
Implicit Computation of Filtered Prime Implicants
#999279
arXiv (All)
Alakazam: Symbolic Tensor Algebra for Field Theory in Julia
#656886
arXiv (OAI Expanded)
Alakazam: Symbolic Tensor Algebra for Field Theory in Julia
#659022
arXiv (All)
AutoSR: Automatic Symbolic Regression by Searching Research States
#623149
arXiv (OAI Expanded)
AutoSR: Automatic Symbolic Regression by Searching Research States
#625422
arXiv (All)
Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge
#809311
arXiv (OAI Expanded)
Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge
#819304
arXiv (All)
FormalAnalyticGeo: A Neural-Symbolic Based Framework for Multimodal Analytic Geometry Problem Generation
#623258
arXiv (OAI Expanded)
FormalAnalyticGeo: A Neural-Symbolic Based Framework for Multimodal Analytic Geometry Problem Generation
#625531
arXiv (All)
From Errors to Proofs: Minimal-Core-Guided Repair for Neuro-Symbolic Constraint Solving
#609200
arXiv (OAI Expanded)
Faster modular composition using two relation matrices
#971748
arXiv (All)
Parallel Integration over Simple Radical Extensions II: Mixed Towers
#1011223
arXiv (All)
A Reduction Library for Polynomial-Base Harmonic Numbers
#1013748
arXiv (All)
Pseudo-Complex Quantifier Elimination
#617540
arXiv (OAI Expanded)
Pseudo-Complex Quantifier Elimination
#618040
arXiv (All)
Conscious Access as Continuous-to-Discrete Translation
#657143
arXiv (OAI Expanded)
Conscious Access as Continuous-to-Discrete Translation
#659279
arXiv (All)
Recurrences for permutations with long increasing subsequences
#822612
arXiv (All)
Tree-indexed sums of Catalan numbers
#999164
arXiv (All)
On the Number of Real Types of Univariate Polynomials
#617295
arXiv (OAI Expanded)
On the Number of Real Types of Univariate Polynomials
#617795
arXiv (All)
Confluence of conditional rewriting modulo
#984040
arXiv (All)
Towards a universal language of concepts: A survey
#927811
arXiv (All)
Symbolic Informalization: Fluent, Productive, Multilingual
#986275
arXiv (All)
Reduction Modulo Binary Polynomials with Logarithmic Feedback Depth
#987919
arXiv (All)
ODEbase: A Repository of ODE Systems for Systems Biology
#617225
arXiv (OAI Expanded)
ODEbase: A Repository of ODE Systems for Systems Biology
#617725
arXiv (All)
Generic Characteristic-Zero Equivalence Between Derivative Bézout Inversion and Multipoint Evaluation
#1011311
arXiv (All)
Testing Binomiality of Chemical Reaction Networks Using Comprehensive Gröbner Systems
#617222
arXiv (OAI Expanded)
Testing Binomiality of Chemical Reaction Networks Using Comprehensive Gröbner Systems
#617722
arXiv (All)
The Emergent Symbolic Structure of Artificial Neural Networks
#796762
arXiv (OAI Expanded)
The Emergent Symbolic Structure of Artificial Neural Networks
#798175
arXiv (All)
Standard bases for shift-stable groups and Subgroup Membership in wreath products
#808653
arXiv (OAI Expanded)
Standard bases for shift-stable groups and Subgroup Membership in wreath products
#818645
arXiv (All)
The Indefinite Summation Problem for the Laurent Ring
#820830
arXiv (All)
Computing submatrices of the Hermite normal form of a structured polynomial matrix
#971756
arXiv (All)
Projecting dynamical systems via a support bound
#147051
arXiv (OAI)
Approximating CDTW Distance of Piecewise Algebraic Curves
#927591
arXiv (All)
Fast matrix multiplication via recursive $\langle$ 4x4x4:48 $\rangle$ algorithms into practice
#1000001
arXiv (All)
Symbolic Computation of Petri Nets
#1027296
İzmir Yüksek Teknoloji Enstitüsü
Majorization and Inequalities among Complete Homogeneous Symmetric Functions
#155572
arXiv (OAI)
Rethinking LLM Verification: Evidence Structure, Uncertainty, and Selective Refinement
#650992
arXiv (OAI Expanded)
Rethinking LLM Verification: Evidence Structure, Uncertainty, and Selective Refinement
#652445
arXiv (All)
Argument-Aware Semantic Alignment of Normative Texts: A Toulmin-Based Neuro-Symbolic Approach
#796761
arXiv (OAI Expanded)
Page 1 of 2
Next →
Topic record
· derived from the Conceptio knowledge graph (shared subject terms across the corpus)
Conceptio Open Knowledge Archive — topic hubs link to canonical document pages with full provenance.