Integer formula encoding SageTeX package
Mathematical Software
2014-07-02 v1 Combinatorics
Authors:
Edinah K. Gnang
Abstract
The paper describes a SageTeX implementation of an integer encoding procedures.
Cite
@article{arxiv.1407.0039,
title = {Integer formula encoding SageTeX package},
author = {Edinah K. Gnang},
journal= {arXiv preprint arXiv:1407.0039},
year = {2014}
}
Related papers
View all related →
Symbolic Computation · Computer Science
Computational Tutorial on Gr\"obner bases embedding Sage in LaTeX with SageTEX
Edinah K. Gnang
2012-01-06
Mathematical Software · Computer Science
A SageTeX Hypermatrix Algebra Package
Edinah K. Gnang, Ori Parzanchevski, Yuval Filmus
2014-03-12
Combinatorics · Mathematics
Some integer formula-encodings and related algorithms
Edinah K. Gnang, Patrick Devlin
2013-03-05
Information Retrieval · Computer Science
Automatic Mathematical Information Retrieval to Perform Translations up to Computer Algebra Systems
André Greiner-Petter
2020-12-01
Logic in Computer Science · Computer Science
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
Nils Lommen, Jürgen Giesl
2024-11-19
General Relativity and Quantum Cosmology · Physics
EinS: a Mathematica package for computations with indexed objects
Sergei A. Klioner
2007-05-23
Computation and Language · Computer Science
Towards Semantic Markup of Mathematical Documents via User Interaction
Luka Vrečar, Joe Wells, Fairouz Kamareddine
2024-08-12
Combinatorics · Mathematics
Transformations Integer Sequences And Pairing Functions
Boris Putievskiy
2012-12-13
High Energy Physics - Theory · Physics
GAMMA: A Mathematica package for performing gamma-matrix algebra and Fierz transformations in arbitrary dimensions
Ulf Gran
2007-05-23
Computers and Society · Computer Science
Integration of LaTeX formula in computer-based test application for academic purposes
Ikechukwu E. Onyenwe, Ebele Onyedinma, Onyedika O. Ikechukwu-Onyenwe, Obinna Agbata +1
2024-02-06
Artificial Intelligence · Computer Science
The Integer Linear Programming Inference Cookbook
Vivek Srikumar, Dan Roth
2023-07-04
Combinatorics · Mathematics
FlagAlgebraToolbox: Flag Algebra Computations in SageMath
Levente Bodnár
2026-01-30
Machine Learning · Computer Science
Encoding architecture algebra
Stephane Bersier, Xinyi Chen-Lin
2024-10-16
Combinatorics · Mathematics
Finding regular insertion encodings for permutation classes
Vincent Vatter
2009-11-16
Computation and Language · Computer Science
Learning Mathematical Properties of Integers
Maria Ryskina, Kevin Knight
2021-09-16
Computation and Language · Computer Science
Semantic Representations of Mathematical Expressions in a Continuous Vector Space
Neeraj Gangwar, Nickvash Kani
2023-09-06
Digital Libraries · Computer Science
Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context
Moritz Schubotz, Andre Greiner-Petter, Philipp Scharpf, Norman Meuschke +2
2018-04-16
High Energy Physics - Phenomenology · Physics
HyperFORM -- a FORM package for parametric integration with hyperlogarithms
Adam Kardos, Sven-Olaf Moch, Oliver Schnetz
2026-03-23
Quantum Algebra · Mathematics
Elliptic Selberg integrals
Giovanni Felder, Laura Stevens, Alexander Varchenko
2007-05-23
Artificial Intelligence · Computer Science
Scaling Integer Arithmetic in Probabilistic Programs
William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen +2
2023-07-27
Cryptography and Security · Computer Science
One More Way to Encrypt a Message
Irina Pashchenko
2023-08-08
Software Engineering · Computer Science
Content and structure of laboratory packages for software engineering experiments
Martín Solari, Sira Vegas, Natalia Juristo
2024-02-13
Classical Analysis and ODEs · Mathematics
A binomial formula for evaluating integrals
Khristo N. Boyadzhiev
2022-05-19
Cryptography and Security · Computer Science
Permutation Encoding for Text Steganography: A Short Tutorial
George D. Montanez
2021-04-09
Cryptography and Security · Computer Science
A Close Look at a Systematic Method for Analyzing Sets of Security Advice
David Barrera, Christopher Bellman, Paul C. van Oorschot
2023-06-16