Conceptio
›
mathematical-software
Topic
mathematical-software
Knowledge-graph topic
· documents ABOUT mathematical-software across the archive
67
Documents about mathematical-software
Documents about mathematical-software
Accuracy of Mathematical Functions in Julia
#664032
arXiv (OAI Expanded)
Accuracy of Mathematical Functions in Julia
#665532
arXiv (All)
Progress in Benchmarking Generics for Mathematical Computation
#411118
arXiv CS
Mathematical Software on the ARPA Network
#142011
IETF RFCs
Guarded Repair for Harm-Aware Post-hoc Replacement of LLM Mathematical Reasoning
#229596
arXiv CS
Mathematical Software on the ARPA Network
#19293
RFC Editor
Mathematical Software on the ARPA Network
#212005
RFC Editor
Metamorphism: A mathematical challenge for antivirus software
#732579
PhilArchive
ToolGate: An Executable Acceptance Pipeline for Tool-Dependent Scientific Benchmark Construction
#822473
arXiv (All)
z-Tree: Zurich toolbox for ready-made economic experiments
#7085
OpenAlex
Decomposing Grassmann Monomials for Superfield Expansions
#656889
arXiv (OAI Expanded)
Decomposing Grassmann Monomials for Superfield Expansions
#659025
arXiv (All)
Validating ETCS Data with the B Mathematical Language: An Industrial Pipeline and a Blueprint for LLM Integration
#411130
arXiv CS
NUBO: A Transparent Python Package for Bayesian Optimization
#176471
arXiv Biology
NUBO: A Transparent Python Package for Bayesian Optimization
#176955
arXiv (OAI)
NUBO: A Transparent Python Package for Bayesian Optimization
#177209
arXiv (OAI Expanded)
NUBO: A Transparent Python Package for Bayesian Optimization
#177689
arXiv
WingSpan: Concurrency and Dependence for Sparse and Structured Tensor Compilers
#674448
arXiv (OAI Expanded)
WingSpan: Concurrency and Dependence for Sparse and Structured Tensor Compilers
#677649
arXiv (All)
Accurate Residues for Floating-Point Debugging
#820412
arXiv (All)
IXPLORE: Bounded Ideal Point Estimation with Grid-Based Uncertainty Quantification
#973628
arXiv (All)
Learning to Optimize by Differentiable Programming
#797324
arXiv (OAI Expanded)
Learning to Optimize by Differentiable Programming
#798738
arXiv (All)
Geometric Function Atlas: certified computing for geometric function theory in Python
#985373
arXiv (All)
Neuro-symbolic proof generation for scaling systems software verification
#167987
Birkbeck Institutional Research Online
Neuro-symbolic proof generation for scaling systems software verification
#168534
Birkbeck Institutional Research Online
Graph-Based Discovery of Mathematical Software Communities and Publication-to-Community Prediction
#619164
arXiv (OAI Expanded)
Graph-Based Discovery of Mathematical Software Communities and Publication-to-Community Prediction
#620843
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)
The Pauli Lightcone: Information-Theoretic Error Mitigation Beyond the Autocorrelation
#920419
arXiv (OAI Expanded)
The Pauli Lightcone: Information-Theoretic Error Mitigation Beyond the Autocorrelation
#924653
arXiv (All)
Gradient Reconstruction in Lattice Boltzmann Methods for Systems of Conservation Laws
#973798
arXiv (All)
GridapTopOpt.jl: A scalable Julia toolbox for level set-based topology optimisation
#997915
arXiv (All)
Mathematical Modeling of Electrical Circuits and Practical Works of Increasing Difficulty with Classical Spreadsheet Software
#669965
HAL (France)
DB-KSVD: Scalable Alternating Optimization for Disentangling High-Dimensional Embedding Spaces
#179168
arXiv (OAI)
Interview Transcripts of Students' and Professionals' Perception of Creativity
#644694
KU Leuven RDR Dataverse OAI Archive
Matrix-Aware Proper Scoring Rules and Significance Testing for Correlation and Covariance Forecasts in Python
#822085
arXiv (All)
Quadratization of Autonomous Partial Differential Equations: Algorithmic Solutions
#972418
arXiv (All)
The Art of Closed-Formula Defaults: Search-Free Code Generation for Tensor Operators
#998511
arXiv (All)
Expressing NumPy Broadcasting via Verb Rank in J
#1013706
arXiv (All)
Observer-robust energy condition verification for warp drive spacetimes
#809312
arXiv (OAI Expanded)
Observer-robust energy condition verification for warp drive spacetimes
#819305
arXiv (All)
Formalizing Extended Complex Numbers, Mobius Transformations, and Cross Ratio in Lean 4
#628186
arXiv (OAI Expanded)
Formalizing Extended Complex Numbers, Mobius Transformations, and Cross Ratio in Lean 4
#630048
arXiv (All)
Disciplined Bilevel Programming
#820067
arXiv (All)
GriD-LMIA: A Gridding-Based Assembler for Solving Differentiable Parameter-Dependent Linear Matrix Inequalities
#668653
arXiv (OAI Expanded)
GriD-LMIA: A Gridding-Based Assembler for Solving Differentiable Parameter-Dependent Linear Matrix Inequalities
#670718
arXiv (All)
Ozaki Scheme II: A GEMM-oriented emulation of floating-point matrix multiplication using an integer modular technique
#797183
arXiv (OAI Expanded)
Ozaki Scheme II: A GEMM-oriented emulation of floating-point matrix multiplication using an integer modular technique
#798596
arXiv (All)
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.