Skip to content

Instantly share code, notes, and snippets.

View dginev's full-sized avatar

Deyan Ginev dginev

131 followers · 21 following
View GitHub Profile
@dginev
dginev / quadratic_equations.json
Created August 19, 2021 18:16
LD+JSON from cuemath.com/algebra/quadratic-equations/
{
"@context": "https://schema.org/",
"@type": "Quiz",
"url": "https://www.cuemath.com/algebra/quadratic-equations/",
"typicalAgeRange": "3-19",
"educationalLevel": "primary",
"assesses": "Attend this Quiz & Test your knowledge.",
"educationalAlignment": [
{
"@type": "AlignmentObject",
@dginev
dginev / arxiv-f-x.md
Created July 7, 2021 23:56
A report on the direct uses of "f x" (without parentheses) in arXiv
@dginev
dginev / report.md
Last active January 22, 2021 22:09
Exploring compression over HTML5+MathML from arXiv

Sample from arXiv October, 2009 (yymm=0910):

  • 5281 HTML files
  • biggest file is 20MB in size, arxiv 0910.2294, with 1472 math formulas
  • html preview in CorTeX
  • possible cause? ids:
  <ci id="S7.Ex655.m1.9.9.1.1.1.1.1.1.1.1.1.1.2.cmml"
    xref="S7.Ex655.m1.9.9.1.1.1.1.1.1.1.1.1.1.2">Θ</ci>
@dginev
dginev / examples.md
Created June 19, 2020 04:15
The many scientific meanings of superscript plus (TeX: {?}^+)

General form: base-superscript-+

meaning TeX field source
Math
Natural numbers from 1 \mathcal{N}^+ number theory wiki:Natural number
positive semi-orbit O^+, \gamma_{x}^{+} dynamical systems paper, wiki:Orbit
moduli space of trajectories M^+ Geometric Topology arxiv:1404.4561
orthogonal decomposition into eigenspace S^+ Geometric Topology arxiv:1404.4561
self-dual 2-forms on X \Lambda^+ X
@dginev
dginev / iterative_tikz.tex
Last active March 13, 2020 19:24
An example of a computational stress test for LaTeXML's tikz support
% source: arXiv 1002.3757
\documentclass{article}
\usepackage{tikz}
\newcommand\dw[2]{\draw[#1!#2,fill=#1!#2]}
\begin{document}
\begin{tikzpicture}
\def\LL{10}
\pgfmathsetmacro{\LLQ}{200/(\LL*\LL)}
@dginev
dginev / 4_gram_15_window_arxiv_cite.csv
Last active February 28, 2020 18:00
Top textual 4-grams within 15 words of an inline citation from arXiv (arXMLiv 08.2019)
4-gram frequency
see e g [cite] 340651
can be found in 197421
be found in [cite] 130873
see for example [cite] 93473
in the case of 86786
in the context of 80782
is given by [cite] 73337
shown in fig ref 65890
with respect to the 63965
@dginev
dginev / honest_solving.rs
Created September 28, 2019 02:13
Truth's Tricky Interfaces
trait HonestSolver {
fn solve(p: DecidableLogicalProposition) -> (bool, LogicalProof);
// i.e. First- and Higher-order logic
fn solve_if_possible(p: MathProposition) -> Option<(bool, MathProof)>;
fn try_to_solve_if_possible(p: ComputableProposition) -> Result<Option<(bool,ExecutionTrace)>, Box<dyn Error>>;
fn try_to_solve_socially_if_possible(p: LanguageProposition) -> Arc<Mutex<Result<Option<(bool,Justification)>, Box<dyn Error>>>>;
@dginev
dginev / arxiv_2019_headings_freq100.csv
Created September 21, 2019 22:46
Heading Statistics: arXMLiv 08.2019
heading frequency
proof 2930621
lemma 1706821
theorem 1700430
references 1351260
abstract 1193933
introduction 1117555
proposition 1059776
definition 972999
remark 888243
@dginev
dginev / broken_tikz.svg
Created September 4, 2019 15:08
Broken Tikz Example from latexml/#1196
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@dginev
dginev / esum_iterative.tex
Last active August 15, 2019 18:38
\newcount\index
\newcount\sum
\def\esum#1{
\index=#1
\sum=0
\loop
\advance\sum by \index
\ifnum\index>2
\advance\index by -2