Copertina

SynPAT: A System for Generating Synthetic Physical Theories with Data

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Lenchner, Jonathan, Srivastava, Karan, Goncalves, Joao, Squillante, Mark, Horesh, Lior
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Symbolic Computation I.1.4
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Further results on Minimal and Minimum Cylindrical Algebraic Decompositions
di: Michel, Lucas, et al.
Pubblicazione: (2026)

On Minimal and Minimum Cylindrical Algebraic Decompositions
di: Michel, Lucas, et al.
Pubblicazione: (2024)

Semi-Centennial REDUCE
di: Norman, Arthur C., et al.
Pubblicazione: (2025)

On Minimum CADs for Algebraic Sets in Dimension Three
di: Michel, Lucas
Pubblicazione: (2026)

Bridging the Gap Between Scientific Laws Derived by AI Systems and Canonical Knowledge via Abductive Inference with AI-Noether
di: Srivastava, Karan, et al.
Pubblicazione: (2025)

On Projective Delineability
di: Michel, Lucas, et al.
Pubblicazione: (2024)

Power Series Composition in Near-Linear Time
di: Kinoshita, Yasunori, et al.
Pubblicazione: (2024)

Faster Inversion and Other Black Box Matrix Computations Using Efficient Block Projections
di: Eberly, Wayne, et al.
Pubblicazione: (2007)

Normalization of Quaternionic Polynomials in Coordinate-Free Quaternionic Variables in Conjugate-Alternating Order
di: Li, Hongbo, et al.
Pubblicazione: (2025)

Reasoning and Planning with Dynamically Changing Norms
di: Olson, Taylor, et al.
Pubblicazione: (2026)

Performant Dynamically Typed E-Graphs in Pure Julia
di: Cheli, Alessandro, et al.
Pubblicazione: (2024)

Performance Comparison of Function Evaluation Methods
di: Liberti, Leo
Pubblicazione: (2002)

Invariants: Computation and Applications
di: Kogan, Irina A.
Pubblicazione: (2024)

Efficient Symbolic Computation via Hash Consing
di: Zhu, Bowen, et al.
Pubblicazione: (2025)

Certification of the QR factor R, and of lattice basis reducedness
di: Villard, Gilles
Pubblicazione: (2007)

A Symbolic Computing Perspective on Software Systems
di: Norman, Arthur C., et al.
Pubblicazione: (2024)

Construction of birational trilinear volumes via tensor rank criteria
di: Busé, Laurent, et al.
Pubblicazione: (2024)

Iterated Resultants and Rational Functions in Real Quantifier Elimination
di: Davenport, James H., et al.
Pubblicazione: (2023)

Complete Reduction for Derivatives in a Transcendental Liouvillian Extension
di: Chen, Shaoshi, et al.
Pubblicazione: (2026)

Complete Reduction for Derivatives in a Primitive Tower
di: Du, Hao, et al.
Pubblicazione: (2025)

Non-minimality of minimal telescopers explained by residues
di: Chen, Shaoshi, et al.
Pubblicazione: (2025)

Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
di: England, Matthew
Pubblicazione: (2024)

Arboretum.hs: Symbolic manipulation for algebras of graphs
di: Bronasco, Eugen, et al.
Pubblicazione: (2026)

Evolving Scientific Discovery by Unifying Data and Background Knowledge with AI Hilbert
di: Cory-Wright, Ryan, et al.
Pubblicazione: (2023)

Factorial Basis Method for q-Series Applications
di: Jiménez-Pastor, Antonio, et al.
Pubblicazione: (2024)

OGRePy: An Object-Oriented General Relativity Package for Python
di: Shoshany, Barak
Pubblicazione: (2024)

Directional Non-Commutative Monoidal Structures with Interchange Law via Commutative Generators
di: Godavarti, Mahesh
Pubblicazione: (2025)

Deciding One to One property of Boolean maps: Condition and algorithm in terms of implicants
di: Sule, Virendra
Pubblicazione: (2023)

Ensuring trustworthy and ethical behaviour in intelligent logical agents
di: Costantini, Stefania
Pubblicazione: (2024)

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

The Syntax and Semantics of einsum
di: Wenig, Maurice, et al.
Pubblicazione: (2025)

When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)
di: Filipe, João, et al.
Pubblicazione: (2026)

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

Brackets and Projective Geometry in Macaulay2
di: Bidleman, Dalton, et al.
Pubblicazione: (2025)

On the Algorithmic Recovering of Coefficients in Linearizable Differential Equations
di: Lyakhov, Dmitry A., et al.
Pubblicazione: (2024)

Optimal Secure Coded Distributed Computation over all Fields
di: Soto, Pedro
Pubblicazione: (2025)

SUBMASSIVE: Resolving Subclass Cycles in Very Large Knowledge Graphs
di: Wang, Shuai, et al.
Pubblicazione: (2024)

The Voynich Codex Decoded: Statistical Symbolism and Scroll-Wide Logic
di: Jama, Suhaib A.
Pubblicazione: (2025)

Random Alloy Codes and the Fundamental Limits of Coded Distributed Tensors
di: Soto, Pedro
Pubblicazione: (2022)

Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
di: Lin, Yi, et al.
Pubblicazione: (2025)