arxmliv
arxmliv build tool
 
KWARC group
LaTeXML
About
   
 

Current statistics of make process

Back to Homepage

Files that use macro {proof}

No.DateMacroErrmsg
12013-04-16 01:27:07/1206/1206.6811[{keywords}, \IEEEauthorblockN, {proof}]; 1 missing file[IEEEtran.cls].
22013-04-16 01:13:24/1206/1206.6145[\IEEEauthorblockN, {proof}]; 1 missing file[IEEEtran.cls].
32013-04-16 01:01:59/1206/1206.6304[{IEEEkeywords}, {proof}]; 1 missing file[IEEEtran.cls].
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:49:22/1206/1206.5987[\inst, \doi, \idline, \institute, {lmm}, \keywords, \email, \subjclass, \sep, \titlerunning, {proof}]; 1 missing file[mmnp.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:40:30/1206/1206.5863[{IEEEbiographynophoto}, {IEEEkeywords}, \IEEEPARstart, {proof}]; 2 missing files[mathcomp.sty, IEEEtran.cls].
92013-04-16 00:35:38/1206/1206.5782[{lemma}, {theorem}, \centerfigcaptionstrue, \bw, {remark}, {proof}, \diag]; 2 missing files[IEEEtran.cls, nomencl.sty].
102013-04-16 00:14:32/1206/1206.5436[\gf, \msf, {enumeratea}, \qedhere, \urladdr, \address, \Ji, \email, \subjclass, \uu, \Mi, \theoremstyle, \setm, \tbf, \ii, \keywords, \set, {enumeratei}, {proof}]; 1 missing file[newlattice.sty].
112013-04-16 00:12:07/1206/1206.5389[\IEEEauthorblockA, \IEEEauthorblockN, {proof}, \ifCLASSINFOpdf]; 2 missing files[stfloats.sty, IEEEtran.cls].
122013-04-15 23:58:45/1206/1206.5124[\subjclass, \theoremstyle, {proof}, \keywords]; 1 missing file[amc.cls].
132013-04-15 23:54:10/1206/1206.5054[{proof}]; 1 missing file[IEEEtran.cls].
142013-04-15 23:52:25/1206/1206.5033[{lemma}, {theorem}, \midrule, \color, \thetheorem, {definition}, {proof}, \toprule, \bottomrule].
152013-04-15 23:08:43/1206/1206.4175[Align, \mathbb, \operatorname, {split}, {proof}]; 2 missing files[flushend.sty, sig-alternate-10pt.cls].
162013-04-15 22:53:49/1206/1206.3897[{keywords}, \overrideIEEEmargins, \IEEEoverridecommandlockouts, {proof}]; 2 missing files[IEEEtran.cls, floatrow.sty].
172013-04-15 22:47:14/1206/1206.3804[{proof}]; 4 missing files[pst-tree.sty, pstricks-add.sty, IEEEtran.cls, mdwmath.sty].
182013-04-15 22:42:15/1206/1206.3706[\naput, {definition}, {lemma}, {keywords}, {theorem}, \nbput, {proof}, \thetheorem]; 1 missing file[siamltex704.cls].
192013-04-15 22:39:38/1206/1206.3649[{lemma}, \keyphrases, {theorem}, {corollary}, \AMclass, {proof}, \thetheorem]; 1 missing file[sw20siam.sty].
202013-04-15 22:36:25/1206/1206.3632[{lemma}, \pgfuseimage, {theorem}, {corollary}, \color, {proof}, \pgfdeclareimage]; 2 missing files[type1cm.sty, pgf.sty].
212013-04-15 22:09:22/1206/1206.3120[{proof}]; 1 missing file[IEEEtran.cls].
222013-04-15 22:08:13/1206/1206.3101[\sameauthor, {AMS}, {proof}].
232013-04-15 22:03:12/1206/1206.3014[\IEEEauthorblockA, \IEEEauthorblockN, {comment}, \IEEEoverridecommandlockouts, {proof}, \IEEEauthorrefmark]; 1 missing file[IEEEtran.cls].
242013-04-15 22:01:08/1206/1206.2974[{keywords}, {proof}]; 5 missing files[mathtools.sty, IEEEtran.cls, pictex.sty, esint.sty, etex.sty].
252013-04-15 21:57:32/1206/1206.2911[\sameaddress, \keywords, \secondaddress, \address, \email, \subjclass, \psfrag, {psfrags}, {proof}, {acknowledgement}]; 1 missing file[preprint.cls].
262013-04-15 21:54:06/1206/1206.2847[{definition}, \mathds, {theorem}, {remark}, {proof}, \rrbracket, {proposition}, \llbracket]; 2 missing files[commath.sty, pslatex.sty].
272013-04-15 21:50:50/1206/1206.2791[\includegraphics, \msc, \email, \institute, {proof}, {proposition}, \keywords, \articletype]; 1 missing file[cej.cls].
282013-04-15 21:47:03/1206/1206.2686[{lemma}, {theorem}, {AMS}, \endproof, {proof}].
292013-04-15 21:37:22/1206/1206.2568[\xspace, \rank, {theorem}, \angles, \mathbb, \codim, \wt, {definition}, \set, \DeclareMathOperator, {corollary}, {proof}, \text, \diff, {proposition}, \supp].
302013-04-15 21:32:53/1206/1206.2491[\authorblockN, \overrideIEEEmargins, \authorblockA, \IEEEoverridecommandlockouts, {proof}]; 1 missing file[IEEEtran.cls].
312013-04-15 21:20:12/1206/1206.2212[\address, \email, \theoremstyle, {proof}]; 1 missing file[roland-l.cls].
322013-04-15 21:13:35/1206/1206.2083[\address, \theoremstyle, {proof}]; 1 missing file[irmaems.cls].
332013-04-15 21:09:24/1206/1206.2081[\IEEEPARstart, \ifCLASSOPTIONcaptionsoff, {proof}, \ifCLASSINFOpdf]; 1 missing file[IEEEtran.cls].
342013-04-15 21:08:19/1206/1206.2057[{algorithm}, \affaddr, \Else, \numberofauthors, \alignauthor, \DeclareMathOperator, \For, \If, \email, \subfloat, \lElse, \Return, \argmax, {proof}, \lIf]; 2 missing files[flushend.sty, sig-alternate-tr.cls].
352013-04-15 21:05:19/1206/1206.1982[{cor}, {lemma}, {theorem}, {conj}, \R, \subfloat, \Z, \subref, {proof}]; 2 missing files[patmorin.cls, pat.sty].
362013-04-15 21:04:13/1206/1206.1973[\nicefrac, {lemma}, {theorem}, {AMS}, {proof}]; 1 missing file[breakurl.sty].
372013-04-15 21:02:26/1206/1206.1933[\DefineVerbatimEnvironment, {AMS}, \midrule, \color, \toprule, {proof}, \bottomrule]; 3 missing files[fancyvrb.sty, import.sty, todonotes.sty].
382013-04-15 20:54:03/1206/1206.1803[{obs}, {lemma}, {conj}, {proof}]; 1 missing file[cccg12.cls].
392013-04-15 20:51:07/1206/1206.1727[{aligned}, \msyear, \msvolume, \mspages, \address, \varprojlim, \shorttitle, \subjclass, \operatorname, \received, \UDC, \theoremstyle, \msnumber, Align, \ruabstract, \revised, {multline*}, {proof}, \enabstract]; 1 missing file[matstud.cls].
402013-04-15 20:39:51/1206/1206.1506[\rank, {lemma}, {theorem}, {corollary}, {AMS}, \thetheorem, {proof}, \diag].
412013-04-15 20:33:46/1206/1206.1369[{lemma}, {theorem}, {corollary}, {AMS}, \thetheorem, {proof}, {proposition}].
422013-04-15 20:32:16/1206/1206.1389[\IEEEauthorblockA, \IEEEauthorblockN, \appendices, \dateenglish, \extrasenglish, \IEEEauthorrefmark, {proof}, \captionsenglish]; 1 missing file[IEEEtran.cls].
432013-04-15 20:30:12/1206/1206.1282[\IEEEauthorblockA, \IEEEauthorblockN, \appendices, \nicefrac, \theappendix, \subfloat, {IEEEproof}, {proof}]; 2 missing files[IEEEtran.cls, xifthen.sty].
442013-04-15 20:27:34/1206/1206.1278[{theorem}, {AMS}, {proof}].
452013-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].
462013-04-15 20:06:42/1206/1206.0963[{lemma}, {theorem}, {corollary}, {AMS}, {proof}].
472013-04-15 19:50:39/1206/1206.0652[\mathds, \IEEEoverridecommandlockouts, \ifCLASSOPTIONcaptionsoff, \appendices, {IEEEkeywords}, \IEEEmembership, {IEEEproof}, {proof}, \ifCLASSINFOpdf]; 1 missing file[IEEEtran.cls].
482013-04-15 19:33:30/1206/1206.0357[\titlecomment, \lsuper, \ra, \qEd, \address, \rsuper, \email, \subjclass, {thm}, {lem}, {defi}, \ar, {iteMize}, {cor}, {ex}, \lmcsheading, \xymatrix, \keywords, \UseAllTwocells, Align, {proof}]; 3 missing files[neil.sty, xy.sty, LMCS.cls].
492013-04-15 19:32:26/1206/1206.0315[\gy, \bc, \df, \mattwo, \ab, \affiliation, \abc, \ga, \dD, \innerf, \ba, \cL, {acknowledgements}, \gD, \ccD, \pderiv, \bfk, \ccL, \avg, \gl, \ac, \nrm, \gb, \bbR, \del, {proof}, \snrm, \bfx]; 2 missing files[jfm.cls, lfmath.sty].
502013-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].
512013-04-15 19:08:43/1205/1205.6974[{IEEEkeywords}, \mathds, \psfrag, \IEEEmembership, \appendices, {proof}]; 1 missing file[IEEEtran.cls].
522013-04-15 18:26:19/1205/1205.6255[\extraline, \classno, {algorithm}, \newnumbered, \newunnumbered, \affiliationthree, {definition}, \email, \affiliationone, {remark}, {proof}, \affiliationtwo].
532013-04-15 18:11:05/1205/1205.6024[{algorithm}, \SetKwInOut, \affaddr, \Else, \numberofauthors, \While, \alignauthor, \If, \Output, \For, {function}, {proof}, \Input].
542013-04-15 18:04:52/1205/1205.5946[{keywords}, \alf, \suc, \DeclareMathOperator, \thanksas, \Ff, \runninghead, {proof}, \text]; 1 missing file[fundam.cls].
552013-04-15 18:04:45/1205/1205.5920[{lemma}, {theorem}, \subfloat, {AMS}, \endproof, {proof}]; 1 missing file[parskip.sty].
562013-04-15 18:04:09/1205/1205.5938[\overrideIEEEmargins, {algorithm}, \ForEach, \KwOut, \IEEEoverridecommandlockouts, \SetInd, \If, \KwIn, {proof}].
572013-04-15 18:03:42/1205/1205.5925[\subfloat, {proof}, \toprule, \bottomrule]; 2 missing files[IEEEtran.cls, balance.sty].
582013-04-15 18:03:09/1205/1205.5914[{algorithm}, \KwOut, \ifCLASSOPTIONcaptionsoff, \While, {IEEEkeywords}, \For, \If, \KwIn, {proof}, \ifCLASSINFOpdf]; 2 missing files[IEEEtran.cls, xy.sty].
592013-04-15 17:59:47/1205/1205.5849[Align, {keywords}, {subnumcases}, \appendices, {proof}]; 1 missing file[IEEEtran.cls].
602013-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
612013-04-15 17:46:07/1205/1205.5660[\extraline, \classno, {remarks}, \newnumbered, \affiliationthree, \email, \affiliationone, {remark}, {proof}, \affiliationtwo, {acknowledgements}]; 1 missing file[modlms.cls].
622013-04-15 17:29:33/1205/1205.5345[{definition}, {keywords}, {theorem}, {corollary}, {AMS}, \psfrag, {proof}, {proposition}]; 1 missing file[cmslatex.cls].
632013-04-15 17:21:01/1205/1205.5224[{IEEEkeywords}, \IEEEpeerreviewmaketitle, {proof}]; 1 missing file[IEEEtran.cls].
642013-04-15 17:18:23/1205/1205.5136[\mathds, {keywords}, {newproof}, {proof}, \IEEEQED, {framed}]; 2 missing files[IEEEtran.cls, framed.sty].
652013-04-15 17:16:04/1205/1205.5148[{definition}, {theorem}, {AMS}, {proof}].
662013-04-15 17:02:14/1205/1205.4875[\binom, {keywords}, \specialpapernotice, \dsum, \Qcb, \FRAME, {proof}]; 1 missing file[IEEEtran.cls].
672013-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].
682013-04-15 16:29:08/1205/1205.4297[\cent, {proof}]; 1 missing file[IEEEtran.cls].
692013-04-15 16:18:36/1205/1205.4168[{keywords}, \appendices, {proof}]; 1 missing file[IEEEtran.cls].
702013-04-15 15:48:18/1205/1205.3581[\currenttime, \theoremstyle, \ddmmyyyydate, {proof}]; 7 missing files[datetime.sty, graphicx%.sty, bbm%.sty, stmaryrd%.sty, xcolor%.sty, amsthm%.sty, booktabs%.sty].
712013-04-15 15:44:00/1205/1205.3566[\overrideIEEEmargins, \IEEEoverridecommandlockouts, {proof}].
722013-04-15 15:35:08/1205/1205.3414[{algorithm}, \alignauthor, \For, \email, \lElse, \Input, \SetKwInOut, \uIf, \affaddr, \numberofauthors, \Else, \Output, \Algorithm, \SetKwFunction, \lIf, {proof}].
732013-04-15 15:26:05/1205/1205.3269[\overrideIEEEmargins, \IEEEoverridecommandlockouts, {proof}].
742013-04-15 15:13:30/1205/1205.3071[\subfloat, {theorem}, {corollary}, {AMS}, {proof}, \thetheorem].
752013-04-15 15:04:10/1205/1205.2931[{cor}, {prop}, \amsclass, \lmcsheading, \keywords, \address, \email, \subjclass, {proof}, {lem}, {thm}]; 1 missing file[LMCS.cls].
762013-04-15 15:00:46/1205/1205.2876[\QED, {proof}]; 1 missing file[IEEEtran.cls].
772013-04-15 14:57:18/1205/1205.2779[\mathbb, \theoremstyle, \cauthor, \runningtitle, \numberwithin, Align, \address, \email, \citesort, \authorheadline, \allowdisplaybreaks, {proof}, \text]; 1 missing file[isamms.cls].
782013-04-15 14:56:09/1205/1205.2750[{lemma}, {theorem}, \endproof, \slugger, \URL, {AMS}, {corollary}, \psfrag, {proof}, {PII}].
792013-04-15 14:42:42/1205/1205.2492[\llparenthesis, \address, \email, \subjclass, {iteMize}, {defi}, {lem}, {thm}, \ar, \save, \rrparenthesis, \lmcsheading, \xymatrix, \keywords, Align, \restore, {proof}]; 4 missing files[fancyvrb.sty, xy.sty, hypcap.sty, LMCS.cls].
802013-04-15 14:39:42/1205/1205.2437[{definition}, {lemma}, \subfloat, {theorem}, {proof}, {proposition}].
812013-04-15 14:31:08/1205/1205.2304[{definition}, {lemma}, {theorem}, {proof}, {assumption}]; 2 missing files[artmods.sty, macros.sty].
822013-04-15 14:15:05/1205/1205.2048[{cor}, {lemma}, {theorem}, {proof}]; 1 missing file[cccg12.cls].
832013-04-15 14:07:19/1205/1205.1907[{keywords}, \overrideIEEEmargins, \IEEEoverridecommandlockouts, {proof}]; 1 missing file[IEEEtran.cls].
842013-04-15 14:04:42/1205/1205.1864[\affil, \corraddr, \keywords, \address, \cgs, \runningheads, \subref, {proof}, \affilnum]; 1 missing file[nlaauth_arxiv.cls].
852013-04-15 14:02:08/1205/1205.1823[{definition}, {theorem}, {AMS}, \thetheorem, {proof}, {proposition}].
862013-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].
872013-04-15 13:36:17/1205/1205.1366[{definition}, {lemma}, {theorem}, \endproof, {proof}, \thetheorem, \geometry].
882013-04-15 13:17:55/1205/1205.1143[\affaddr, \numberofauthors, \qed, \terms, \keywords, \email, \category, \balancecolumns, {proof}]; 1 missing file[stfloats.sty].
892013-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].
902013-04-15 12:54:25/1205/1205.0699[{keywords}, {subfigure}, {proof}]; 2 missing files[IEEEtran.cls, subcaption.sty].
912013-04-15 12:48:12/1205/1205.0618[\IEEEauthorblockA, \IEEEauthorblockN, \IEEEpeerreviewmaketitle, {proof}]; 1 missing file[IEEEtran.cls].
922013-04-15 12:26:22/1205/1205.0213[{keywords}, {proof}]; 2 missing files[mathtools.sty, IEEEtran.cls].
932013-04-15 12:25:21/1205/1205.0193[\mathfrak, \MSC, {lem}, {thm}, \Abstract, {cor}, \mathbb, \Address, \RunningHead, \CopyRight, \nsubseteq, \Received, {rem}, \varnothing, \Keywords, {proof}]; 1 missing file[basm.cls].
942013-04-15 12:23:01/1205/1205.0162[{keywords}, \IEEEmembership, \appendices, {proof}]; 1 missing file[IEEEtran.cls].
952013-04-15 12:19:58/1205/1205.0128[\Abstract, {prop}, \mathbb, \Address, \CopyRight, \RunningHead, \mathfrak, \Received, \MSC, {rem}, {proof}, \Keywords, {thm}]; 1 missing file[basm.cls].
962013-04-15 12:17:53/1205/1205.0085[{IEEEkeywords}, \IEEEmembership, {proof}]; 1 missing file[IEEEtran.cls].
972013-04-15 12:07:53/1204/1204.6624[{IEEEkeywords}, \IEEEauthorblockA, \IEEEauthorblockN, \IEEEpeerreviewmaketitle, {proof}]; 1 missing file[IEEEtran.cls].
982013-04-15 11:58:28/1204/1204.6482[\authorblockN, \authorblockA, \appendices, {proof}, \IEEEQED]; 1 missing file[./IEEEtran.cls].
992013-04-15 11:40:57/1204/1204.6174[\overrideIEEEmargins, \IEEEoverridecommandlockouts, {proof}].
1002013-04-15 11:37:27/1204/1204.6098[{dmath}, {IEEEkeywords}, \IEEEpeerreviewmaketitle, {proof}]; 2 missing files[breqn.sty, IEEEtran.cls].
1012013-04-15 11:37:23/1204/1204.6093[{IEEEkeywords}, \IEEEauthorblockA, \IEEEauthorblockN, \IEEEpeerreviewmaketitle, {proof}, \ifCLASSINFOpdf]; 1 missing file[IEEEtran.cls].
1022013-04-15 11:28:38/1204/1204.5920[\theappendix, \shortrightarrow, \titlerunning, \url, {proof}, \text, \authorrunning]; 1 missing file[easychair.cls].
1032013-04-15 11:21:18/1204/1204.5721[\mathds, \articletitle, \copyrightowner, \volume, \DOI, \thechapter, \issue, \journal, \@currentID, {proof}, \authorname, \pubyear, \isbn]; 1 missing file[now.cls].
1042013-04-15 11:21:17/1204/1204.5760[\arXiv, \square, \Bbb, \theoremstyle, \mathfrak, \keywords, \subjclass, \email, {proof}, \frak]; 1 missing file[arx.cls].
1052013-04-15 11:16:05/1204/1204.5663[{IEEEkeywords}, \IEEEpeerreviewmaketitle, \IEEEmembership, {proof}, \IEEEQED]; 1 missing file[IEEEtran.cls].
1062013-04-15 11:11:41/1204/1204.5623[\psplot, \theoremstyle, {proof}]; 3 missing files[mathtools.sty, yhmath%.sty, amsthm%.sty].
1072013-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].
1082013-04-15 11:00:27/1204/1204.5442[\fnref, \tnoteref, \newproof, \fntext, {definition}, \tnotetext, \cortext, {proof}, \newdefinition].
1092013-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
1102013-04-15 10:51:42/1204/1204.5281[\@slowromancap, {proof}]; 2 missing files[IEEEtran.cls, balance.sty].
1112013-04-15 10:43:47/1204/1204.5156[{definition}, {lemma}, \iinfer, {theorem}, \Infer, \infer, {proof}]; 2 missing files[Common/prooftree.sty, Common/theorems.sty].
1122013-04-15 10:41:34/1204/1204.5082[{proof}].
1132013-04-15 10:38:41/1204/1204.5052[{lemma}, {theorem}, {algorithm}, \For, \If, {corollary}, {AMS}, \tcc, \lIf, {proof}, \DontPrintSemicolon].
1142013-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].
1152013-04-15 10:08:18/1204/1204.4491[\nl, {algorithm}, \SetKwInOut, \ForEach, \Else, \For, \If, \Output, \BlankLine, {proof}, \Input]; 1 missing file[IEEEtran.cls].
1162013-04-15 09:57:38/1204/1204.4282[\classno, \textswab, \newnumbered, {definition}, {example}, \email, {conjecture}, \affiliationone, \resetbiblist, {question}, {proof}, \affiliationtwo].
1172013-04-15 09:45:51/1204/1204.4141[\conferenceinfo, \affaddr, \numberofauthors, \terms, \alignauthor, \keywords, \crdata, \CopyrightYear, \email, \category, {proof}, \newdef].
1182013-04-15 09:44:17/1204/1204.4135[\IEEEauthorblockA, \IEEEauthorblockN, {proof}, \IEEEauthorrefmark]; 3 missing files[mdwtab.sty, IEEEtran.cls, mdwmath.sty].
1192013-04-15 09:27:22/1204/1204.3818[{keywords}, \appendices, {proof}]; 1 missing file[IEEEtran.cls].
1202013-04-15 09:24:53/1204/1204.3778[\eqref, \mathbb, \theoremstyle, \keywords, \numberwithin, \includegraphics, \address, \email, \subjclass, {proof}, \br]; 1 missing file[birkjour.cls].
1212013-04-15 09:13:58/1204/1204.3536[{lemma}, {theorem}, {AMS}, {proof}, {proposition}].
1222013-04-15 09:13:49/1204/1204.3554[\mathds, {keywords}, {proof}]; 1 missing file[IEEEtran.cls].
1232013-04-15 09:07:01/1204/1204.3407[\address, \subjclass, \email, \theoremstyle, {proof}, \keywords, \numberwithin]; 1 missing file[birkjour.cls].
1242013-04-15 09:04:28/1204/1204.3367[\affaddr, \numberofauthors, \alignauthor, {definition}, \email, \subsecit, \newdef, {proof}]; 1 missing file[collective-intelligence.cls].
1252013-04-15 08:51:11/1204/1204.3158[\email, \citename, {proof}]; 1 missing file[jfp.cls].
1262013-04-15 08:45:15/1204/1204.3034[\overrideIEEEmargins, \subfloat, \IEEEoverridecommandlockouts, {proof}, \geometry]; 1 missing file[IEEEtran.cls].
1272013-04-15 08:43:38/1204/1204.3005[\IEEEpeerreviewmaketitle, {proof}, \ifCLASSINFOpdf]; 1 missing file[IEEEtran.cls].
1282013-04-15 08:40:36/1204/1204.2942[{definition}, {lemma}, {theorem}, {proof}].
1292013-04-15 08:39:21/1204/1204.2928[{theorem}, \head, \kwams, {proof}]; 1 missing file[pliska.sty].
1302013-04-15 08:33:52/1204/1204.2837[{lemma}, {theorem}, \alert, {Lemma}, {definition}, {columns}, {corollary}, \column, \frametitle, {proof}]; 1 missing file[multimedia.sty].
1312013-04-15 08:16:44/1204/1204.2567[\subfloat, \newproof, \cortext, {algorithm2}, {proof}, \newdefinition].
1322013-04-15 08:10:27/1204/1204.2435[{keywords}, \psfrag, \QEDclosed, \IEEEmembership, \psfragscanon, \appendices, {proof}]; 1 missing file[IEEEtran.cls].
1332013-04-15 08:01:26/1204/1204.2288[{theorem}, {AMS}, {proof}, {proposition}].
1342013-04-15 07:37:44/1204/1204.1869[\overrideIEEEmargins, \IEEEoverridecommandlockouts, {proof}].
1352013-04-15 07:21:43/1204/1204.1701[{keywords}, \theoremstyle, \xymatrix, \address, Align, {classification}, {proof}, \ar]; 2 missing files[xy.sty, irmaems.cls].
1362013-04-15 06:57:32/1204/1204.1240[{keywords}, \IEEEpeerreviewmaketitle, \appendices, {proof}]; 1 missing file[IEEEtran.cls].
1372013-04-15 06:56:30/1204/1204.1220[\rank, {lemma}, {theorem}, {remunerate}, {definition}, \subfloat, {corollary}, {AMS}, {proof}, \diag, {proposition}].
1382013-04-15 06:51:33/1204/1204.1095[{definition}, {lemma}, {theorem}, {corollary}, {proof}, {proposition}].
1392013-04-15 06:48:37/1204/1204.1069[{keywords}, {proof}]; 1 missing file[IEEEtran.cls].
1402013-04-15 06:42:46/1204/1204.0958[\theappendix, \affaddr, \numberofauthors, \balancecolumns, {proof}, \alignauthor, \keywords].
1412013-04-15 06:37:37/1204/1204.0867[\IEEEauthorblockA, \IEEEauthorblockN, {algorithm}, \ForEach, \While, \pdfobjcompresslevel, \ifxetex, \pdfminorversion, {proof}]; 4 missing files[ifxetex.sty, xunicode.sty, IEEEtran.cls, microtype.sty].
1422013-04-15 06:34:11/1204/1204.0815[\theoremstyle, \endproof, \keywords, \address, \email, \subjclass, \dedicatory, \br, {proof}]; 1 missing file[birkjour.cls].
1432013-04-15 06:02:20/1204/1204.0304[\theappendix, \psfrag, {proof}]; 2 missing files[IEEEtran.cls, xy.sty].
1442013-04-15 06:00:09/1204/1204.0199[\authorblockN, {keywords}, \QED, \authorblockA, \IEEEmembership, {proof}]; 1 missing file[IEEEtran.cls].
1452013-04-15 05:55:40/1204/1204.0153[{IEEEkeywords}, {proof}, \appendices]; 1 missing file[IEEEtran.cls].
1462013-04-15 05:22:27/1201/1201.0101[{lemma}, {theorem}, {proof}, \thetheorem, \diag]; 1 missing file[path.sty].
1472013-04-15 05:10:44/1201/1201.6681[{IEEEkeywords}, \IEEEPARstart, \IEEEpeerreviewmaketitle, \ifCLASSOPTIONcaptionsoff, \appendices, {proof}]; 1 missing file[IEEEtran.cls].
1482013-04-15 05:05:50/1203/1203.0046[{IEEEkeywords}, \IEEEpeerreviewmaketitle, {proof}, \ifCLASSINFOpdf]; 4 missing files[mdwtab.sty, IEEEtran.cls, mdwmath.sty, eqparbox.sty].
1492013-04-15 05:05:32/1203/1203.0050[\square, \toggletrue, \newtoggle, \subsetneq, \mathbb, \inst, \institute, \iftoggle, \email, \nottoggle, {proof}]; 1 missing file[etoolbox.sty].
1502013-04-15 05:00:54/1203/1203.0129[\iddots, \overrideIEEEmargins, \subfloat, \IEEEoverridecommandlockouts, {proof}]; 1 missing file[IEEEtran.cls].
1512013-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].
1522013-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].
1532013-04-15 04:53:15/1203/1203.0292[{definition}, {lemma}, {theorem}, {corollary}, {AMS}, {proof}, {proposition}, \pdfinclusioncopyfonts].
1542013-04-15 04:43:00/1203/1203.0442[\newproof, {proof}].
1552013-04-15 04:41:57/1203/1203.0478[\newproof, {proof}].
1562013-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].
1572013-04-15 04:32:26/1203/1203.0670[{cor}, \lsuper, \lmcsheading, \qed, \qEd, \keywords, \address, \rsuper, \email, \subjclass, {proof}, {thm}, {lem}]; 2 missing files[bussproofs.sty, LMCS.cls].
1582013-04-15 04:27:38/1203/1203.0692[\mathds, {theorem}, \geqslant, \leqslant, \rrbracket, {definition}, {example}, {remark}, {proof}, \llbracket, {proposition}]; 1 missing file[commath.sty].
1592013-04-15 03:50:05/1203/1203.1251[\overrideIEEEmargins, \IEEEoverridecommandlockouts, \backslashbox, {proof}]; 3 missing files[slashbox.sty, balance.sty, framed.sty].
1602013-04-15 03:46:15/1203/1203.1335[\lElseIf, \ElseIf, \SetKwComment, \SetAlgoInsideSkip, \SetArgSty, \SetAlFnt, \Comment, \pfshortnumbers, {pproof}, \If, \lElse, \DontPrintSemicolon, \SetCommentSty, {algorithm2e}, {prooofi}, \Else, \SetNlSty, {Proof}, \SetKwIF, \operatorfont, {step+}, \lI
1612013-04-15 03:35:18/1203/1203.1505[\IEEEmembership, \appendices, {proof}]; 1 missing file[IEEEtran.cls].
1622013-04-15 03:33:28/1203/1203.1526[\PassOptionsToPackage, {proof}]; 1 missing file[IEEEtran.cls].
1632013-04-15 03:33:18/1203/1203.1538[{IEEEkeywords}, \IEEEpeerreviewmaketitle, {proof}, \ifCLASSOPTIONpeerreview, {CJK*}, \ifCLASSINFOpdf]; 3 missing files[CJK.sty, IEEEtran.cls, soul.sty].
1642013-04-15 03:26:28/1203/1203.1639[{IEEEkeywords}, \IEEEpeerreviewmaketitle, {proof}, \ifCLASSINFOpdf]; 4 missing files[mdwtab.sty, IEEEtran.cls, mdwmath.sty, eqparbox.sty].
1652013-04-15 03:22:20/1203/1203.1758[{keywords}, \psfrag, {psfrags}, {proof}]; 1 missing file[IEEEtran.cls].
1662013-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].
1672013-04-15 03:13:22/1203/1203.1866[{proof}, \marginsize]; 2 missing files[xy.sty, QED.sty].
1682013-04-15 03:11:15/1203/1203.1891[{IEEEkeywords}, \mathds, \psfrag, {proof}]; 1 missing file[IEEEtran.cls].
1692013-04-15 02:39:40/1203/1203.2431[\citeauthoryear, \rightarrowtriangle, {keywords}, \accepted, Align, \email, \submitted, \revised, \infer, {proof}]; 1 missing file[tlp.cls].
1702013-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].
1712013-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].
1722013-04-15 01:52:58/1203/1203.3287[{IEEEkeywords}, \mathds, Align, {IEEEeqnarray*}, \IEEEpeerreviewmaketitle, \appendices, {proof}]; 3 missing files[stfloats.sty, IEEEtran.cls, balance.sty].
1732013-04-15 01:51:42/1203/1203.3255[\subfloat, \mathbb, \email, \subjclass, \theoremstyle, {proof}, \keywords]; 1 missing file[my_aims.cls].
1742013-04-15 01:51:32/1203/1203.3269[\authorblockN, \authorblockA, {proof}]; 1 missing file[IEEEtran.cls].
1752013-04-15 01:34:42/1203/1203.3593[\nicefrac, \email, \affaddr, \numberofauthors, {proof}, \alignauthor]; 1 missing file[balance.sty].
1762013-04-15 01:34:02/1203/1203.3619[\email, \affaddr, \numberofauthors, {proof}, \alignauthor].
1772013-04-15 01:32:29/1203/1203.3656[\arXiv, \mathbb, \email, \subjclass, \theoremstyle, {proof}, \keywords]; 1 missing file[my_aims.cls].
1782013-04-15 01:32:26/1203/1203.3668[{lemma}, {theorem}, {AMS}, {proof}, \thetheorem].
1792013-04-15 01:25:34/1203/1203.3760[\varoiint, {AMS}, {proof}, \thetheorem]; 1 missing file[esint.sty].
1802013-04-15 01:21:31/1203/1203.3821[{definition}, {lemma}, {theorem}, {corollary}, {AMS}, {proof}].
1812013-04-15 01:15:56/1203/1203.3953[{lemma}, {theorem}, {AMS}, {proof}, \thetheorem, {proposition}].
1822013-04-15 01:15:02/1203/1203.4101[\foreword, \dint, \qed, {proof}, {partbacktext}]; 1 missing file[type1cm.sty].
1832013-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].
1842013-04-15 01:03:30/1203/1203.4153[\subfloat, {proof}]; 1 missing file[IEEEtran.cls].
1852013-04-15 01:03:23/1203/1203.4156[{keywords}, \subfloat, {proof}]; 1 missing file[IEEEtran.cls].
1862013-04-15 00:58:09/1203/1203.4225[\theoremstyle, \xymatrix, \keywords, Align, \address, \email, \subjclass, \dedicatory, {proof}, \ar]; 2 missing files[xy.sty, birkjour.cls].
1872013-04-15 00:37:46/1203/1203.4583[\mathds, \IEEEoverridecommandlockouts, {proof}, \geometry].
1882013-04-15 00:33:08/1203/1203.4650[\theoremstyle, \communication, \VolumeNo, \support, \YearNo, \PagesNo, \AuthorHead, {proof}, \TitleHead, \classification]; 1 missing file[rims-bessatsu.cls].
1892013-04-15 00:31:57/1203/1203.4682[\eqref, \mathbb, \theoremstyle, {split}, \mathfrak, \keywords, \numberwithin, Align, \address, \email, \subjclass, \text, {proof}, \br]; 1 missing file[birkjour.cls].
1902013-04-15 00:31:25/1203/1203.4716[\titlecomment, \lsuper, {exa}, \address, \rsuper, \email, \subjclass, {iteMize}, {thm}, {lem}, {cor}, \lmcsheading, \keywords, {rem}, {proof}, {desCription}]; 1 missing file[LMCS.cls].
1912013-04-15 00:09:56/1203/1203.5022[\Mc, {lemma}, {theorem}, \Ms, \se, \ce, \R, {AMS}, \ve, {proof}].
1922013-04-15 00:08:24/1203/1203.5040[\theappendix, \IEEEauthorblockA, \IEEEauthorblockN, \IEEEoverridecommandlockouts, {proof}]; 1 missing file[IEEEtran.cls].
1932013-04-15 00:05:12/1203/1203.5079[\simpleequations, \classno, \shorttitle, \affiliationone, {proof}]; 1 missing file[xy.sty].
1942013-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].
1952013-04-14 23:49:44/1203/1203.5362[\IEEEauthorblockN, \IEEEoverridecommandlockouts, \appendices, \floatsetup, \algorithm, \endalgorithm, \IEEEauthorrefmark, {proof}]; 3 missing files[IEEEtran.cls, balance.sty, floatrow.sty].
1962013-04-14 23:42:01/1203/1203.5485[\mathbb, \numberofauthors, {proof}]; 5 missing files[balance.sty, sig-alternate-10pt.cls, ttquot.sty, eso-pic.sty, breakurl.sty].
1972013-04-14 23:35:19/1203/1203.5602[{keywords}, \IEEEmembership, \appendices, {proof}]; 1 missing file[IEEEtran.cls].
1982013-04-14 23:35:07/1203/1203.5583[\IEEEmembership, {proof}, \restoresymbol, \savesymbol]; 2 missing files[IEEEtran.cls, savesym.sty].
1992013-04-14 23:32:35/1203/1203.5623[\pubid, {keywords}, {proof}]; 1 missing file[IEEEtran.cls].
2002013-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].
>>>

[0] [200] [400] [600] [800] [1000] [1200] [1400] [1600] [1800] [2000] [2200] [2400] [2600] [2800] [3000] [3200] [3400] [3600]
 
  The service has been written by
Heinrich Stamerjohanns