From bdb1503df456dc6baa912168edd7fdf5b8db59d6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cl=C3=A9ment=20Aubert?= Date: Thu, 2 Oct 2025 13:05:32 -0400 Subject: [PATCH] Create CITATION.cff Following the official guidelines, cf. https://citation-file-format.github.io/. This will ease referring to your project, cf. explanations at https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/about-citation-files --- CITATION.cff | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 CITATION.cff diff --git a/CITATION.cff b/CITATION.cff new file mode 100644 index 0000000..56dcef1 --- /dev/null +++ b/CITATION.cff @@ -0,0 +1,31 @@ +cff-version: 1.2.0 +title: optlib +message: >- + If you use this software, please cite it using the + metadata from this file. +type: software +authors: + - alias: Blackfeather007 + - given-names: Chenyi + family-names: Li + affiliation: Peking University + - given-names: Alissa + family-names: Tung + affiliation: 'Chinese University of Hong Kong, Shenzhen' + - given-names: Zaiwen + family-names: Wen + affiliation: Peking University + email: wenzw@pku.edu.cn +identifiers: + - type: url + value: 'https://github.com/optsuite/optlib' +repository-code: 'https://github.com/optsuite/optlib' +url: 'https://optsuite.github.io/optlib/' +abstract: >- + We aim to formalize the broad area of mathematical + optimization including convex analysis, convex + optimization, nonlinear programming, integer programming + and etc in Lean4. Related topics include but are not + limited to the definition and properties of convex and + nonconvex functions, optimality conditions, convergence of + various algorithms.