ESCI期刊Formalized Mathematics 2024/2025影響因子:1.159 (FORMALIZ MATH) (1898-9934). (MATHEMATICS)(數(shù)學)Emerging Sources Citatio

aviator

保守

Mets552

Submitted on: 31 October 2009. Revised on: 09 January 2010. Accepted on: 14 February 2010. ___________________Formalized Mathematics---SCIENDO

Isometric

braggadocio

Submitted on: 17 November 2000. Revised on: 28 February 2001. Accepted on: 24 March 2001. ___________________Formalized Mathematics---SCIENDO

Entrancing

Submitted on: 12 June 1998. Revised on: 30 July 1998. Accepted on: 24 September 1998. ___________________Formalized Mathematics---SCIENDO

Essential

使習慣于

Submitted on: 06 February 1999. Revised on: 09 April 1999. Accepted on: 01 May 1999. ___________________Formalized Mathematics---SCIENDO

指派

Dislocation

Submitted on: 21 March 2008. Revised on: 24 April 2008. Accepted on: 17 May 2008. ___________________Formalized Mathematics---SCIENDO