arxmliv
arxmliv build tool
 
KWARC group
LaTeXML
About
   
 

Current statistics of make process

Back to Homepage

Files that use macro {theorem}

No.DateMacroErrmsg
12013-04-16 01:27:19/1206/1206.6927[{lemma}, {theorem}, \affiliation, \vq, \mR, \sS, \address, \toP, \mM, \corref, \sN, \abs, \vd, \sP, \kwd, \vhg, \mC, \vc, \snm, \mX, \vhh, \endlocaldefs, {aug}, \runauthor, \mN, \FloatBarrier, \sQ, \reals, {frontmatter}, \vp, \norm, \sM, \startlocaldefs,
22013-04-16 01:08:55/1206/1206.6173[{lemma}, {theorem}, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {example}, {remark}, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, \Email, \Keywords].
32013-04-16 00:58:42/1206/1206.6360[\smiley, \includegraphics, \medcirc, {theorem}, \text]; 1 missing file[Tillpack.sty].
42013-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].
52013-04-16 00:50:51/1206/1206.6006[{definition}, {theorem}, \runauthor, \NN, {frontmatter}, \FF, {keyword}, \Logo]; 1 missing file[CGC2.cls].
62013-04-16 00:44:13/1206/1206.5915[{lemma}, {theorem}, \sameauthor, {proof}, {Definition}]; 1 missing file[ltexpprt.sty].
72013-04-16 00:41:16/1206/1206.5860[{theorem}, {overpic}, {AMS}, {proof}, {framed}]; 1 missing file[framed.sty].
82013-04-16 00:35:38/1206/1206.5782[{lemma}, {theorem}, \centerfigcaptionstrue, \bw, {remark}, {proof}, \diag]; 2 missing files[IEEEtran.cls, nomencl.sty].
92013-04-16 00:17:03/1206/1206.5446[{lemma}, {theorem}, {corollary}, {remark}, \tref, \pref]; 1 missing file[reference.sty].
102013-04-15 23:52:25/1206/1206.5033[{lemma}, {theorem}, \midrule, \color, \thetheorem, {definition}, {proof}, \toprule, \bottomrule].
112013-04-15 22:42:15/1206/1206.3706[\naput, {definition}, {lemma}, {keywords}, {theorem}, \nbput, {proof}, \thetheorem]; 1 missing file[siamltex704.cls].
122013-04-15 22:39:38/1206/1206.3649[{lemma}, \keyphrases, {theorem}, {corollary}, \AMclass, {proof}, \thetheorem]; 1 missing file[sw20siam.sty].
132013-04-15 22:36:25/1206/1206.3632[{lemma}, \pgfuseimage, {theorem}, {corollary}, \color, {proof}, \pgfdeclareimage]; 2 missing files[type1cm.sty, pgf.sty].
142013-04-15 22:03:44/1206/1206.3018[\subfloat, {theorem}].
152013-04-15 22:02:25/1206/1206.3005[{theorem}, \URLaddressD, \EmailD, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {example}, {remark}, \AuthorNameForHeading, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {corollary}, \Keywords].
162013-04-15 21:54:06/1206/1206.2847[{definition}, \mathds, {theorem}, {remark}, {proof}, \rrbracket, {proposition}, \llbracket]; 2 missing files[commath.sty, pslatex.sty].
172013-04-15 21:47:03/1206/1206.2686[{lemma}, {theorem}, {AMS}, \endproof, {proof}].
182013-04-15 21:37:22/1206/1206.2568[\xspace, \rank, {theorem}, \angles, \mathbb, \codim, \wt, {definition}, \set, \DeclareMathOperator, {corollary}, {proof}, \text, \diff, {proposition}, \supp].
192013-04-15 21:05:19/1206/1206.1982[{cor}, {lemma}, {theorem}, {conj}, \R, \subfloat, \Z, \subref, {proof}]; 2 missing files[patmorin.cls, pat.sty].
202013-04-15 21:04:13/1206/1206.1973[\nicefrac, {lemma}, {theorem}, {AMS}, {proof}]; 1 missing file[breakurl.sty].
212013-04-15 20:39:51/1206/1206.1506[\rank, {lemma}, {theorem}, {corollary}, {AMS}, \thetheorem, {proof}, \diag].
222013-04-15 20:33:46/1206/1206.1369[{lemma}, {theorem}, {corollary}, {AMS}, \thetheorem, {proof}, {proposition}].
232013-04-15 20:27:34/1206/1206.1278[{theorem}, {AMS}, {proof}].
242013-04-15 20:25:43/1206/1206.1275[{lemma}, {keywords}, {theorem}, \citep, \jmlrheading, \name, \For, \email, \acks, {remark}, \DontPrintSemicolon, {algorithm2e}, \firstpageno, \editor, \ShortHeadings, {corollary}, \LinesNumberedHidden, \addr, {proof}]; 1 missing file[jmlr2e.sty].
252013-04-15 20:09:10/1206/1206.0994[\affil, \acmNumber, {lemma}, {algorithm}, {theorem}, \SetAlFnt, {acks}, {bottomstuff}, \acmYear, {example}, \acmArticle, \SetAlCapHSkip, \acmMonth, \received, \SetAlCapNameFnt, \acmformat, \acmVolume, \citeNP, \qed, \tbl, \terms, \IncMargin, \keywords, {
262013-04-15 20:06:42/1206/1206.0963[{lemma}, {theorem}, {corollary}, {AMS}, {proof}].
272013-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
282013-04-15 19:28:19/1206/1206.0244[{Theorem}, {Corollary}, \mathds, \IEEEoverridecommandlockouts, \ifCLASSOPTIONcaptionsoff, \appendices, {Proposition}, {IEEEkeywords}, \IEEEmembership, \newtheorem, {proof}, \ifCLASSINFOpdf]; 1 missing file[IEEEtran.cls].
292013-04-15 19:23:39/1206/1206.0150[\at, {lemma}, {algorithm}, {theorem}, \Until, \Comment, \ElsIf, {algorithmic}, \EndLoop, \algrenewcommand, \Repeat, \If, \For, \authorrunning, {acknowledgements}, \EndIf, \algorithmicloop, {proposition}, \EndFor, \Else, \institute, \qed, \journalname, \k
302013-04-15 18:04:45/1205/1205.5920[{lemma}, {theorem}, \subfloat, {AMS}, \endproof, {proof}]; 1 missing file[parskip.sty].
312013-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
322013-04-15 17:29:33/1205/1205.5345[{definition}, {keywords}, {theorem}, {corollary}, {AMS}, \psfrag, {proof}, {proposition}]; 1 missing file[cmslatex.cls].
332013-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
342013-04-15 17:17:13/1205/1205.5083[{lemma}, \ShortAuthors, {theorem}, \ThirdAuthor, \MSCcodes, \startpagenumber, \ThirdAuthorURL, \volume, \ThirdAuthorAddress, \firstpage, \SecondAuthorEmail, \received, Align, \issue, \revised, \SecondAuthorURL, \FirstAuthorAddress, \ThirdAuthorEmail, \DO
352013-04-15 17:16:04/1205/1205.5148[{definition}, {theorem}, {AMS}, {proof}].
362013-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].
372013-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,
382013-04-15 16:40:49/1205/1205.4510[{lemma}, \mathds, {theorem}, \var, \ams, \authorone, \addressone, \emailone, \authornames, \shorttitle, \acks, {corollary}, {remark}].
392013-04-15 15:43:17/1205/1205.3553[{lemma}, {theorem}, \EmailD, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {remark}, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, \Keywords].
402013-04-15 15:13:30/1205/1205.3071[\subfloat, {theorem}, {corollary}, {AMS}, {proof}, \thetheorem].
412013-04-15 14:56:09/1205/1205.2750[{lemma}, {theorem}, \endproof, \slugger, \URL, {AMS}, {corollary}, \psfrag, {proof}, {PII}].
422013-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
432013-04-15 14:39:42/1205/1205.2437[{definition}, {lemma}, \subfloat, {theorem}, {proof}, {proposition}].
442013-04-15 14:31:08/1205/1205.2304[{definition}, {lemma}, {theorem}, {proof}, {assumption}]; 2 missing files[artmods.sty, macros.sty].
452013-04-15 14:15:05/1205/1205.2048[{cor}, {lemma}, {theorem}, {proof}]; 1 missing file[cccg12.cls].
462013-04-15 14:02:08/1205/1205.1823[{definition}, {theorem}, {AMS}, \thetheorem, {proof}, {proposition}].
472013-04-15 13:36:57/1205/1205.1417[{lemma}, {keywords}, {theorem}, \mathbb, \firstpageno, \lesssim, \editor, \name, \ShortHeadings, \email, \addr, \citet, {proof}]; 1 missing file[jmlr2e.sty].
482013-04-15 13:36:17/1205/1205.1366[{definition}, {lemma}, {theorem}, \endproof, {proof}, \thetheorem, \geometry].
492013-04-15 13:16:50/1205/1205.1123[{lemma}, \Real, {Remark}, {theorem}, {corollary}, \eps, \bydef, \name]; 1 missing file[adde.sty].
502013-04-15 13:04:38/1205/1205.0903[{lemma}, \subsetneq, {theorem}, \mathbb, \citealp, \qed, {openquestion}, \bare, \vcentcolon, {fact}, {corollary}, {claim}, {proof}, {proposition}]; 2 missing files[cc-cls.sty, mathtools.sty].
512013-04-15 13:04:10/1205/1205.0882[{definition}, {theorem}, {proposition}, \R].
522013-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].
532013-04-15 12:15:13/1205/1205.0036[\inject, \EndFunction, {lemma}, \nantcopt, {theorem}, {algorithm}, \compactthms, \simccntc, \If, \ifdef, \declaretheorem, \setitemize, \EndIf, \EndFor, \setdescription, \EndWhile, \Else, \dontnumberwithin, \shorconst, \Function, \State, {corollary}, \Flo
542013-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].
552013-04-15 11:01:24/1204/1204.5462[\ack, {theorem}, \institute]; 2 missing files[turing2012.cls, colordvi.sty].
562013-04-15 10:43:47/1204/1204.5156[{definition}, {lemma}, \iinfer, {theorem}, \Infer, \infer, {proof}]; 2 missing files[Common/prooftree.sty, Common/theorems.sty].
572013-04-15 10:38:41/1204/1204.5052[{lemma}, {theorem}, {algorithm}, \For, \If, {corollary}, {AMS}, \tcc, \lIf, {proof}, \DontPrintSemicolon].
582013-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].
592013-04-15 09:20:38/1204/1204.3705[{lemma}, {theorem}, {remark}, {proposition}]; 1 missing file[environments.sty].
602013-04-15 09:13:58/1204/1204.3536[{lemma}, {theorem}, {AMS}, {proof}, {proposition}].
612013-04-15 08:40:36/1204/1204.2942[{definition}, {lemma}, {theorem}, {proof}].
622013-04-15 08:39:21/1204/1204.2928[{theorem}, \head, \kwams, {proof}]; 1 missing file[pliska.sty].
632013-04-15 08:33:52/1204/1204.2837[{lemma}, {theorem}, \alert, {Lemma}, {definition}, {columns}, {corollary}, \column, \frametitle, {proof}]; 1 missing file[multimedia.sty].
642013-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].
652013-04-15 08:19:26/1204/1204.2618[{definition}, \restatejoincut, {theorem}, {corollary}, {remark}, {restatable}, \declaretheorem]; 1 missing file[thmtools.sty].
662013-04-15 08:01:26/1204/1204.2288[{theorem}, {AMS}, {proof}, {proposition}].
672013-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].
682013-04-15 06:56:30/1204/1204.1220[\rank, {lemma}, {theorem}, {remunerate}, {definition}, \subfloat, {corollary}, {AMS}, {proof}, \diag, {proposition}].
692013-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,
702013-04-15 06:51:33/1204/1204.1095[{definition}, {lemma}, {theorem}, {corollary}, {proof}, {proposition}].
712013-04-15 06:33:42/1204/1204.0813[{acknowledgments}, \affil, \copyrightyear, {lemma}, {theorem}, \issuenumber, \contributor, {article}, \issuedate, \keywords, \volume, \theappendix, {corollary}]; 1 missing file[pnastwo.cls].
722013-04-15 06:12:53/1204/1204.0503[{lemma}, {prop}, {theorem}, \mathbb, \newtheoremWithMacro, \filcenter, \titleformat, \liftprop]; 2 missing files[theomac.sty, mathdesign.sty].
732013-04-15 05:37:47/1203/1203.6675[\RUNAUTHOR, {theorem}, \RUNTITLE, {example}, \bookmarksetup, \argmax, {APPENDICES}, \TheoremsNumberedThrough, {proposition}, Align, {corollary}, \AFF, {assumption}, \AUTHOR, \KEYWORDS, \eqref, \EquationsNumberedThrough, \pdfbookmark, \Halmos, \TITLE, {re
742013-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].
752013-04-15 05:34:23/1203/1203.6610[\affil, \acmNumber, {lemma}, {theorem}, \SetAlFnt, {bottomstuff}, \acmYear, {example}, \acmArticle, \SetAlCapHSkip, \acmMonth, \received, {proposition}, \SetAlCapNameFnt, \acmformat, \acmVolume, \terms, \IncMargin, \keywords, {corollary}, \category, \new
762013-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].
772013-04-15 05:22:27/1201/1201.0101[{lemma}, {theorem}, {proof}, \thetheorem, \diag]; 1 missing file[path.sty].
782013-04-15 05:16:11/1201/1201.6610[\co, \cscr, \nn, {lemma}, \fibrep, \leftmod, {theorem}, \adjunct, \scal, \ocal, \smashprod, \ext, \rightmod, \pcal, \ch, {proposition}, \bcal, \underhom, {ex}, \xymatrix, Align, \reverseadjunct, \dcal, \ecal, {corollary}, \ho, \h, \gcal, \bignplus, \ical
792013-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].
802013-04-15 04:53:15/1203/1203.0292[{definition}, {lemma}, {theorem}, {corollary}, {AMS}, {proof}, {proposition}, \pdfinclusioncopyfonts].
812013-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].
822013-04-15 04:27:38/1203/1203.0692[\mathds, {theorem}, \geqslant, \leqslant, \rrbracket, {definition}, {example}, {remark}, {proof}, \llbracket, {proposition}]; 1 missing file[commath.sty].
832013-04-15 04:22:57/1203/1203.0772[{prop}, \mathbb, {theorem}, \newtheoremWithMacro, \filcenter, \maxwelllaman, \titleformat, \rossbyadding, \stateoftheart, \schulzecthree, \fixlatticemt, {question}, \fixedlatticetheorem, \rtimes, \conelift]; 2 missing files[theomac.sty, mathdesign.sty].
842013-04-15 03:34:15/1203/1203.1493[{theorem}, {AMS}, \Appendix, \endproof].
852013-04-15 02:49:47/1203/1203.2276[{lemma}, {prop}, \linkeddirectionnetworks, {theorem}, \mathbb, \newtheoremWithMacro, \filcenter, \reflectionlaman, \titleformat, \xyzzy]; 2 missing files[theomac.sty, mathdesign.sty].
862013-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].
872013-04-15 02:15:11/1203/1203.2899[{lemma}, {keywords}, \overset, {theorem}, \subfigure, \citep, \iint, \appendices, \theappendix, \iiint, {remark}, \botrule, \notag, \toprule, {align}, \mathbb, \dddot, {classcode}, \resizebox, \tbl, \includegraphics, \colrule, \iiiint, Align, \boldsymbol
882013-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].
892013-04-15 01:32:26/1203/1203.3668[{lemma}, {theorem}, {AMS}, {proof}, \thetheorem].
902013-04-15 01:21:31/1203/1203.3821[{definition}, {lemma}, {theorem}, {corollary}, {AMS}, {proof}].
912013-04-15 01:15:56/1203/1203.3953[{lemma}, {theorem}, {AMS}, {proof}, \thetheorem, {proposition}].
922013-04-15 01:05:27/1203/1203.4121[{lemma}, {theorem}, \subfloat, {corollary}, {remark}, {proposition}]; 4 missing files[mathtools.sty, esint.sty, environments.sty, floatrow.sty].
932013-04-15 01:05:17/1203/1203.4116[{example}, \affil, {lemma}, {theorem}, {remark}, {references}, {proof}, {article}, \authorrunninghead, \titlerunninghead]; 2 missing files[smjour.cls, nummeth.sty].
942013-04-15 00:09:56/1203/1203.5022[\Mc, {lemma}, {theorem}, \Ms, \se, \ce, \R, {AMS}, \ve, {proof}].
952013-04-14 23:43:20/1203/1203.5480[\third, {theorem}, \second, \first, {example}, {definition}, \andsecond, {corollary}, {remark}]; 1 missing file[bullclass.sty].
962013-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].
972013-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].
982013-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].
992013-04-14 22:22:07/1202/1202.6412[\KEYWORDS, \AUTHOR, {lemma}, \RUNAUTHOR, {theorem}, \RUNTITLE, \EquationsNumberedThrough, {example}, \TITLE, {remark}, \TheoremsNumberedThrough, \ARTICLEAUTHORS, {proposition}, \ECRepeatTheorems, \ABSTRACT, \endproof, \proof, \includegraphics, {definitio
1002013-04-14 21:47:11/1202/1202.5923[{lemma}, {theorem}, \xymatrix, {definition}, Align, {AMS}, {corollary}, {proof}, {proposition}, \ar]; 1 missing file[xy.sty].
1012013-04-14 21:12:08/1202/1202.5298[{definition}, {lemma}, {theorem}, {corollary}, {AMS}, {proof}].
1022013-04-14 20:59:10/1202/1202.5103[{lemma}, \mathds, {theorem}, \mathbb, \qed, \runningtitle, \mathfrak, \address, \email, {corollary}, {remark}, {proof}, {proposition}]; 1 missing file[arxiv.cls].
1032013-04-14 20:48:55/1202/1202.4928[{theorem}, {AMS}, {proof}, \rrbracket, \thetheorem, \llbracket, {proposition}]; 3 missing files[pst-text.sty, pst-pdf.sty, pst-3d.sty].
1042013-04-14 20:37:22/1202/1202.4736[\bB, \bA, \bT, {lemma}, {theorem}, \bu, \bU, \bF, \bh, \bV, {remark}]; 1 missing file[IEEEtran.cls].
1052013-04-14 20:21:03/1202/1202.4473[{lemma}, {algorithm}, {theorem}, \Comment, {algorithmic}, \theappendix, \If, \For, {OneLiners}, {claim}, \xhdr, \EndIf, \mathds, \EndFor, \FULLPAGE, \OMIT, {corollary}, \State]; 2 missing files[Alex-setup.sty, natbibspacing.sty].
1062013-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].
1072013-04-14 19:58:30/1202/1202.4050[{Theorem}, \affil, \sansmath, {Corollary}, {Lemma}, \theoremstyle, \theoremsymbol, {Proof}, {Proposition}, \theoremheaderfont, \theorembodyfont, \renewtheorem, \theoremseparator]; 2 missing files[authblk.sty, sansmath.sty].
1082013-04-14 19:51:45/1202/1202.3970[{lemma}, {theorem}, {remark}, {proposition}]; 1 missing file[environments.sty].
1092013-04-14 19:47:23/1202/1202.3858[{lemma}, {theorem}, {corollary}, {remark}, {proposition}]; 1 missing file[environments.sty].
1102013-04-14 19:47:07/1202/1202.3839[{definition}, {lemma}, {theorem}, {proof}, {proposition}]; 1 missing file[esint.sty].
1112013-04-14 19:46:03/1202/1202.3878[{lemma}, {keywords}, {theorem}, \citep, \jmlrheading, \name, \email, \acks, {remark}, {proposition}, \firstpageno, \editor, \ShortHeadings, \includegraphics, {corollary}, \BlackBox, \addr, \citet, {proof}, \AND]; 1 missing file[jmlr2e.sty].
1122013-04-14 19:39:23/1202/1202.3655[{lemma}, {keywords}, {theorem}, {AMS}, {proof}]; 1 missing file[siamltex704.cls].
1132013-04-14 19:33:13/1202/1202.3541[{theorem}, \EmailD, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {definition}, \Keywords].
1142013-04-14 19:30:46/1202/1202.3500[{tikzpicture}, {theorem}, \fv, \bisim, \hmu, \path, \vartwo, \draw, \Pset, \scalebox, \node, \dual, \text, {proposition}, \simequiv, \var, \institute, \clone, \prop, \set, Align, \repl, \lts, \trans, \labels]; 3 missing files[hmodal.sty, eptcs.cls, break
1152013-04-14 19:20:59/1202/1202.3307[\affil, {lemma}, {keywords}, {theorem}, \nolinenumbers, \email, {proof}, {proposition}]; 1 missing file[biometrika.cls].
1162013-04-14 18:52:47/1202/1202.2891[\Div, {lemma}, \Kb, {theorem}, \eps, \Gl, {example}, \Z, \Pic, \bottomrule, \Gal, {proposition}, \Cbar, \midrule, \xymatrix, \isom, \Pro, \ok, Align, {corollary}, \im, \G, \car, \xygraph, \dv, \Nm, \Hp, \too, {remark}, \toprule, \kb, \ar, \Spec, \Hom, \Q
1172013-04-14 18:47:47/1202/1202.2831[{definition}, {lemma}, {theorem}, {proof}, {proposition}].
1182013-04-14 18:38:06/1202/1202.2683[\affil, {lemma}, \eqref, {keywords}, {theorem}, {example}, \DeclareMathOperator, \email, \operatorname, \argmax, \text, {proposition}, \binom, {align*}, Align, {corollary}, {proof}]; 1 missing file[biometrika.cls].
1192013-04-14 18:36:55/1202/1202.2654[\algbegin, {lemma}, {theorem}, {algorithm}, \alglabel, \argmin, \algname, \bbR, {algtab}, \algend]; 2 missing files[smpl-math.sty, datetime.sty].
1202013-04-14 17:53:16/1202/1202.1811[{keywords}, {theorem}, \doi, \jvol, {classcode}, \issn, \appendices, \jyear, \mathfrak, \jmonth, \jnum, \issnp, \received]; 1 missing file[gITR2e.cls].
1212013-04-14 17:36:25/1202/1202.1479[{lemma}, {theorem}, {AMS}, {proof}].
1222013-04-14 17:29:42/1202/1202.1309[{lemma}, {tikzpicture}, {theorem}, \Cup, \tikzstyle, {wrapfigure}, \path, \mathfrak, {example}, \zkeywords, \BehindSubString, \cbstart, \zsubjclass, \ztitle, \cbend, \mathbb, \lneqq, {corollary}, \varnothing, \BeforeSubString, \zurl, \zemail, \zauthor, \
1232013-04-14 17:28:22/1202/1202.1347[{definition}, \iddots, {lemma}, \subfloat, {theorem}, {AMS}, {proof}].
1242013-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
1252013-04-14 16:49:51/1202/1202.0677[\authortwo, {theorem}, \ams, \addressthree, \authorone, \addressone, \authornames, \shorttitle, \addresstwo, \authorthree]; 1 missing file[xy.sty].
1262013-04-14 15:59:00/1201/1201.0414[{lemma}, {theorem}, \qed, \keywords, {example}, {definition}, {history}, {remark}, \revised, \received, {proposition}].
1272013-04-14 15:30:58/1201/1201.0901[{algorithm}, {theorem}, {algorithm*}, \SetKwInOut, \While, \For, \Output, \KwTo, \BlankLine, \Input, \DontPrintSemicolon]; 1 missing file[ltexpprt.sty].
1282013-04-14 15:22:11/1201/1201.1064[{theorem}, {AMS}].
1292013-04-14 15:04:44/1201/1201.1199[\PP, {theorem}, \RR, \thetheorem, \keywords, \address, \NN, \addressmark, \AMS, \EE, {proof}]; 1 missing file[MyStyle.cls].
1302013-04-14 14:08:00/1201/1201.2097[\square, \includegraphics, {lemma}, {theorem}, {proof}]; 1 missing file[eurocg12.cls].
1312013-04-14 14:04:25/1201/1201.2162[\affil, \eqref, \abbrevauthor, {theorem}, \mathbb, \qedsymbol, \tfrac, {example}, \address, \shorttitle, \correspdetails, {corollary}, \headabbrevauthor, {multline*}, \affilnum]; 1 missing file[oupau-ppn.cls].
1322013-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,
1332013-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
1342013-04-14 13:09:46/1201/1201.3148[\ZTIME, \rmP, {lemma}, {theorem}, \rmNP, \bbR, \size, \proj, \DTIME, \bbQ, {assumption}]; 2 missing files[smpl-math.sty, datetime.sty].
1352013-04-14 12:44:09/0912/0912.5468[{lemma}, {theorem}, \firstpageno, \keywords, \includegraphics, \DeclareMathOperator, \dgr, \address, \email, \subjclass, {corollary}, {proof}, \stacsheading, {observation}]; 1 missing file[stacs.cls].
1362013-04-14 12:41:43/0912/0912.5403[{theorem}, \EmailD, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {remark}, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, \Keywords].
1372013-04-14 12:29:49/0912/0912.5190[{lemma}, {theorem}, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {example}, {remark}, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, \Email, {corollary}, \Keywords
1382013-04-14 12:29:23/0912/0912.5182[{lemma}, {theorem}, {proof}, \etal]; 1 missing file[sariel.sty].
1392013-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].
1402013-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
1412013-04-14 11:50:31/0912/0912.4571[\rank, {lemma}, {theorem}, \eIf, \endproof, \thetheorem, \linesnumberedhidden, {definition}, \If, \dontprintsemicolon, \For, {corollary}, {AMS}, {proof}, {algorithm2e}].
1422013-04-14 11:50:11/0912/0912.4570[{lemma}, {theorem}, \thetheorem, {definition}, \linesnumberedhidden, \For, \dontprintsemicolon, {AMS}, {proof}, {algorithm2e}].
1432013-04-14 11:48:56/0912/0912.4569[{lemma}, {theorem}, \firstpageno, \keywords, \address, \email, \subjclass, \stacsheading]; 1 missing file[stacs.cls].
1442013-04-14 11:46:42/0912/0912.4529[{definition}, {theorem}, {corollary}, {AMS}, {proof}].
1452013-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].
1462013-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].
1472013-04-14 11:21:25/0912/0912.4117[{lemma}, {theorem}, \drawedge, \address, \email, \subjclass, \url, \node, {proposition}, \NP, \firstpageno, \theoremstyle, \BH, \drawloop, \qed, \keywords, \gasset, \stacsheading, {proof}, \W]; 2 missing files[stacs.cls, complexity.sty].
1482013-04-14 11:06:28/0912/0912.3802[{lemma}, {theorem}, \firstpageno, \qed, \keywords, \proof, \address, \email, \stacsheading, {defi}]; 2 missing files[pst-tree.sty, stacs.cls].
1492013-04-14 11:05:54/0912/0912.3757[{lemma}, {theorem}, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, \AuthorNameForHeading, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {definition}, \Email, \Keywords].
1502013-04-14 10:55:05/0912/0912.3604[\FirstAuthorAddress, \ShortAuthors, {theorem}, \MSCcodes, \startpagenumber, \volume, \uuline, \ShortTitle, \pubmonth, \DOI, \pages, {numcases}, {remark}, \firstpage, \SecondAuthorEmail, \SecondAuthorAddress, \received, \pubyear, \FirstAuthorURL, \SecondA
1512013-04-14 10:46:15/0912/0912.3429[{lemma}, {theorem}, \firstpageno, \keywords, {definition}, \address, \email, \subjclass, {proof}, \stacsheading, {proposition}]; 1 missing file[stacs.cls].
1522013-04-14 10:39:44/0912/0912.3309[{lemma}, {theorem}, {corollary}, {proof}]; 1 missing file[colt10e.sty].
1532013-04-14 10:38:38/0912/0912.3297[\theappendix, {definition}, {lemma}, {theorem}, {corollary}, {proof}].
1542013-04-14 10:32:25/0912/0912.3188[{lemma}, \address, {theorem}, \email, \firstpageno, \stacsheading, \keywords]; 1 missing file[stacs.cls].
1552013-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].
1562013-04-14 09:54:01/0912/0912.2561[{lemma}, {theorem}, \firstpageno, \keywords, {definition}, \address, \email, \stacsheading, {proof}]; 1 missing file[stacs.cls].
1572013-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
1582013-04-14 09:22:47/0912/0912.2012[\firstname, {lemma}, {theorem}, \keywords, \equalenv, \address, \email, \subjclass, {corollary}, \middlename, \lastname, {proof}, {proposition}]; 1 missing file[cedram-aif.cls].
1592013-04-14 09:17:43/0912/0912.1934[{lemma}, {theorem}, \firstpageno, \keywords, \address, \email, \subjclass, \url, {proof}, \stacsheading]; 1 missing file[stacs.cls].
1602013-04-14 09:03:17/0912/0912.1673[{theorem}, {AMS}, {proof}]; 1 missing file[mathtext.sty].
1612013-04-14 09:02:51/0912/0912.1660[{lemma}, {theorem}, {AMS}, {proof}, {proposition}]; 1 missing file[mathtext.sty].
1622013-04-14 09:02:46/0912/0912.1664[{theorem}, {corollary}, {AMS}, {proof}, {proposition}].
1632013-04-14 08:49:55/0912/0912.1443[{lemma}, {theorem}, {AMS}, {proof}, \thetheorem].
1642013-04-14 08:41:29/0912/0912.1329[{definition}, \theappendix, {lemma}, {theorem}, {proof}]; 1 missing file[ltexpprt.sty].
1652013-04-14 08:38:46/0912/0912.1297[{lemma}, {theorem}, {AMS}, \midrule, \toprule, {proof}, \bottomrule].
1662013-04-14 08:33:22/0912/0912.1185[\theappendix, {theorem}, {AMS}, {proof}].
1672013-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
1682013-04-14 08:00:37/0912/0912.0577[\at, {lemma}, {theorem}, \institute, \keywords, \journalname, {example}, \smartqed, \email, {corollary}, {remark}, {proof}]; 1 missing file[svjour3r.cls].
1692013-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].
1702013-04-14 06:27:15/0911/0911.4772[{lemma}, {theorem}, {proof}].
1712013-04-14 06:01:54/0911/0911.4384[\ptolemaic, \vy, {tikzpicture}, {theorem}, {tabularx}, \addplot, \path, \U, \Z, {axis}, \hi, \bottomrule, \sect, \midrule, \tnote, Align, \vz, \norm, \lo, \legend, {inparaenum}, \subfigure, \inner, \draw, \E, {align}, \toprule, {tablenotes}, \A, \interte
1722013-04-14 05:50:42/0911/0911.4165[{cor}, \authortwo, {prop}, {theorem}, \authorone, \addressone, \authornames, \shorttitle, \citeN, \addresstwo, {thm}, {lem}, {defn}].
1732013-04-14 05:18:46/0911/0911.3674[{definition}, {lemma}, {theorem}, {corollary}, {AMS}, {proof}, {proposition}].
1742013-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].
1752013-04-14 04:54:05/0911/0911.3307[{theorem}, \Month, \DOIsuffix, \subjclass, {remark}, \Year, {lem}, {defn}, {cor}, {prop}, \Reviseddate, \Receiveddate, \Volume, \keywords, \pagespan, \Dateposted, \Accepteddate].
1762013-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
1772013-04-14 04:42:04/0911/0911.3129[\mathds, {theorem}].
1782013-04-14 04:25:37/0911/0911.2895[{theorem}, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, \AuthorNameForHeading, \dashline, {proposition}, \EmailDD, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, \Keywords].
1792013-04-14 04:21:10/0911/0911.2785[{keywords}, {theorem}, \accepted, \pagerange, \revised, \submitted]; 2 missing files[tlp.cls, aopmath.sty].
1802013-04-14 04:14:01/0911/0911.2684[{lemma}, {theorem}, \URLaddressD, \EmailD, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, \AuthorNameForHeading, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, \Keywords].
1812013-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
1822013-04-14 04:09:51/0911/0911.2579[{lemma}, {theorem}, \EmailD, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, \AuthorNameForHeading, {proposition}, \ar, \CompileMatrices, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \xymatrix, \Author, {definit
1832013-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].
1842013-04-14 03:03:29/0911/0911.1393[\affil, \acmNumber, {lemma}, {theorem}, {tabnote}, \SetAlFnt, \rrbracket, {example}, \acmArticle, {conjecture}, \SetAlCapHSkip, \acmMonth, \citeauthoryear, \acmformat, \acmVolume, \keywords, \Note, {corollary}, \SetAlCapFnt, \acmYear, {bottomstuff}, {ack
1852013-04-14 02:46:13/0911/0911.1054[\Qbf, \Dbf, \Real, {keywords}, {theorem}, \cubr, \Ucal, \Zbb, \ybf, \pbf, \sbf, \sqbr, \Hbf, \Ccal, \tendsto, \nbf, \abs, \authorblockA, \Hcal, \Pbf, \xbf, {corollary}, \Ncal, \abf, \br, \Var, \qbf, \Wbf, \Cbb, \Ibf, \gbf, \hbf, \eg, \ah, \defas, \Lambda
1862013-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
1872013-04-14 02:24:15/0911/0911.0671[{lemma}, {theorem}, {remark}, {proposition}]; 1 missing file[environments.sty].
1882013-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
1892013-04-14 02:00:19/0911/0911.0232[{lemma}, {theorem}, \xymatrix, \thetheorem, {definition}, Align, {corollary}, {AMS}, {proof}, {proposition}, \ar]; 1 missing file[xy.sty].
1902013-04-14 01:52:36/0911/0911.0113[{keywords}, {theorem}, \mathbb, \doi, \jvol, {classcode}, \issn, \tbl, \jyear, \colrule, \jmonth, \jnum, \issnp, \received]; 1 missing file[gSSR2e.cls].
1912013-04-14 01:11:26/1012/1012.5445[\short, {theorem}, {problem}, {proof}, \oneauthor]; 1 missing file[acta-m.sty].
1922013-04-14 01:11:04/1012/1012.5447[{lemma}, {theorem}, {split}, \short, Align, \twoauthors, {corollary}, {proof}]; 1 missing file[acta-m.sty].
1932013-04-14 01:03:19/1012/1012.5256[{lemma}, {theorem}, \midrule, \addlinespace, \institute, \subtitle, {example}, \email, {corollary}, \tmark, {remark}, {proof}, {acknowledgement}, {proposition}]; 3 missing files[ctable.sty, colordvi.sty, mystyle.cls].
1942013-04-14 00:05:33/1012/1012.4290[{Theorem}, \EndProcedure, \Until, \Comment, {algorithmic}, \Repeat, \If, \EndIf, \Procedure, {Lemma}, {Example}, \EndWhile, \Else, \While, {Proposition}, {Remark}, \vref, \State, \Return, \defeq, {proof}].
1952013-04-13 23:59:15/1012/1012.4210[\short, {lemma}, {theorem}, {corollary}, {proof}, \oneauthor]; 1 missing file[acta-m.sty].
1962013-04-13 23:47:20/1012/1012.4051[{theorem}, \midrule, \toprule, \bottomrule]; 6 missing files[ctable.sty, colt09e.sty, extramarks.sty, lastpage.sty, chngpage.sty, soul.sty].
1972013-04-13 23:34:15/1012/1012.3835[{lemma}, {theorem}, \endproof, \thetheorem, {definition}, {AMS}, {corollary}, {proof}].
1982013-04-13 23:22:15/1012/1012.3646[{lemma}, {theorem}, \sameauthor, {definition}, {AMS}, {corollary}, {proof}, {proposition}].
1992013-04-13 22:38:37/1012/1012.2933[{lemma}, {theorem}, \bsep, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {remark}, \AuthorNameForHeading, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \tsep, \Address, \Author, \Email, {corollary}, \Keywords].
2002013-04-13 21:18:51/1012/1012.1367[{lemma}, {keywords}, {theorem}, {algorithm}, \citep, \jmlrheading, \name, \For, \email, \acks, \psfrag, \firstpageno, \KwOut, \editor, \citealp, \ShortHeadings, \citealt, \includegraphics, \nicefrac, \addr, \citet, {proof}]; 1 missing file[jmlr2e.sty].
>>>

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