arxmliv
arxmliv build tool
 
KWARC group
LaTeXML
About
   
 

Current statistics of make process

Back to Homepage

Files that use macro {proposition}

No.DateMacroErrmsg
12013-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].
22013-04-15 23:22:13/1206/1206.4417[{Corollary}, \newlist, \real, \TheoremIsomorphisms, {thmlist}, \setlist, {restatable}, \declaretheorem, \TheoremAutomorphisms, \setitemize, \ar, \maxof, \widthof, {Lemma}, \leading, \xymatrix, {Proposition}, \rmsl, Align]; 6 missing files[thm-restate.sty
32013-04-15 21:54:06/1206/1206.2847[{definition}, \mathds, {theorem}, {remark}, {proof}, \rrbracket, {proposition}, \llbracket]; 2 missing files[commath.sty, pslatex.sty].
42013-04-15 21:50:50/1206/1206.2791[\includegraphics, \msc, \email, \institute, {proof}, {proposition}, \keywords, \articletype]; 1 missing file[cej.cls].
52013-04-15 21:37:22/1206/1206.2568[\xspace, \rank, {theorem}, \angles, \mathbb, \codim, \wt, {definition}, \set, \DeclareMathOperator, {corollary}, {proof}, \text, \diff, {proposition}, \supp].
62013-04-15 20:37:52/1206/1206.1473[\abs, \tr, \figref, \lp, {overpic}, \R, \rp, \ie, {proposition}, \norm]; 2 missing files[amsaddr.sty, ./common.sty].
72013-04-15 20:33:46/1206/1206.1369[{lemma}, {theorem}, {corollary}, {AMS}, \thetheorem, {proof}, {proposition}].
82013-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
92013-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].
102013-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
112013-04-15 19:11:51/1205/1205.7046[{lemma}, {AMS}, {proposition}].
122013-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
132013-04-15 17:29:33/1205/1205.5345[{definition}, {keywords}, {theorem}, {corollary}, {AMS}, \psfrag, {proof}, {proposition}]; 1 missing file[cmslatex.cls].
142013-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
152013-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].
162013-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].
172013-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
182013-04-15 14:39:42/1205/1205.2437[{definition}, {lemma}, \subfloat, {theorem}, {proof}, {proposition}].
192013-04-15 14:02:08/1205/1205.1823[{definition}, {theorem}, {AMS}, \thetheorem, {proof}, {proposition}].
202013-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].
212013-04-15 13:04:10/1205/1205.0882[{definition}, {theorem}, {proposition}, \R].
222013-04-15 12:53:51/1205/1205.0712[\newtheorem, {proposition}].
232013-04-15 12:51:23/1205/1205.0654[\lastnameone, {split}, \lastnametwo, \acknowledgments, \nameshorttwo, \headlinetitle, \addressone, \emailone, {remark}, \firstpage, {proposition}, \classification, \binom, \firstnametwo, \mathbb, \emailtwo, \countryone, \keywords, \includegraphics, \coun
242013-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].
252013-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
262013-04-15 09:20:38/1204/1204.3705[{lemma}, {theorem}, {remark}, {proposition}]; 1 missing file[environments.sty].
272013-04-15 09:13:58/1204/1204.3536[{lemma}, {theorem}, {AMS}, {proof}, {proposition}].
282013-04-15 08:01:26/1204/1204.2288[{theorem}, {AMS}, {proof}, {proposition}].
292013-04-15 06:56:30/1204/1204.1220[\rank, {lemma}, {theorem}, {remunerate}, {definition}, \subfloat, {corollary}, {AMS}, {proof}, \diag, {proposition}].
302013-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,
312013-04-15 06:53:00/1204/1204.1123[\Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, \Author, \Email, \AuthorNameForHeading, \Keywords, {proposition}].
322013-04-15 06:51:33/1204/1204.1095[{definition}, {lemma}, {theorem}, {corollary}, {proof}, {proposition}].
332013-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
342013-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].
352013-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
362013-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].
372013-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
382013-04-15 04:53:15/1203/1203.0292[{definition}, {lemma}, {theorem}, {corollary}, {AMS}, {proof}, {proposition}, \pdfinclusioncopyfonts].
392013-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].
402013-04-15 04:27:38/1203/1203.0692[\mathds, {theorem}, \geqslant, \leqslant, \rrbracket, {definition}, {example}, {remark}, {proof}, \llbracket, {proposition}]; 1 missing file[commath.sty].
412013-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].
422013-04-15 01:15:56/1203/1203.3953[{lemma}, {theorem}, {AMS}, {proof}, \thetheorem, {proposition}].
432013-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].
442013-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].
452013-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
462013-04-14 21:47:11/1202/1202.5923[{lemma}, {theorem}, \xymatrix, {definition}, Align, {AMS}, {corollary}, {proof}, {proposition}, \ar]; 1 missing file[xy.sty].
472013-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].
482013-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].
492013-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].
502013-04-14 19:51:45/1202/1202.3970[{lemma}, {theorem}, {remark}, {proposition}]; 1 missing file[environments.sty].
512013-04-14 19:47:23/1202/1202.3858[{lemma}, {theorem}, {corollary}, {remark}, {proposition}]; 1 missing file[environments.sty].
522013-04-14 19:47:07/1202/1202.3839[{definition}, {lemma}, {theorem}, {proof}, {proposition}]; 1 missing file[esint.sty].
532013-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].
542013-04-14 19:33:13/1202/1202.3541[{theorem}, \EmailD, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {definition}, \Keywords].
552013-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
562013-04-14 19:20:59/1202/1202.3307[\affil, {lemma}, {keywords}, {theorem}, \nolinenumbers, \email, {proof}, {proposition}]; 1 missing file[biometrika.cls].
572013-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
582013-04-14 18:47:47/1202/1202.2831[{definition}, {lemma}, {theorem}, {proof}, {proposition}].
592013-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].
602013-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}, \
612013-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
622013-04-14 16:34:47/1202/1202.0424[{lemma}, {AMS}, {proposition}].
632013-04-14 15:59:00/1201/1201.0414[{lemma}, {theorem}, \qed, \keywords, {example}, {definition}, {history}, {remark}, \revised, \received, {proposition}].
642013-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
652013-04-14 12:41:43/0912/0912.5403[{theorem}, \EmailD, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {remark}, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, \Keywords].
662013-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
672013-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].
682013-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].
692013-04-14 10:46:15/0912/0912.3429[{lemma}, {theorem}, \firstpageno, \keywords, {definition}, \address, \email, \subjclass, {proof}, \stacsheading, {proposition}]; 1 missing file[stacs.cls].
702013-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].
712013-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
722013-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].
732013-04-14 09:02:51/0912/0912.1660[{lemma}, {theorem}, {AMS}, {proof}, {proposition}]; 1 missing file[mathtext.sty].
742013-04-14 09:02:46/0912/0912.1664[{theorem}, {corollary}, {AMS}, {proof}, {proposition}].
752013-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
762013-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].
772013-04-14 05:32:44/0911/0911.3875[\Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, \Author, \Email, {remark}, \AuthorNameForHeading, \Keywords, {proposition}].
782013-04-14 05:18:46/0911/0911.3674[{definition}, {lemma}, {theorem}, {corollary}, {AMS}, {proof}, {proposition}].
792013-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].
802013-04-14 04:25:37/0911/0911.2895[{theorem}, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, \AuthorNameForHeading, \dashline, {proposition}, \EmailDD, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, \Keywords].
812013-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
822013-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
832013-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].
842013-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
852013-04-14 02:24:15/0911/0911.0671[{lemma}, {theorem}, {remark}, {proposition}]; 1 missing file[environments.sty].
862013-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
872013-04-14 02:00:19/0911/0911.0232[{lemma}, {theorem}, \xymatrix, \thetheorem, {definition}, Align, {corollary}, {AMS}, {proof}, {proposition}, \ar]; 1 missing file[xy.sty].
882013-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].
892013-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}].
902013-04-13 23:33:56/1012/1012.3818[\ZZ, \cM, \Clt, \hb, \wt, {remarque}, \lpr, \cT, \hto, \CC, \cK, \backmatter, {proposition}, \PP, \cG, \reel, \ptbl, \keywords, \coker, \moins, Align, \im, \bbullet, \rM, \loccit, \cf, \ra, \gr, \DR, \hbm, {comment}, \eg, \email, \id, \wtRHm, \cZ, \cY, \
912013-04-13 23:27:54/1012/1012.3722[\colonequals, {AMS}, {proof}, {proposition}]; 1 missing file[colonequals.sty].
922013-04-13 23:22:15/1012/1012.3646[{lemma}, {theorem}, \sameauthor, {definition}, {AMS}, {corollary}, {proof}, {proposition}].
932013-04-13 21:25:14/1012/1012.1511[{AMS}, \Appendix, \thetheorem, {proposition}].
942013-04-13 21:22:44/1012/1012.1455[\EmailD, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {example}, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {definition}, \Keywords].
952013-04-13 21:16:57/1012/1012.1334[{lemma}, \bigvarstar, \urladdr, \address, {conjecture}, \email, \subjclass, \text, {proposition}, {defi}, {prop}, \mathbb, \qed, \keywords, {corollary}, {proof}]; 1 missing file[jac.cls].
962013-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].
972013-04-13 21:07:19/1012/1012.1128[{lemma}, \mathbb, \qed, \mathfrak, \keywords, \proof, {definition}, \address, \email, \remark, {proposition}]; 1 missing file[jac.cls].
982013-04-13 21:06:12/1012/1012.1072[{lemma}, {theorem}, \bsep, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {remark}, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \tsep, \Address, \Author, \Email, \Keywords].
992013-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].
1002013-04-13 20:10:54/1012/1012.0058[{definition}, \short, \href, \mathbb, {proof}, {proposition}, \oneauthor]; 1 missing file[acta-info.sty].
1012013-04-13 20:10:14/1012/1012.0023[{lemma}, {theorem}, \mathbb, \short, {example}, \href, {conjecture}, \twoauthors, {remark}, {proof}, {proposition}]; 1 missing file[acta-info.sty].
1022013-04-13 20:03:44/1011/1011.6584[{theorem}, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {example}, {remark}, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, \Email, \Keywords].
1032013-04-13 19:59:44/1011/1011.6491[{lemma}, {theorem}, \drawedge, \drawloop, {example}, \euro, \thechapter, \address, {corollary}, \@currentID, {remark}, \printindex, \node, {proof}, {proposition}]; 3 missing files[ws-rv-van.sty, ws.sty, eurofont.sty].
1042013-04-13 19:31:18/1011/1011.6019[\eqref, {theorem}, \Gray, \refcite, \mathfrak, \Black, {conjecture}, {remark}, \bodymatter, \text, {align}, \sref, {proposition}, \mathbb, \upharpoonright, \keywords, \includegraphics, Align, {corollary}]; 2 missing files[ws.sty, colordvi.sty].
1052013-04-13 19:30:15/1011/1011.5994[{lemma}, {theorem}, {corollary}, {proof}, {proposition}]; 1 missing file[ltexpprt.sty].
1062013-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
1072013-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
1082013-04-13 19:01:06/1011/1011.5537[{lemma}, {theorem}, \R, {definition}, {corollary}, \Z, \E, \prob, {proposition}, {assumption}]; 1 missing file[stdmath.sty].
1092013-04-13 16:57:26/1011/1011.3397[{lemma}, \institute, {empheq}, \keywords, \theappendix, \tocauthor, \email, \empheqlbrace, \titlerunning, {proof}, \mainmatter, \authorrunning, {proposition}]; 1 missing file[svmultln.cls].
1102013-04-13 16:30:40/1011/1011.2974[{definition}, {lemma}, {keywords}, {theorem}, {corollary}, \FloatBarrier, {proof}, {proposition}]; 1 missing file[cmslatex.cls].
1112013-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, \
1122013-04-13 14:21:12/1011/1011.0910[{lemma}, {theorem}, {corollary}, {AMS}, \endproof, \thetheorem, {proof}, {proposition}].
1132013-04-13 13:35:34/1011/1011.0104[{lemma}, \Spec, {theorem}, \rk, \R, \C, \Z, {corollary}, \wh, {case*}, \supp, {proposition}]; 1 missing file[custom_preamble.sty].
1142013-04-13 13:35:17/1011/1011.0096[{keywords}, {theorem}, \editor, \name, {example}, \theappendix, {corollary}, \addr, {proposition}]; 1 missing file[jmlr2e.sty].
1152013-04-13 13:06:05/1010/1010.5857[{lemma}, {theorem}, {corollary}, {AMS}, {proof}, {proposition}].
1162013-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].
1172013-04-13 10:39:42/1010/1010.3566[{lemma}, {theorem}, {corollary}, {AMS}, {proof}, {proposition}].
1182013-04-13 09:53:15/1010/1010.2694[{definition}, {lemma}, {theorem}, {AMS}, \endproof, {proof}, {proposition}, \supp]; 1 missing file[graphpap.sty].
1192013-04-13 09:51:56/1010/1010.2733[\KwData, {algorithm}, \KwResult, \Repeat, \restylealgo, \dontprintsemicolon, \SetVline, {proof}, {proposition}].
1202013-04-13 09:38:47/1010/1010.2471[\rank, {lemma}, {theorem}, \thetheorem, {definition}, {corollary}, \geometry, {proof}, \diag, {proposition}].
1212013-04-13 09:04:54/1010/1010.1873[{lemma}, {AMS}, \rrbracket, {proof}, {proposition}, \llbracket].
1222013-04-13 08:54:16/1010/1010.1690[{theorem}, \institute, \qed, \arrow, {proofof}, \email, {corollary}, {remark}, \node, {proof}, {acknowledgements}, \spnewtheorem, {diagram}, {proposition}]; 1 missing file[svjourN.cls].
1232013-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].
1242013-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].
1252013-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].
1262013-04-13 06:32:00/1009/1009.5619[\eqref, {theorem}, \mathbb, \epsfig, \tfrac, \keywords, \address, \bodymatter, {proposition}]; 1 missing file[ws-procs975x65-ppn.cls].
1272013-04-13 06:01:22/1009/1009.5056[\ccode, {lemma}, \catchline, {theorem}, {romanlist}, \keywords, {example}, {definition}, {proof}, {proposition}].
1282013-04-13 05:58:48/1009/1009.5030[{equationarray}, {algorithm}, {keyword}, \normalshape, Align, \thanksref, {claim}, {frontmatter}, {proof}, {thm}, {proposition}]; 2 missing files[equationarray.sty, endmmacro.sty].
1292013-04-13 05:52:17/1009/1009.4886[{JEL}, {lemma}, {theorem}, \thetheorem, {definition}, {AMS}, {proof}, {proposition}].
1302013-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].
1312013-04-13 04:53:19/1009/1009.3824[{lemma}, {theorem}, \endproof, \thetheorem, {romannum}, {definition}, {AMS}, {proof}, {proposition}].
1322013-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
1332013-04-13 04:14:12/1009/1009.3113[\authortwo, {prop}, {lemma}, {theorem}, \ams, \authorone, {conjecture}, \authornames, \shorttitle, {corollary}, {remark}, {problem}, {proposition}].
1342013-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.
1352013-04-13 04:02:14/1009/1009.2939[\affil, {lemma}, {theorem}, {article}, \authorrunninghead, \keywords, \subtitle, \email, {references}, {proof}, {algo}, {proposition}, \titlerunninghead].
1362013-04-13 04:01:06/1009/1009.2937[\affil, {lemma}, {theorem}, {article}, \authorrunninghead, \keywords, \email, {references}, {algo}, {proof}, \titlerunninghead, {proposition}].
1372013-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].
1382013-04-13 03:45:03/1009/1009.2653[{lemma}, \ShortAuthors, {theorem}, \ThirdAuthor, \MSCcodes, \startpagenumber, \ThirdAuthorURL, \volume, {example}, \ThirdAuthorAddress, \FourthAuthorURL, \firstpage, \url, \SecondAuthorEmail, {proposition}, \received, \FourthAuthor, \issue, {corollary},
1392013-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].
1402013-04-13 03:24:53/1009/1009.2270[{lemma}, {keywords}, {theorem}, \accepted, {corollary}, \pagerange, \submitted, \revised, \pubyear, {proposition}]; 2 missing files[tlp.cls, aopmath.sty].
1412013-04-13 03:15:16/1009/1009.2138[\at, {lemma}, {theorem}, \institute, \qed, \keywords, \journalname, \smartqed, \email, {corollary}, {remark}, {proof}, {acknowledgements}, {proposition}]; 1 missing file[svjour3-ppn.cls].
1422013-04-13 02:03:10/1009/1009.0922[{lemma}, {theorem}, \fint, {definition}, \widecheck, {AMS}, {proof}, {proposition}]; 1 missing file[esint.sty].
1432013-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].
1442013-04-13 00:31:07/1008/1008.4707[{theorem}, \rrbracket, \path, {example}, {fact}, \allinethickness, \dottedline, {conjecture}, \ellipse, {proof}, \llbracket, {tenumerate}, {proposition}]; 1 missing file[razb.sty].
1452013-04-13 00:27:14/1008/1008.4643[{lemma}, \catchline, {theorem}, \bibfont, \themyctr, \keywords, \includegraphics, {history}, {corollary}, \newcounter, \revised, {proof}, {proposition}, \received]; 1 missing file[ws.sty].
1462013-04-13 00:25:28/1008/1008.4627[{lemma}, {theorem}, \affaddr, \numberofauthors, \titlenote, \alignauthor, \theappendix, {example}, {definition}, \email, {corollary}, \newdef, {proposition}].
1472013-04-13 00:12:49/1008/1008.4396[\ZZ, {theorem}, \lesssim, \RR, \CcI, \WF, \complement, {remark}, \pa, \ar, {proposition}, \abs, \ep, \xymatrix, \Lap, Align, {corollary}, \CI, \NN, \norm]; 2 missing files[standard.sty, xy.sty].
1482013-04-12 23:31:42/1008/1008.3685[{lemma}, {theorem}, \shom, \iso, \tot, \sing, {conjecture}, \Z, {proposition}, \diag, \map, \xymatrix, \mapG, \spec, Align, \susp, \Mor, {corollary}, \wkeq, \Quot, \hofib, \mapp, {varthm}, \eqdef, \C, \mcal, {remark}, \ar, {defn}, \A, \epi, \Hom, \holim,
1492013-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
1502013-04-12 22:20:26/1008/1008.2595[{lemma}, {theorem}, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, \AuthorNameForHeading, \URLaddress, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, \Email, \Keywords].
1512013-04-12 21:43:12/1008/1008.1952[{lemma}, \mathds, {theorem}, \affiliation, \rd, {acknowledgements}, {proposition}]; 1 missing file[oldgerm.sty].
1522013-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].
1532013-04-12 20:03:25/1008/1008.0252[{lemma}, {theorem}, \xymatrix, {definition}, \bfi, Align, {corollary}, {proposition}, \ar]; 1 missing file[xy.sty].
1542013-04-12 19:56:12/1008/1008.0155[{example}, {definition}, \short, \theproposition, \twoauthors, {proof}, {proposition}]; 1 missing file[acta-m.sty].
1552013-04-12 19:51:08/1008/1008.0061[{lemma}, {theorem}, \thetheorem, {definition}, {AMS}, {corollary}, {proof}, {proposition}, \diag].
1562013-04-12 19:13:05/1007/1007.4920[{lemma}, {theorem}, {proposition}]; 1 missing file[snapshot.sty].
1572013-04-12 18:47:41/1007/1007.4458[{definition}, {lemma}, {theorem}, \thetheorem, {proposition}].
1582013-04-12 18:44:03/1007/1007.4424[\eqref, \mathbb, {theorem}, {romanlist}, \re, \refcite, \keywords, \DeclareMathOperator, \im, \bodymatter, \text, {proposition}]; 1 missing file[ws.sty].
1592013-04-12 18:30:13/1007/1007.4157[\EdgeL, {lemma}, {theorem}, \FixStateDiameter, \ChgStateLineWidth, \rrbracket, \volume, \extrasenglish, \VCDraw, \email, \Point, \jdate, {proposition}, \llbracket, \pubyear, \citeauthoryear, \ChgStateLineColor, {VCPicture}, \thetheorem, \dateenglish, \St
1602013-04-12 18:13:51/1007/1007.3862[\catchline, {theorem}, \tbl, {itemlist}, \keywords, \address, {history}, {corollary}, \botrule, \toprule, {proof}, {proposition}]; 1 missing file[ws-ijbc.cls].
1612013-04-12 18:01:24/1007/1007.3622[{keywords}, {theorem}, \firstpageno, \citep, \editor, \name, \ShortHeadings, \email, {corollary}, {remark}, \addr, {proof}, \AND, {proposition}]; 2 missing files[jmlr2e.sty, breakurl.sty].
1622013-04-12 17:09:23/1007/1007.2816[\citeauthoryear, {lemma}, \citeyear, {keywords}, {theorem}, \accepted, \volume, \submitted, \revised, \pagerange, \jdate, {proposition}, \pubyear]; 2 missing files[tlp.cls, aopmath.sty].
1632013-04-12 15:56:00/1007/1007.1511[\pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {remark}, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {definition}, \Email, \Keywords].
1642013-04-12 14:45:29/1007/1007.0309[\proof, {lemma}, {theorem}, \qed, {proposition}]; 1 missing file[preprint.cls].
1652013-04-12 14:36:47/1007/1007.0170[{lemma}, \N, {theorem}, \lvec, {example}, \lcir, \linewd, \Z, \lpatt, \arrowheadtype, \dashline, {proposition}, \Der, \drawdim, {texdraw}, \m, \drawline, \fcir, {corollary}, \Thicklines, \lfill, \ord, \C, \Char, {remark}, @, \Q, \setgray, \avec, \R, \rel
1662013-04-12 14:28:42/1007/1007.0034[\includegraphics, \address, \text, {proposition}]; 1 missing file[ws-ijbc1.cls].
1672013-04-12 14:12:08/1006/1006.5686[\Dbf, \Qbf, {lemma}, \Ibf, \mbf, \Pbb, \pbf, \Rbb, \drm, \Kmc, \Pmc, \erm, \cbf, {proposition}, \Tsf, \authorblockA, \Rbf, \Smc, \xbf, \authorblockN, \Jbf, \wbf, \ebf, {corollary}, \Emc, \kbf, \qbf]; 2 missing files[Steven.sty, IEEEtran.cls].
1682013-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].
1692013-04-12 10:42:58/1006/1006.2120[\authortwo, {lemma}, {theorem}, \ams, \addressthree, \authorone, \addressone, \authornames, \shorttitle, {corollary}, {remark}, \addresstwo, {proposition}, \authorthree].
1702013-04-12 10:23:49/1006/1006.1752[{lemma}, {theorem}, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {remark}, \AuthorNameForHeading, \URLaddress, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {corollary}, \Email, \Keywor
1712013-04-12 09:34:03/1006/1006.0478[{theorem}, \EmailD, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {example}, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {corollary}, \Keywords].
1722013-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
1732013-04-12 08:53:41/1111/1111.7143[{definition}, {theorem}, {corollary}, {AMS}, {proof}, {proposition}].
1742013-04-12 08:11:28/1111/1111.6283[{theorem}, {proof}, {proposition}]; 1 missing file[ltexpprt.sty].
1752013-04-12 08:03:12/1111/1111.6128[{lemma}, {theorem}, \thetheorem, {definition}, {AMS}, {proof}, {proposition}, \diag].
1762013-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].
1772013-04-12 07:28:29/1111/1111.5409[{theorem}, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {example}, {remark}, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, \Email, \Keywords].
1782013-04-12 07:15:28/1111/1111.5167[{lemma}, {theorem}, {definition}, {AMS}, {corollary}, {proof}, {proposition}, \diag].
1792013-04-12 06:12:47/1111/1111.4004[{lemma}, {theorem}, {corollary}, {AMS}, {proof}, \thetheorem, {proposition}].
1802013-04-12 04:47:53/1111/1111.2386[{lemma}, {theorem}, \thetheorem, {definition}, {AMS}, {corollary}, {proof}, {proposition}].
1812013-04-12 03:38:13/1111/1111.1118[{lemma}, {theorem}, {AMS}, {proof}, \thetheorem, {proposition}].
1822013-04-12 03:22:38/1111/1111.0818[{definition}, {theorem}, {AMS}, \thetheorem, {proof}, {proposition}].
1832013-04-12 03:03:03/1111/1111.0476[\xspace, \affil, {lemma}, \N, {theorem}, \mathbb, {definition}, {fact}, \fun, {corollary}, {proof}, {proposition}, {observation}]; 1 missing file[mskrzypczak.sty].
1842013-04-12 02:52:43/1111/1111.0228[{cor}, {theorem}, {remark}, \newtheorem, {proposition}]; 1 missing file[IEEEtran.cls].
1852013-04-12 02:46:10/1111/1111.0120[{lemma}, {theorem}, \EmailD, \pdfbookmark, \LastPageEnding, \Classification, \ArticleDates, {example}, {remark}, \AuthorNameForHeading, {proposition}, \Abstract, \ArticleName, \ShortArticleName, \FirstPageHeading, \Address, \Author, {definition}, {coroll
1862013-04-12 02:18:31/1110/1110.6618[{lemma}, {theorem}, \operators, \iso, \bigleftchoice, {ackn}, \centralCp, \Z, {remark}, \calsymbols, {notation}, \normal, \rtimes, {lem}, {thm}, {proposition}, \prim, \bbsymbols, {prop}, \centralC, \Q, \bigC, \F, \Prim, {hypothesis}, \bZ, \Aut, \cH]; 1 m
1872013-04-12 01:09:17/1110/1110.5353[{definition}, {lemma}, {conjecture}, {theorem}, {proposition}].
1882013-04-12 01:05:43/1110/1110.5276[{lemma}, {theorem}, {AMS}, \Appendix, \thetheorem, {proof}, {proposition}, \varint].
1892013-04-12 00:51:09/1110/1110.4946[{lemma}, {theorem}, \thechapter, {comment}, \@currentID, {remark}, {proof}, {proposition}, {assumption}]; 1 missing file[ws.sty].
1902013-04-12 00:48:56/1110/1110.4912[{lemma}, {theorem}, \thetheorem, \crv, \xy, \endxy, \xyoption, Align, {corollary}, {AMS}, \dir, {proof}, \supp, {proposition}, \diag, \ar]; 1 missing file[xy.sty].
1912013-04-12 00:46:16/1110/1110.4899[\msc, {lemma}, {theorem}, {example}, \address, {remark}, \lastname, \ar, {proposition}, \xymatrix, \keywords, {Definition}, Align, {corollary}, {proof}, \hole]; 1 missing file[artjlt_modified.cls].
1922013-04-12 00:34:44/1110/1110.4721[\mathds, \pacs, \inst, \institute, \keywords, \articletype, \includegraphics, \email, {proposition}]; 1 missing file[cej.cls].
1932013-04-12 00:31:34/1110/1110.4660[{lemma}, {theorem}, {corollary}, {proposition}]; 3 missing files[theomac.sty, xy.sty, articleplus.cls].
1942013-04-12 00:20:18/1110/1110.4412[{lemma}, {theorem}, {game}, \nicefrac, {definition}, Align, {AMS}, {proof}, {proposition}]; 1 missing file[sgame.sty].
1952013-04-12 00:17:51/1110/1110.4375[{definition}, {theorem}, {proposition}].
1962013-04-11 23:35:21/1110/1110.3526[\Ker, \Sets, {lemma}, {xy}, {theorem}, \leqslant, \mathfrak, {example}, \address, \email, {CD}, \Rep, \id, {remark}, \End, \Gal, \ar, {proposition}, \classification, \Spec, \mathbb, \geqslant, \Hom, \keywords, {definition}, \Aut, {corollary}, \GL, \Fun,
1972013-04-11 23:28:07/1110/1110.3350[{example}, {lemma}, {exercise}, {theorem}, {corollary}, {proposition}].
1982013-04-11 23:14:26/1110/1110.3172[{theorem}, \newtheorem, {proposition}].
1992013-04-11 21:42:59/1110/1110.1514[{lemma}, {theorem}, \Cref, {definition}, \subfloat, \namecref, {remark}, \declaretheorem, {proposition}]; 2 missing files[thmtools.sty, cleveref.sty].
2002013-04-11 21:36:53/1110/1110.1352[{definition}, {lemma}, {theorem}, {corollary}, {AMS}, {proof}, {proposition}].
>>>

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