Skip to content

Create CITATION.cff #6

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
aubertc wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Create CITATION.cff #6

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
31 changes: 31 additions & 0 deletions CITATION.cff
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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.