OpenMath / CDs

The OpenMath Content Dictionaries
12 stars 9 forks source link

I can't find mathematical optimisation CDs #42

Open areleu opened 1 year ago

areleu commented 1 year ago

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 commented 1 year ago

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 Pyomohttps://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, JuMPhttps://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, GAMShttps://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, AMPLhttps://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 GitHubhttps://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 unsubscribehttps://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 commented 1 year ago

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.