arxmliv
arxmliv build tool
 
KWARC group
LaTeXML
About
   
 

Current statistics of make process

Back to Homepage

Files that use macro {definition}

No.DateMacroErrmsg
12013-04-16 01:28:43/1206/1206.6757[{wrapfloat}, \llceil, \rrbracket, {example}, \rrceil, \subfloat, \email, \titlerunning, \mainmatter, \authorrunning, \llfloor, \llbracket, \institute, \keywords, \rrfloor, {definition}]; 1 missing file[svmultln.cls].
22013-04-16 01:03:01/1206/1206.6293[{algorithm}, \alignauthor, \For, \If, \email, \KwTo, \Input, \DontPrintSemicolon, \eIf, \SetKwInOut, \affaddr, \ForEach, \numberofauthors, {definition}, \Output, \newdef, \rowcolor]; 1 missing file[fancyvrb.sty].
32013-04-16 00:56:50/1206/1206.6081[\mathds, {lemma}, \authormark, {theorem}, \qed, \runningtitle, {definition}, \address, \email, {remark}, {proof}]; 2 missing files[pst-all.sty, arxiv.cls].
42013-04-16 00:50:51/1206/1206.6006[{definition}, {theorem}, \runauthor, \NN, {frontmatter}, \FF, {keyword}, \Logo]; 1 missing file[CGC2.cls].
52013-04-16 00:44:13/1206/1206.5915[{lemma}, {theorem}, \sameauthor, {proof}, {Definition}]; 1 missing file[ltexpprt.sty].
62013-04-15 23:52:25/1206/1206.5033[{lemma}, {theorem}, \midrule, \color, \thetheorem, {definition}, {proof}, \toprule, \bottomrule].
72013-04-15 22:42:15/1206/1206.3706[\naput, {definition}, {lemma}, {keywords}, {theorem}, \nbput, {proof}, \thetheorem]; 1 missing file[siamltex704.cls].
82013-04-15 21:54:06/1206/1206.2847[{definition}, \mathds, {theorem}, {remark}, {proof}, \rrbracket, {proposition}, \llbracket]; 2 missing files[commath.sty, pslatex.sty].
92013-04-15 21:37:22/1206/1206.2568[\xspace, \rank, {theorem}, \angles, \mathbb, \codim, \wt, {definition}, \set, \DeclareMathOperator, {corollary}, {proof}, \text, \diff, {proposition}, \supp].
102013-04-15 21:04:10/1206/1206.1985[{definition}, {AMS}, \psfrag].
112013-04-15 19:56:20/1206/1206.0773[\Xcal, \affil, {lemma}, \Ab, {theorem}, \Kb, \zb, \RR, \Ucal, \yb, \epsilonb, \Ib, \Ccal, {proposition}, \diag, \PP, \mathbb, \Db, \zero, \Wb, \Ncal, {corollary}, \Ub, \eqref, \one, \betab, {aligned}, \xb, \Bb, \xib, {remark}, \vb, \Lb, {definition}, \EE
122013-04-15 18:26:19/1205/1205.6255[\extraline, \classno, {algorithm}, \newnumbered, \newunnumbered, \affiliationthree, {definition}, \email, \affiliationone, {remark}, {proof}, \affiliationtwo].
132013-04-15 18:23:55/1205/1205.6228[{definition}, \email, \affaddr, \numberofauthors, \alignauthor, \newdef].
142013-04-15 17:47:35/1205/1205.5617[\at, {lemma}, {theorem}, {theopargself}, \smartqed, \email, {remark}, \subclass, {strategy}, {acknowledgements}, {proposition}, \dedication, \institute, \qed, \journalname, \keywords, {definition}, {corollary}, {proof}, \spnewtheorem]; 2 missing files[fi
152013-04-15 17:29:33/1205/1205.5345[{definition}, {keywords}, {theorem}, {corollary}, {AMS}, \psfrag, {proof}, {proposition}]; 1 missing file[cmslatex.cls].
162013-04-15 17:27:46/1205/1205.5329[{lemma}, {theorem}, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {example}, {remark}, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {definition}, {corollary}, \Em
172013-04-15 17:16:04/1205/1205.5148[{definition}, {theorem}, {AMS}, {proof}].
182013-04-15 17:01:36/1205/1205.4874[\at, {lemma}, \hdashline, {theorem}, {example}, \smartqed, \email, {remark}, \titlerunning, \authorrunning, \institute, \qed, \journalname, \keywords, {definition}, {proof}]; 1 missing file[mysvjour3.cls].
192013-04-15 16:59:33/1205/1205.4833[\N, {theorem}, \colonequals, \Asterisk, \eps, \tuple, \wt, {example}, \intint, \Z, {claim}, \url, \bfL, \divides, \abs, \bfzero, \behref, {corollary}, {beh}, \nbd, \f, \ord, \C, \href, {question}, {remark}, {convention}, \Q, \cE, \F, {definition}, \set,
202013-04-15 15:50:33/1205/1205.3578[{lemma}, \N, \eps, {maintheorem}, \calP, \R, {definition}, {example}, \dd, {remark}, \calF, {notation}, {problem}, {proposition}]; 1 missing file[bef_alex-modified.sty].
212013-04-15 14:56:04/1205/1205.2771[{theorem}, \eps, \Gl, \vierkant, \U, \Z, {notation}, \Gal, {proposition}, \Res, \OO, \quand, \isomto, \SO, \lbr, \PSU, \C, \surjects, \stab, \injects, \Tad, \rbr, \li, \Hom, \lql, \R, {definition}, \lik, \ad, \cO, \uH, \Frob, \ie, \iS]; 2 missing files[s
222013-04-15 14:39:42/1205/1205.2437[{definition}, {lemma}, \subfloat, {theorem}, {proof}, {proposition}].
232013-04-15 14:31:08/1205/1205.2304[{definition}, {lemma}, {theorem}, {proof}, {assumption}]; 2 missing files[artmods.sty, macros.sty].
242013-04-15 14:02:08/1205/1205.1823[{definition}, {theorem}, {AMS}, \thetheorem, {proof}, {proposition}].
252013-04-15 13:36:17/1205/1205.1366[{definition}, {lemma}, {theorem}, \endproof, {proof}, \thetheorem, \geometry].
262013-04-15 13:04:10/1205/1205.0882[{definition}, {theorem}, {proposition}, \R].
272013-04-15 12:52:32/1205/1205.0707[\pause, {xy}, \mathbb, {theorem}, \xymatrix, \institute, \mathfrak, {definition}, Align, \nmid, \ar]; 2 missing files[bibgerm.sty, xy.sty].
282013-04-15 11:44:36/1204/1204.6228[\Rightlongarrow, \bi, \Ob, {example}, \id, \card, {defn}, {lem}, \ar, \CompileMatrices, {thm}, {prp}, \ei, \epigraph, \xymatrix, {definition}, Align, \Mor, {rem}, \GL, {problem}]; 2 missing files[headers-note.sty, xy.sty].
292013-04-15 11:06:26/1204/1204.5543[{example}, {definition}, {lemma}, {theorem}, {corollary}, {proof}, {proposition}]; 4 missing files[mytheorems.sty, xy.sty, eptcs.cls, breakurl.sty].
302013-04-15 11:00:27/1204/1204.5442[\fnref, \tnoteref, \newproof, \fntext, {definition}, \tnotetext, \cortext, {proof}, \newdefinition].
312013-04-15 10:52:16/1204/1204.5280[\RRresume, \titlehead, \URRocq, \RRtitle, \color, \makeRR, \RCParis, \RRprojets, \RRetitle, \thanksref, \RRNo, {exemple}, \RRauthor, {proposition}, \authorhead, \RRabstract, \RRdate, {definition}, \RRmotcle, \footref, {proof}, \RRkeyword]; 5 missing file
322013-04-15 10:43:47/1204/1204.5156[{definition}, {lemma}, \iinfer, {theorem}, \Infer, \infer, {proof}]; 2 missing files[Common/prooftree.sty, Common/theorems.sty].
332013-04-15 10:18:42/1204/1204.4688[\co, {lemma}, \eqref, {theorem}, \eps, \ra, \noteryan, \Ex, {remark}, \by, \E, \text, \ignore, \tr, \bx, \tfrac, \poly, \la, \R, {definition}, \coloneqq, \gtrless, \littlesum, {corollary}, {proof}, \supp]; 1 missing file[odonnell.sty].
342013-04-15 09:57:38/1204/1204.4282[\classno, \textswab, \newnumbered, {definition}, {example}, \email, {conjecture}, \affiliationone, \resetbiblist, {question}, {proof}, \affiliationtwo].
352013-04-15 09:26:27/1204/1204.3807[{definition}].
362013-04-15 09:07:17/1204/1204.3436[\synctex, {algorithm}, \citeyearpar, \citep, \rrbracket, \name, \theappendix, \SetLine, \For, \email, \KwIn, \llbracket, \eIf, \editor, \While, {definition}, \citealt, \dontprintsemicolon, \KwRet]; 2 missing files[jmlr2eNoEditor.sty, movie15.sty].
372013-04-15 09:04:28/1204/1204.3367[\affaddr, \numberofauthors, \alignauthor, {definition}, \email, \subsecit, \newdef, {proof}]; 1 missing file[collective-intelligence.cls].
382013-04-15 08:40:36/1204/1204.2942[{definition}, {lemma}, {theorem}, {proof}].
392013-04-15 08:33:52/1204/1204.2837[{lemma}, {theorem}, \alert, {Lemma}, {definition}, {columns}, {corollary}, \column, \frametitle, {proof}]; 1 missing file[multimedia.sty].
402013-04-15 08:20:12/1204/1204.2652[{lemma}, \mook, {theorem}, \eps, \GT, \num, \moon, {remark}, \zoon, \zook, \signdeg, \sgn, {definition}, \modd, \moo, \zoo, \zoom, {corollary}]; 1 missing file[theory.sty].
412013-04-15 08:19:26/1204/1204.2618[{definition}, \restatejoincut, {theorem}, {corollary}, {remark}, {restatable}, \declaretheorem]; 1 missing file[thmtools.sty].
422013-04-15 07:12:10/1204/1204.1505[{lemma}, {theorem}, {algorithmf}, \R, {definition}, {enumerate*}, {description*}, {corollary}, {claim}, \titlespacing]; 4 missing files[sectsty.sty, boxedminipage.sty, mdwlist.sty, tcs.sty].
432013-04-15 06:56:30/1204/1204.1220[\rank, {lemma}, {theorem}, {remunerate}, {definition}, \subfloat, {corollary}, {AMS}, {proof}, \diag, {proposition}].
442013-04-15 06:53:41/1204/1204.1166[{theorem}, \rk, \ord, \operators, \Ind, \C, {example}, \cC, \Inf, \Z, \supsetneq, \tors, \calsymbols, \rtimes, {proposition}, {acknowledgements}, \bbsymbols, \Q, \backslashbox, \sha, {definition}, \triv, \Reg, {assumption}]; 2 missing files[slashbox.sty,
452013-04-15 06:51:33/1204/1204.1095[{definition}, {lemma}, {theorem}, {corollary}, {proof}, {proposition}].
462013-04-15 05:34:45/1203/1203.6599[\EndProof, {lemma}, \one, {algorithm}, {theorem}, \theappendix, {example}, \Z, \E, \Ccal, \nin, \End, \diag, {proposition}, \Ecal, \abs, \comb, \Prob, \Vcal, \Lcal, \R, {definition}, \Ncal, \Gcal, \fig, {assumption}, \norm]; 1 missing file[macro.sty].
472013-04-15 05:33:09/1203/1203.6606[\EndProof, {lemma}, {theorem}, {algorithm}, \Ucal, \C, {example}, \Image, \Z, {remark}, \End, {proposition}, \Ecal, \abs, \Prob, \Vcal, \R, {definition}, \Gcal, \cdashline, \fig, {assumption}, \norm]; 1 missing file[macro.sty].
482013-04-15 04:57:57/1203/1203.0160[\conferenceinfo, \alignauthor, \email, \ttlit, \affaddr, \secit, \titlenote, \numberofauthors, \terms, \keywords, \subtitle, {definition}, \additionalauthors, \category, \subsecit, {proof}, \newdef].
492013-04-15 04:55:43/1203/1203.0220[{lemma}, {theorem}, \arc, {itemlist}, \path, \blacken, \collection, {example}, {definition}, {remark}, \ellipse, {proof}]; 2 missing files[itemlist.sty, kcp-new.sty].
502013-04-15 04:53:15/1203/1203.0292[{definition}, {lemma}, {theorem}, {corollary}, {AMS}, {proof}, {proposition}, \pdfinclusioncopyfonts].
512013-04-15 04:36:39/1203/1203.0550[{lemma}, {keywords}, {theorem}, \firstpageno, {sideways}, \editor, \jmlrheading, \name, \ShortHeadings, {definition}, \email, \acks, \addr, {proof}, {proposition}]; 1 missing file[jmlr2e.sty].
522013-04-15 04:27:38/1203/1203.0692[\mathds, {theorem}, \geqslant, \leqslant, \rrbracket, {definition}, {example}, {remark}, {proof}, \llbracket, {proposition}]; 1 missing file[commath.sty].
532013-04-15 03:22:02/1203/1203.1745[\tnoteref, \newproof, {proof}, {Definition}, \newdefinition]; 10 missing files[xycurve.sty, xymatrix.sty, xyline.sty, xyarrow.sty, xycmtip.sty, xycolor.sty, xyrotate.sty, xyframe.sty, xygraph.sty, tipa.sty].
542013-04-15 02:30:30/1203/1203.2557[{lemma}, {keywords}, {theorem}, \firstpageno, \citeyearpar, \citep, \editor, \jmlrheading, \name, \ShortHeadings, {definition}, \email, {corollary}, \addr, \citet, {proof}, \AND]; 1 missing file[jmlr2e.sty].
552013-04-15 02:02:33/1203/1203.3113[\at, {lemma}, \institute, \keywords, \journalname, {example}, \subtitle, {definition}, \smartqed, \email, \cellcolor, {remark}, \subclass, {proof}, {acknowledgements}]; 2 missing files[fix-cm.sty, strippedsvjour3.cls].
562013-04-15 01:51:05/1203/1203.3272[{theorem}, \EmailD, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {remark}, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {definition}, \Keywords].
572013-04-15 01:21:31/1203/1203.3821[{definition}, {lemma}, {theorem}, {corollary}, {AMS}, {proof}].
582013-04-15 00:01:37/1203/1203.5124[\conferenceinfo, \alignauthor, \email, \ttlit, \affaddr, \secit, \titlenote, \numberofauthors, \terms, \keywords, \subtitle, {definition}, \additionalauthors, \category, \subsecit, {proof}, \newdef].
592013-04-14 23:43:20/1203/1203.5480[\third, {theorem}, \second, \first, {example}, {definition}, \andsecond, {corollary}, {remark}]; 1 missing file[bullclass.sty].
602013-04-14 23:33:13/1203/1203.5619[{lemma}, \metadata, \volumenumber, \accepted, {definition}, \address, \email, {corollary}, {remark}, \revised, {proposition}, \received, \volumeyear]; 1 missing file[tmj.sty].
612013-04-14 23:23:30/1203/1203.5754[\affil, {lemma}, {theorem}, \serieslogo, \rrbracket, \keywords, \Copyright, {definition}, {example}, {proof}, \authorrunning, \llbracket]; 3 missing files[lipics.cls, xy.sty, microtype.sty].
622013-04-14 22:55:38/1203/1203.6164[{theorem}, \EmailD, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {example}, \AuthorNameForHeading, \Abstract, \ArticleName, \mathds, \ShortArticleName, \FirstPageHeading, \Address, \Author, {definition}, \Keywords].
632013-04-14 22:36:20/1202/1202.6680[\affil, {lemma}, {theorem}, \eps, \eqdef, \poly, {definition}, {fact}, \sign, {claim}, \E, {proof}, \ignore]; 3 missing files[authblk.sty, homin-thm.sty, homin.sty].
642013-04-14 21:47:11/1202/1202.5923[{lemma}, {theorem}, \xymatrix, {definition}, Align, {AMS}, {corollary}, {proof}, {proposition}, \ar]; 1 missing file[xy.sty].
652013-04-14 21:12:08/1202/1202.5298[{definition}, {lemma}, {theorem}, {corollary}, {AMS}, {proof}].
662013-04-14 20:01:44/1202/1202.4144[{lemma}, {theorem}, \Tree, {keyword}, \normalshape, {definition}, {example}, \thanksref, {corollary}, {frontmatter}, {proof}]; 2 missing files[qtree.sty, entcsmacro.sty].
672013-04-14 19:47:07/1202/1202.3839[{definition}, {lemma}, {theorem}, {proof}, {proposition}]; 1 missing file[esint.sty].
682013-04-14 19:33:13/1202/1202.3541[{theorem}, \EmailD, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {definition}, \Keywords].
692013-04-14 18:47:47/1202/1202.2831[{definition}, {lemma}, {theorem}, {proof}, {proposition}].
702013-04-14 17:28:22/1202/1202.1347[{definition}, \iddots, {lemma}, \subfloat, {theorem}, {AMS}, {proof}].
712013-04-14 17:08:17/1202/1202.1004[\square, \copyrightyear, \mathbfdef, {refs}, \Pos, \address, {examples}, \complement, \id, {remark}, \I, \ar, {proposition}, \mathrmdef, \eaddress, {remarks}, \dedication, \Set, \xymatrix, \pf, {definition}, Align, \xyoption, \lefthalfcap, {corollary}, \
722013-04-14 17:04:48/1202/1202.0927[\Sets, {lemma}, {theorem}, \leqslant, \G, {example}, \address, \email, \subjclass, {remark}, \id, \Rep, {CD}, \End, {proposition}, \Gal, \Spec, \mathbb, \geqslant, \Hom, \keywords, {definition}, \Aut, \im, \GL, \Vect]; 3 missing files[compositio-letter.c
732013-04-14 15:59:00/1201/1201.0414[{lemma}, {theorem}, \qed, \keywords, {example}, {definition}, {history}, {remark}, \revised, \received, {proposition}].
742013-04-14 13:27:42/1201/1201.2834[\Paths, \half, {lemma}, {theorem}, \calc, {example}, \dest, \stra, \Nats, \Stra, {corollary}, \reals, \union, \TB, \distr, \infi, \seqs, \wab, {comment}, \vare, \E, \rpnode, \moves, \drawloop, \set, {definition}, \nats, \CountOpt, \inters, \supp, \Distr,
752013-04-14 13:26:05/1201/1201.2837[\Real, {lemma}, {theorem}, \front, \bH, \bn, \bw, {proposition}, \bg, \bx, \bB, \refp, \bu, \DIV, \Hund, \SCAL, \br, \calC, \GRAD, \cf, \bM, \bv, \CROSS, \polN, \eg, {remark}, \bR, \tr, \calA, \LAP, \ADV, \bvarphi, {definition}, \Ldeuxt, \Ldeuxd, \be, \b
762013-04-14 12:14:04/0912/0912.4977[{defiprop}, {lemma}, \ZZ, {theorem}, \OOO, \rk, \RR, \ord, \QQ, {remark}, \CC, {acknowledgements}, \DDD, \PP, {prop}, \FFF, \AAA, {definition}, \Aut, \GG, \NN, \GL, \EE]; 2 missing files[global_CL.sty, etex.sty].
772013-04-14 12:13:27/0912/0912.4975[\ZZ, {algorithm}, {theorem}, \rk, \ord, \FF, {example}, \QQ, {remark}, \CC, \nomenclature, \nboxes, {definition}, \size, \Aut, {corollary}, \PPart, \GG, \NN, \GL, \nmarkedboxes]; 6 missing files[Diss.sty, easybmat.sty, ot2.fontmap, xy.sty, nomencl.sty, e
782013-04-14 11:50:31/0912/0912.4571[\rank, {lemma}, {theorem}, \eIf, \endproof, \thetheorem, \linesnumberedhidden, {definition}, \If, \dontprintsemicolon, \For, {corollary}, {AMS}, {proof}, {algorithm2e}].
792013-04-14 11:50:11/0912/0912.4570[{lemma}, {theorem}, \thetheorem, {definition}, \linesnumberedhidden, \For, \dontprintsemicolon, {AMS}, {proof}, {algorithm2e}].
802013-04-14 11:46:42/0912/0912.4529[{definition}, {theorem}, {corollary}, {AMS}, {proof}].
812013-04-14 11:25:31/0912/0912.4185[{lemma}, {theorem}, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {remark}, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {definition}, \Email, \Keywords].
822013-04-14 11:21:33/0912/0912.4110[{xy}, {lemma}, {theorem}, {example}, \address, \subjclass, {remark}, \text, \ar, \rvert, \save, \firstpageno, {align*}, \xymatrix, \resizebox, \frm, \keywords, {definition}, Align, \lvert, \stacsheading]; 2 missing files[stacs.cls, xy.sty].
832013-04-14 11:05:54/0912/0912.3757[{lemma}, {theorem}, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, \AuthorNameForHeading, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {definition}, \Email, \Keywords].
842013-04-14 10:46:15/0912/0912.3429[{lemma}, {theorem}, \firstpageno, \keywords, {definition}, \address, \email, \subjclass, {proof}, \stacsheading, {proposition}]; 1 missing file[stacs.cls].
852013-04-14 10:38:38/0912/0912.3297[\theappendix, {definition}, {lemma}, {theorem}, {corollary}, {proof}].
862013-04-14 09:57:32/0912/0912.2625[{lemma}, {theorem}, \firstpageno, \keywords, {definition}, \address, \subjclass, {corollary}, {remark}, \stacsheading, {proof}, {proposition}]; 1 missing file[stacs.cls].
872013-04-14 09:54:01/0912/0912.2561[{lemma}, {theorem}, \firstpageno, \keywords, {definition}, \address, \email, \stacsheading, {proof}]; 1 missing file[stacs.cls].
882013-04-14 09:33:23/0912/0912.2160[{theorem}, \xymatrix, {definition}, Align, \issue, \widecheck, \runninghead, {corollary}, {proposition}, \ar]; 10 missing files[xycurve.sty, xymatrix.sty, xyline.sty, xyarrow.sty, xycmtip.sty, xycolor.sty, xyrotate.sty, fundam.cls, xyframe.sty, xygraph.s
892013-04-14 09:31:17/0912/0912.2135[\Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, \Author, {definition}, \Email, \AuthorNameForHeading, \Keywords].
902013-04-14 08:41:29/0912/0912.1329[{definition}, \theappendix, {lemma}, {theorem}, {proof}]; 1 missing file[ltexpprt.sty].
912013-04-14 08:25:33/0912/0912.1072[\citep, \address, \MSC, \journal, {Verbatim}, \sep, \geometry, \newdefinition, \newproof, {keyword}, \qed, {cdfproof}, {definition}, {frontmatter}, \citet, {proof}]; 2 missing files[fancyvrb.sty, elsmodified.cls].
922013-04-14 08:12:35/0912/0912.0814[{lemma}, \lat, {theorem}, \ortho, \adherence, \spp, \so, \mR, \mP, \ron, \supq, \id, \insiste, {proposition}, \Sppq, \PSLDR, \geqslant, \defini, \mH, \up, \SOopq, \diffb, {definition}, \includegraphics, \sppq, \sopq, \SUpq, {corollary}, \al, \diff]; 1 mi
932013-04-14 07:07:52/0911/0911.5475[{lemma}, {algorithm}, {theorem}, \obrazek, \chain, \factor, {definition}, {corollary}, \el, \en, \zet, \cantor, {remark}, \Glink, {proposition}]; 1 missing file[macros.sty].
942013-04-14 05:18:46/0911/0911.3674[{definition}, {lemma}, {theorem}, {corollary}, {AMS}, {proof}, {proposition}].
952013-04-14 04:58:40/0911/0911.3344[{lemma}, {theorem}, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {definition}, \Email, {corollary}, \Keywords].
962013-04-14 04:52:05/0911/0911.3277[{lemma}, {theorem}, \atom, \SA, \gr, \color, \G, \Ia, \q, \abst, {example}, \email, \text, \card, \I, \next, \eqa, \tr, \A, {align*}, \mathbb, \institute, \cipm, \R, {definition}, Align, \<, \B]; 4 missing files[macro.sty, picinpar.sty, eptcs.cls, breaku
972013-04-14 04:14:00/0911/0911.2667[{theorem}, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {example}, {remark}, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {definition}, \Email, {corollary}, \Key
982013-04-14 03:42:23/0911/0911.2022[{lemma}, {keywords}, {theorem}, \authorblockA, \IEEEoverridecommandlockouts, \authorblockN, {definition}, {corollary}, \psfrag, {psfrags}, \newtheorem, {proposition}]; 1 missing file[IEEEtran.cls].
992013-04-14 02:54:37/0911/0911.1245[{definition}, \cortext, {remark}, \newdefinition].
1002013-04-14 02:24:25/0911/0911.0664[\affil, {lemma}, {theorem}, \SetAlFnt, {acks}, {bottomstuff}, {example}, \SetAlCapHSkip, {remark}, \citeN, \received, {proposition}, \citeauthoryear, \SetAlCapNameFnt, \acmformat, \mathbb, \terms, \IncMargin, \keywords, {definition}, \includegraphics, {c
1012013-04-14 02:11:26/0911/0911.0372[{theorem}, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {example}, {remark}, \AuthorNameForHeading, {proposition}, \ar, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \xymatrix, \Author, {definition}, Align, \E
1022013-04-14 02:00:19/0911/0911.0232[{lemma}, {theorem}, \xymatrix, \thetheorem, {definition}, Align, {corollary}, {AMS}, {proof}, {proposition}, \ar]; 1 missing file[xy.sty].
1032013-04-14 01:25:57/1012/1012.5718[\nonumsection, {lemma}, \copyrightheading, \fpage, \fnt, \keywords, \alphfootnote, \proof, {definition}, \fnm, \abstracts, \runninghead, \communicate, \textlineskip, \publisher].
1042013-04-14 01:08:08/1012/1012.5396[\alignauthor, {savenotes}, {comment}, \email, \makesavenoteenv, \toprule, \bottomrule, \secit, \affaddr, \titlenote, \terms, \keywords, {definition}, \additionalauthors, \category, \newdef, {proof}]; 1 missing file[footnote.sty].
1052013-04-14 00:26:56/1012/1012.4620[\mathds, \IEEEauthorblockA, \IEEEauthorblockN, \midrule, \IEEEpeerreviewmaketitle, \rrbracket, {definition}, {IEEEkeywords}, \cmidrule, \toprule, \IEEEauthorrefmark, \bottomrule, \ifCLASSINFOpdf, \llbracket]; 1 missing file[IEEEtran.cls].
1062013-04-13 23:34:15/1012/1012.3835[{lemma}, {theorem}, \endproof, \thetheorem, {definition}, {AMS}, {corollary}, {proof}].
1072013-04-13 23:22:15/1012/1012.3646[{lemma}, {theorem}, \sameauthor, {definition}, {AMS}, {corollary}, {proof}, {proposition}].
1082013-04-13 23:05:01/1012/1012.3269[\doi, \syear, \affiliation, \printaddresses, \thankstext, \volume, \bid, \address, \thanksref, \bfnm, \operatorname, \dvtx, \byear, \corref, \firstpage, \endbibitem, \received, \kwd, \mathbb, \bauthor, \snm, \btitle, \tfrac, {Definition}, \smonth, {aug},
1092013-04-13 22:57:16/1012/1012.3197[{example}, {definition}, \newproof, \cortext, {remark}, {proof}, \newdefinition].
1102013-04-13 22:23:15/1012/1012.2648[{example}, {definition}, Align, {remark}, \newdefinition, \biboptions]; 1 missing file[soul.sty].
1112013-04-13 21:59:57/1012/1012.2203[{definition}, \newdefinition].
1122013-04-13 21:22:44/1012/1012.1455[\EmailD, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {example}, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {definition}, \Keywords].
1132013-04-13 21:16:57/1012/1012.1333[{prop}, {lemma}, {theorem}, \theoremstyle, \qed, {definition}, {example}, \address, \thethm, {remark}, {proof}, {proposition}]; 1 missing file[jac.cls].
1142013-04-13 21:11:04/1012/1012.1219[{theorem}, \mathbb, \theoremstyle, \qed, \rrbracket, \mathfrak, \keywords, {definition}, \address, \email, \subjclass, \cramped, \llbracket]; 2 missing files[mathtools.sty, jac.cls].
1152013-04-13 21:07:19/1012/1012.1128[{lemma}, \mathbb, \qed, \mathfrak, \keywords, \proof, {definition}, \address, \email, \remark, {proposition}]; 1 missing file[jac.cls].
1162013-04-13 20:21:05/1012/1012.0237[{lemma}, \ZZ, \bangle, \gr, {theo}, \Soc, {example}, \K, \Ann, \vphi, \Lie, {conjecture}, \coloneq, \USoc, {remark}, \CC, \LSoc, {proposition}, \Der, {definition}, \Aut, {corollary}, \GL, \NN, \ssl]; 1 missing file[my.sty].
1172013-04-13 20:10:54/1012/1012.0058[{definition}, \short, \href, \mathbb, {proof}, {proposition}, \oneauthor]; 1 missing file[acta-info.sty].
1182013-04-13 19:15:00/1011/1011.5785[\co, {lemma}, \leftmod, {theorem}, \scal, \ocal, \smashprod, \ext, \rightmod, {proposition}, \bcal, \xymatrix, Align, \ecal, \ho, {corollary}, \rr, \h, \gcal, \bignplus, \pdfbookmark, \tscr, \dscr, \ar, \acal, \Sp, \qq, \hocolim, \ccal, {definition}, \co
1192013-04-13 19:06:32/1011/1011.5677[\AUTHOR, {lemma}, \RUNAUTHOR, {theorem}, \RUNTITLE, \EquationsNumberedThrough, {example}, \halmos, \TITLE, {APPENDICES}, \TheoremsNumberedThrough, \ARTICLEAUTHORS, {proposition}, \ECRepeatTheorems, \ABSTRACT, \endproof, \proof, {definition}, \EMAIL, \AFF
1202013-04-13 19:01:06/1011/1011.5537[{lemma}, {theorem}, \R, {definition}, {corollary}, \Z, \E, \prob, {proposition}, {assumption}]; 1 missing file[stdmath.sty].
1212013-04-13 17:28:46/1011/1011.3964[{definition}, \newproof, {proof}, \newdefinition].
1222013-04-13 16:30:40/1011/1011.2974[{definition}, {lemma}, {keywords}, {theorem}, {corollary}, \FloatBarrier, {proof}, {proposition}]; 1 missing file[cmslatex.cls].
1232013-04-13 16:28:22/1011/1011.2950[{Not}, {Exam}, \ifprodtf, \ord, \geom, {Assertion}, \addressbreak, \mathproofbox, {remark}, \orb, \checkfont, \newromanexpr, \iffontfound, \Spec, \newnumbered, \F, {definition}, \bibname, \Var, {The*}, {proof}].
1242013-04-13 16:04:33/1011/1011.2551[{lemma}, {theorem}, \theoremref, \tableref, \lemmaref, \eqdef, \claimref, {claim}, {remark}, \sectionref, \bits, \equationref, \e, \poly, \polylog, {definition}, {thmproof}, \appendixref]; 1 missing file[boaz.sty].
1252013-04-13 15:54:42/1011/1011.2410[{definition}, {theorem}, {AMS}, \endproof].
1262013-04-13 15:05:33/1011/1011.1521[{lemma}, \N, {theorem}, \dist, \U, \midmid, \M, {proposition}, \abs, \seq, \Mf, \im, \szg, \norm, \integral, \s, \absdot, \href, {theorem*}, \setdef, {remark}, \MC, \interior, \tr, \satx, \Mfhat, \Matx, \R, {definition}, \sC, \D, \grpquot, \Vol, \carr, \
1272013-04-13 14:27:26/1011/1011.1001[\graphlinecolour, {graph}, \freetext, {lemma}, {keywords}, {theorem}, \subfigure, \doi, \jvol, \textnode, \jyear, {example}, \roundnode, \jmonth, \graphnodecolour, \graphnodesize, \autonodetext, \issn, {definition}, \edge, {corollary}, \graphlinewidth, \
1282013-04-13 14:14:48/1011/1011.0819[\doi, \affiliation, \runtitle, \volume, {example}, \address, \dvtx, \operatorname, \hyperref, \eqntext, \corref, \firstpage, \pubyear, \kwd, \MR, \mathbb, \lastpage, \snm, {keyword}, \fnms, {definition}, {aug}, {pf}, \issue, \runauthor, \varnothing, \pri
1292013-04-13 13:55:02/1011/1011.0491[\complp, {theorem}, \cogamma, \Bux, \interr, \complc, \hand, \Act, \ltrans, \coalpha, \cC, \email, \agr, \Aux, \cP, \nil, \institute, {definition}, \defP, \freeze]; 2 missing files[algebra.sty, eptcs.cls].
1302013-04-13 12:05:19/1010/1010.4851[{definition}, {lemma}, {theorem}, {corollary}, \pdfbookmark]; 1 missing file[xy.sty].
1312013-04-13 11:51:01/1010/1010.4678[\drawedge, {Example}, \drawloop, {Definition}, \gasset, {Remark}, \cortext, \node, \newdefinition].
1322013-04-13 11:16:29/1010/1010.4073[\Ker, {lemma}, {theorem}, \pairing, \Ind, \Image, \ptmapsbm, \Det, \rp, \vd, \cp, {prop}, \Hom, \dbar, \qq, \aangle, \cc, \set, {definition}, \del, \z, \rr, {corollary}, \Par, \zz, \sett]; 2 missing files[mycommands.sty, thesiscommands.sty].
1332013-04-13 11:13:16/1010/1010.4108[{lemma}, {theorem}, \Authormarginnote, {Definition}, \nicefrac, {fact}, \varmathbb, {comment}, {corollary}, {proof}]; 1 missing file[ltexpprt.sty].
1342013-04-13 11:09:31/1010/1010.4046[{Theorem}, {Corollary}, {Lemma}, \F, {Proposition}, {Definition}, {Remark}, {comment}, \Proof, \im, \End, \supp]; 2 missing files[anisotropic.sty, default.sty].
1352013-04-13 11:00:56/1010/1010.3843[\doi, \bolds, \syear, \affiliation, \printaddresses, \thankstext, \volume, \address, \thanksref, \operatorname, \dvtx, \corref, \firstpage, \received, \kwd, \snm, {Definition}, \smonth, {aug}, \issue, \runauthor, \revised, {frontmatter}, {longlist}, \run
1362013-04-13 09:53:15/1010/1010.2694[{definition}, {lemma}, {theorem}, {AMS}, \endproof, {proof}, {proposition}, \supp]; 1 missing file[graphpap.sty].
1372013-04-13 09:38:47/1010/1010.2471[\rank, {lemma}, {theorem}, \thetheorem, {definition}, {corollary}, \geometry, {proof}, \diag, {proposition}].
1382013-04-13 09:36:31/1010/1010.2391[\square, {definition}, {lemma}, {theorem}, \mathbb, \typearea]; 4 missing files[mathdesign.sty, mythmbox.sty, microtype.sty, scrartcl.cls].
1392013-04-13 08:58:22/1010/1010.1738[\fnref, \fntext, {definition}, \cortext, \psfrag, {remark}, {psfrags}, \newdefinition].
1402013-04-13 08:03:44/1010/1010.0844[\pdfauthor, \doi, \affiliation, \printaddresses, \runtitle, \volume, \href, \address, \corref, \firstpage, \referstodoi, \pubyear, \MR, \lastpage, \snm, \fnms, {definition}, {aug}, \issue, \runauthor, \printead, {frontmatter}, \newproclaim, \ead]; 1 miss
1412013-04-13 07:56:08/1010/1010.0707[\rank, {lemma}, {algorithm}, {theorem}, \EndFor, {algorithmic}, {definition}, \For, \Cbox, \State, \Require, {AMS}, {corollary}, {proof}].
1422013-04-13 07:44:49/1010/1010.0552[\theappendix, {definition}, \subfloat, {theorem}, {AMS}, {proof}].
1432013-04-13 07:43:28/1010/1010.0516[{theorem}, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {remark}, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {definition}, \Email, \Keywords].
1442013-04-13 07:30:23/1010/1010.0361[{theorem}, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {definition}, \Email, {corollary}, \Keywords].
1452013-04-13 07:27:27/1010/1010.0321[\firstname, \alttitle, {theorem}, \altkeywords, \keywords, {definition}, \address, {altabstract}, \email, \subjclass, {corollary}, {remark}, \lastname, {proof}, {proposition}]; 1 missing file[cedram-ambp.cls].
1462013-04-13 06:08:10/1009/1009.5170[\tnoteref, \newproof, {pot1}, {definition}, \tnotetext, \cortext, {pot}, {remark}, {proof}, \biboptions, \newdefinition].
1472013-04-13 06:01:22/1009/1009.5056[\ccode, {lemma}, \catchline, {theorem}, {romanlist}, \keywords, {example}, {definition}, {proof}, {proposition}].
1482013-04-13 05:52:17/1009/1009.4886[{JEL}, {lemma}, {theorem}, \thetheorem, {definition}, {AMS}, {proof}, {proposition}].
1492013-04-13 05:43:23/1009/1009.4762[{theorem}, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {example}, {remark}, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {definition}, \Email, \Keywords].
1502013-04-13 05:10:17/1009/1009.4153[\alignauthor, \email, \ttlit, \affaddr, \secit, \titlenote, \numberofauthors, \terms, \keywords, \subtitle, {definition}, \additionalauthors, \category, \subsecit, \balancecolumns, \newdef, {proof}].
1512013-04-13 04:53:19/1009/1009.3824[{lemma}, {theorem}, \endproof, \thetheorem, {romannum}, {definition}, {AMS}, {proof}, {proposition}].
1522013-04-13 04:32:12/1009/1009.3476[{lemma}, {theorem}, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {example}, {remark}, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {definition}, \Email, \Keyword
1532013-04-13 04:03:30/1009/1009.2932[\blacksquare, \SL, \rank, {lemma}, \eqref, {theorem}, \underleftarrow, \diam, \Fix, {split}, \DeclareMathOperator, {fact}, \trace, {CD}, {remark}, \id, \text, {proposition}, \mathbb, \var, {definition}, Align, {corollary}, \im]; 1 missing file[philstyle.
1542013-04-13 04:02:38/1009/1009.2900[{longenum}, \terms, {acks}, {bottomstuff}, \keywords, {example}, {definition}, Align, \category, \infer, \citeN, \newdef, {proof}]; 1 missing file[acmtrans2m.cls].
1552013-04-13 03:58:38/1009/1009.2836[{lemma}, \mathds, \authormark, {theorem}, \qed, \runningtitle, {example}, {definition}, \address, \email, {corollary}, {remark}, {proof}, {proposition}]; 1 missing file[arxiv.cls].
1562013-04-13 03:26:07/1009/1009.2305[{lemma}, {keywords}, {theorem}, \mathbb, \triangleq, \editor, \name, {definition}, \includegraphics, \email, {corollary}, \addr, {proof}, {proposition}]; 1 missing file[jmlr2e.sty].
1572013-04-13 03:12:28/1009/1009.2109[\toctitle, \SetKwComment, {lemma}, \SetKw, {theorem}, \inst, \SetArgSty, \tocauthor, \subfloat, \email, \titlerunning, \authorrunning, \SetKwInOut, \institute, \qed, {definition}, \SetKwIF, {proof}]; 1 missing file[myllncs.cls].
1582013-04-13 02:03:10/1009/1009.0922[{lemma}, {theorem}, \fint, {definition}, \widecheck, {AMS}, {proof}, {proposition}]; 1 missing file[esint.sty].
1592013-04-13 01:37:46/1009/1009.0530[{lemma}, {keywords}, {theorem}, \firstpageno, \editor, \jmlrheading, \name, \ShortHeadings, {definition}, \email, {corollary}, {remark}, \addr, {proof}, {proposition}]; 2 missing files[jmlr2e.sty, parskip.sty].
1602013-04-13 00:25:28/1008/1008.4627[{lemma}, {theorem}, \affaddr, \numberofauthors, \titlenote, \alignauthor, \theappendix, {example}, {definition}, \email, {corollary}, \newdef, {proposition}].
1612013-04-12 23:31:34/1008/1008.3699[{lemma}, {theorem}, \includegraphics, {definition}, {AMS}, {corollary}, {remark}, {proof}].
1622013-04-12 22:59:25/1008/1008.3145[{Theorem}, {lemma}, {theorem}, \place, \Vtriangle, \newdir, \xy, \two, \dtriangle, \endxy, {remark}, \bfig, \ptriangle, {proposition}, \ar, \epi, \Atriangle, \mon, {definition}, \POS, \xyoption, \efig, {corollary}, \Loop, \dir, \btriangle, \qtriangle, \m
1632013-04-12 22:31:28/1008/1008.2732[{Remark}, {theorem}, {proof}, {Definition}].
1642013-04-12 21:35:15/1008/1008.1843[{lemma}, {theorem}, {Problem}, {Definition}, \dateenglish, \extrasenglish, {Remark}, {claim}, {proof}, {proposition}, \captionsenglish]; 2 missing files[esint.sty, soda2e.sty].
1652013-04-12 21:29:36/1008/1008.1758[{definition}, {lemma}, \subfloat, {theorem}, {AMS}, {proof}].
1662013-04-12 20:03:25/1008/1008.0252[{lemma}, {theorem}, \xymatrix, {definition}, \bfi, Align, {corollary}, {proposition}, \ar]; 1 missing file[xy.sty].
1672013-04-12 19:56:12/1008/1008.0155[{example}, {definition}, \short, \theproposition, \twoauthors, {proof}, {proposition}]; 1 missing file[acta-m.sty].
1682013-04-12 19:51:08/1008/1008.0061[{lemma}, {theorem}, \thetheorem, {definition}, {AMS}, {corollary}, {proof}, {proposition}, \diag].
1692013-04-12 18:51:44/1007/1007.4570[\extraline, \classno, \newnumbered, \newunnumbered, {definition}, \bibname, \email, \affiliationone, {proof}, {acknowledgements}].
1702013-04-12 18:47:41/1007/1007.4458[{definition}, {lemma}, {theorem}, \thetheorem, {proposition}].
1712013-04-12 18:15:33/1007/1007.3878[\endproof, \terms, {bottomstuff}, \keywords, {definition}, \proof, {comment}, \shortcite, \category, \newdef]; 1 missing file[acmtrans2m.cls].
1722013-04-12 18:12:38/1007/1007.3836[{example}, {definition}, {remark}, \newdefinition].
1732013-04-12 17:49:54/1007/1007.3433[{definition}, {lemma}, {theorem}, {corollary}, \newtheorem].
1742013-04-12 17:19:14/1007/1007.2952[\nonumsection, {lemma}, \symbolfootnote, {theorem}, \fcstitle, \textlineskip, \tcaption, \publisher, \copyrightheading, \smalllineskip, \alphfootnote, \keywords, \addressfont, {definition}, \proof, {corollary}, \authorfont]; 1 missing file[IJFCS.sty].
1752013-04-12 16:38:54/1007/1007.2353[{example}, {definition}, \cortext, {remark}, \newdefinition].
1762013-04-12 15:56:00/1007/1007.1511[\pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {remark}, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {definition}, \Email, \Keywords].
1772013-04-12 15:49:24/1007/1007.1389[{example}, {definition}, {lemma}, \mathds, {theorem}, {corollary}]; 1 missing file[romp.sty].
1782013-04-12 15:41:14/1007/1007.1267[\opt, {lemma}, {algorithm}, {theorem}, \Comment, {algorithmic}, \theappendix, \If, \For, \subfloat, \Require, \EndIf, \EndFor, \Else, \thetheorem, {definition}, {AMS}, \State, {corollary}, {proof}]; 1 missing file[optional.sty].
1792013-04-12 14:40:13/1007/1007.0234[{definition}, \includegraphics, {prop}, {theorem}, \mespn, \color, \thetheorem].
1802013-04-12 14:15:45/1006/1006.5748[{example}, {definition}, \cortext, \subref, {remark}, \linenumbers, \newdefinition].
1812013-04-12 13:23:54/1006/1006.4895[{definition}, {lemma}, {theorem}, {corollary}, {proof}]; 2 missing files[ragged2e.sty, ima.cls].
1822013-04-12 12:46:28/1006/1006.4234[{definition}, {theorem}, {corollary}, {proof}].
1832013-04-12 12:33:53/1006/1006.3989[\save, \newproof, \xymatrix, \xy, {definition}, \endxy, \POS, Align, \restore, \dir, {proof}, \ket, \ar, \newdefinition]; 1 missing file[xy.sty].
1842013-04-12 12:05:59/1006/1006.3514[\conferenceinfo, \alignauthor, \crdata, \email, \mathds, \affaddr, \numberofauthors, \titlenote, \terms, \qed, \keywords, {definition}, \CopyrightYear, \category, \newdef, {proof}].
1852013-04-12 12:03:51/1006/1006.3498[\conferenceinfo, \alignauthor, \email, \ttlit, \affaddr, \secit, \titlenote, \numberofauthors, \terms, \keywords, \subtitle, {definition}, \additionalauthors, \category, \subsecit, {proof}, \newdef].
1862013-04-12 11:44:29/1006/1006.3103[\catchline, {theorem}, \arrow, \address, \email, {history}, \bfig, {remark}, \node, {proposition}, \received, \ccode, \keywords, \nicefrac, {definition}, \efig, {corollary}, \Loop, \revised, {proof}, {assumption}]; 2 missing files[xy.sty, ws-rmp.cls].
1872013-04-12 11:02:52/1006/1006.2439[{definition}, \endAMSMOS, \AMSMOS, {keywords}, {theorem}, {remark}]; 1 missing file[ima.cls].
1882013-04-12 09:00:24/1111/1111.7262[{lemma}, {theorem}, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {remark}, \AuthorNameForHeading, \URLaddress, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {definition}, \Email, {corol
1892013-04-12 08:53:41/1111/1111.7143[{definition}, {theorem}, {corollary}, {AMS}, {proof}, {proposition}].
1902013-04-12 08:03:12/1111/1111.6128[{lemma}, {theorem}, \thetheorem, {definition}, {AMS}, {proof}, {proposition}, \diag].
1912013-04-12 07:54:53/1111/1111.5979[{definition}, \affil, {lemma}, {theorem}, {corollary}, \titlerunning, {proof}, \authorrunning]; 1 missing file[lipics.cls].
1922013-04-12 07:30:21/1111/1111.5467[{lemma}, {theorem}, \cir, \xymatrix, \xy, \endxy, \POS, {definition}, {example}, Align, {corollary}, {remark}, {proof}, \ar, {proposition}]; 1 missing file[xy.sty].
1932013-04-12 07:15:28/1111/1111.5167[{lemma}, {theorem}, {definition}, {AMS}, {corollary}, {proof}, {proposition}, \diag].
1942013-04-12 06:10:24/1111/1111.3975[{Theorem}, \con, \implies, \Int, \substack, \text, {align*}, \mathbb, {Lemma}, {lstlisting}, \subsets, {Definition}, {Proof}, \set, Align, \NN]; 1 missing file[todonotes.sty].
1952013-04-12 06:05:20/1111/1111.3781[{keywords}, \firstpageno, \citep, \jmlrheading, \name, \ShortHeadings, \includegraphics, {definition}, \email, \addr, \citet, {proof}]; 1 missing file[jmlr2e.sty].
1962013-04-12 05:55:22/1111/1111.3663[{algorithm}, {tabularx}, \short, {example}, \If, \href, \lElse, \mathbb, \ForEach, \Else, \oneauthor, {procedure}, \includegraphics, {definition}, Align, \UpdateSums, \tcp, \lIf]; 2 missing files[acta-info.sty, ltablex.sty].
1972013-04-12 05:35:09/1111/1111.3297[\eqref, {lemma}, {theorem}, \mathbb, \mod, \includegraphics, \short, {definition}, Align, \href, {corollary}, \twoauthors, \url, {align}, \text, {proof}]; 1 missing file[acta-info.sty].
1982013-04-12 04:47:53/1111/1111.2386[{lemma}, {theorem}, \thetheorem, {definition}, {AMS}, {corollary}, {proof}, {proposition}].
1992013-04-12 04:12:54/1111/1111.1750[{lemma}, {theorem}, \pCRCW, \vareps, \eqdef, {fact}, {comment}, \Z, \onef, \tr, \ts, \thetheorem, \R, {definition}, \polylog, \otilde, \expct, {corollary}, {proof}, \norm, \prob]; 4 missing files[textpos.sty, fix-cm.sty, ktmath.sty, microtype.sty].
2002013-04-12 03:52:56/1111/1111.1422[{lemma}, {theorem}, \firstpageno, \citep, \editor, \jmlrheading, \name, \ShortHeadings, {definition}, \email, {corollary}, \addr, \citet, {proof}]; 1 missing file[journal.sty].
>>>

[0] [200] [400] [600] [800] [1000]
 
  The service has been written by
Heinrich Stamerjohanns