I can't find mathematical optimisation CDs

[areleu]

Hello,

I wanted to ask if someone is already working on CDs for Mathematical Optimization . If not If anyone has interest I could take over and organize their development, although I have zero experience with OpenMath but one can always learn by doing.

Would such a group of CD would make sense? What I have in mind is a target for software like Pyomo, JuMP, GAMS, AMPL to generate mathematical objects with common semantics independent of software or target solver. None of the software mentioned support OpeanMath or any kind of open mathematic notation so it would be nice to have pioneers, if any of their developers come across this post please contact me.

To the developers of OpenMath, any resources on how to develop CDs or any volunteers on helping with this task are very welcome.

[JamesHDavenport]

That's a good question. I know of no such. Obviously there's max and min, but that's a long way from what I guess you're talking about. I am not an expert on optimisation, but happy to work with you. James Davenport Hebron & Medlock Professor of Information Technology, University of Bath National Teaching Fellow 2014; DSc (honoris causa) UVT Former Fulbright CyberSecurity Scholar (at New York University) Former Vice-President and Academy Chair, British Computer Society My workload obliges me to work, and send e-mails, outside working hours, but I don’t expect recipients to respond outside their working hours

…

________________________________ From: e_arel ***@***.***> Sent: 07 March 2023 15:52 To: OpenMath/CDs ***@***.***> Cc: Subscribed ***@***.***> Subject: [OpenMath/CDs] I can't find mathematical optimisation CDs (Issue #42) CAUTION: This email came from outside of the University. To keep your account safe, only click on links and open attachments if you know the person who sent the email, or you expected to receive this communication. Hello, I wanted to ask if someone is already working on CDs for Mathematical Optimization <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fen.wikipedia.org%2Fwiki%2FMathematical_optimization&data=05%7C01%7Cmasjhd%40bath.ac.uk%7Cae0177f331ed47549d9708db1f24076a%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C638138011815587183%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=NZTiQFRLuncmBIZKFLNKYgMZrtZL%2F8LixsYXL%2FelRic%3D&reserved=0> . If not If anyone has interest I could take over and organize their development, although I have zero experience with OpenMath but one can always learn by doing. Would such a group of CD would make sense? What I have in mind is a target for software like Pyomo<https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.pyomo.org%2F&data=05%7C01%7Cmasjhd%40bath.ac.uk%7Cae0177f331ed47549d9708db1f24076a%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C638138011815587183%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=tCtCWcz%2BNggOF71V%2FZ0%2BlHq%2BRRPT2e%2FqX%2BA9FVrWY8s%3D&reserved=0>, JuMP<https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fjump.dev%2FJuMP.jl%2Fstable%2F&data=05%7C01%7Cmasjhd%40bath.ac.uk%7Cae0177f331ed47549d9708db1f24076a%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C638138011815587183%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=pWFXxWi8mpC4aE4r4d65qj68j1ZAQLEU3D32EOHK2Dc%3D&reserved=0>, GAMS<https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.gams.com%2F&data=05%7C01%7Cmasjhd%40bath.ac.uk%7Cae0177f331ed47549d9708db1f24076a%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C638138011815743423%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=VjhqtpCg3%2FbrdYoDP3SPXl3mkiCqnRhfUO2pVgNEEUw%3D&reserved=0>, AMPL<https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fampl.com%2F&data=05%7C01%7Cmasjhd%40bath.ac.uk%7Cae0177f331ed47549d9708db1f24076a%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C638138011815743423%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=P8j%2BuVKomdWcw7%2BE5xSQgbShYKewgWZ4y5J5UMuWtH0%3D&reserved=0> to generate mathematical objects with common semantics independent of software or target solver. None of the software mentioned support OpeanMath or any kind of open mathematic notation so it would be nice to have pioneers, if any of their developers come across this post please contact me. To the developers of OpenMath, any resources on how to develop CDs or any volunteers on helping with this task are very welcome. — Reply to this email directly, view it on GitHub<https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2FOpenMath%2FCDs%2Fissues%2F42&data=05%7C01%7Cmasjhd%40bath.ac.uk%7Cae0177f331ed47549d9708db1f24076a%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C638138011815743423%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=jHFQyivAk8fPpNSTmjyPSHeK9h5iMPTQYVXWariDMTo%3D&reserved=0>, or unsubscribe<https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fnotifications%2Funsubscribe-auth%2FABV5VGJXKHZ32TUPUY7KMLTW25KVXANCNFSM6AAAAAAVSU3FGU&data=05%7C01%7Cmasjhd%40bath.ac.uk%7Cae0177f331ed47549d9708db1f24076a%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C638138011815743423%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=56xjZAR%2B9La5vDDZZvmbZxPoCKS8U39DhPLMe8bkt4I%3D&reserved=0>. You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>

[areleu]

Thanks for your disposition.

In this post I will collect the symbols that I consider necessary.

Symbol	Meaning	Candidates
SparseArray/Tensor	In optimization is often the case that one has to work with higher order arrays	matrix_tensor, sparseMatrix block
Minimize/Maximize	This is the most basic application of optimization. I don't think it exists in an existing CD	None
Objective function	An objective function would be the domain of Maximize/Minimize	None
Subject to	This would have as domain either the Objective function or the Maximize/Minimize application(if the latter is even possible) and the range would be any constraint involving variables in the OF.	None

These are the basic elements to represent the patterns of Linear Programming the most basic form of optimization problems.
From here I don't think it gets that more complicated.