LNCS 诉讼模板命令 \proof 已定义

Question

尝试将我的论文转换为 LNCS 格式，但我不知道这里的错误来源是什么

\documentclass[runningheads]{llncs}
\usepackage{amsmath,amsthm,amssymb}
\usepackage[algosection,ruled,lined,linesnumbered,longend]{algorithm2e}
\usepackage{hyperref}
\usepackage{cleveref}
\usepackage{thmtools}
\begin{document}
\title{Contribution Title\thanks{Supported by organization x.}}
\maketitle              
\begin{abstract}
The abstract 
\end{abstract}
\section{First Section}
\subsection{A Subsection Sample}
Please note 
\end{document}

LNCS 文件可在此处获取https://www.overleaf.com/read/ygfkzwkxjhbw#d20610

Answer 1

该类llncs有自己的方式来定义类似定理的环境，并且不喜欢与一起调用amsmath。

它已经定义了一个proof环境，即

\spnewtheorem*{proof}{Proof}{\itshape}{\rmfamily}

以一种非常精心设计的方式，这确保了如果\proofname被定义（可能是通过语言定义文件），它将被用于标记证明。

Springer 的内部风格似乎是一般不加 QED 符号；我查了一下 Lang 的《代数》和 Hartshorne 的《代数几何》，都没有 QED 符号；相反，Massey 的《奇异同调理论》在行末有_{^{QED 。}}

我的建议是只加载amsthm它的proof环境，并不是加载thmtools，但要依靠 Springer 的\spnewtheorem命令来定义类似定理的环境（或使用预定义的环境）

theorem case conjecture corollary definition example exercise
lemma note problem property proposition question solution remark

最后加载amsthm并且不加载thmtools。

\documentclass[runningheads]{llncs}
\usepackage{amsmath,amssymb}
\usepackage[algosection,ruled,lined,linesnumbered,longend]{algorithm2e}
\usepackage{hyperref}
\usepackage{cleveref}

\let\proof\relax\let\endproof\relax
\usepackage{amsthm}

\begin{document}

\title{Contribution Title\thanks{Supported by organization x.}}
\maketitle
\begin{abstract}
The abstract
\end{abstract}

\section{First Section}
\subsection{A Subsection Sample}
Please note

\begin{proof}
abc
\end{proof}

\end{document}