Ecosyste.ms: Papers

An open API service providing mapping between scientific papers and software projects that are mentioned in them.
All mentions data is based on the CZI Software Mentions dataset.

Projects: pypi: solver

https://packages.ecosyste.ms/registries/pypi.org/packages/solver

Math problem solver
4 versions
Latest release: over 9 years ago
280 downloads last month

Papers Mentioning solver 20

10.1186/s13015-019-0145-8
Repairing Boolean logical models from time-series data using Answer Set Programming
Cited by: 3
Author(s): Alexandre Lemos, Inês Lynce, Pedro T. Monteiro
Software Mentions: 3
Published: over 5 years ago
10.1098/rstb.2014.0306
How could preventive therapy affect the prevalence of drug resistance? Causes and consequences
Cited by: 17
Author(s): Amber Kunkel, Caroline Colijn, Marc Lipsitch, Ted Cohen
Software Mentions: 3
Published: over 9 years ago
10.3390/molecules25030746
A Novel Dimeric Exoglucanase (GH5_38): Biochemical and Structural Characterisation towards its Application in Alkyl Cellobioside Synthesis
Cited by: 5
Author(s): Mpho S. Mafa, Heinrich Wilfred Dirr, Samkelo Malgas, Rui W. M. Krause, Konanani Rashamuse, Brett I. Pletschke
Software Mentions: 2
Published: almost 5 years ago
10.1186/s12962-020-00217-9
Health systems efficiency in Eastern Mediterranean Region: a data envelopment analysis
Cited by: 16
Author(s): Hamed Seddighi, Farhad Nosrati Nejad, Mehdi Basakha
Software Mentions: 2
Published: over 4 years ago
10.3390/biology9010018
Provincial Differences and Dynamic Changes in Mariculture Efficiency in China: Based on Super-SBM Model and Global Malmquist Index
Cited by: 7
Author(s): Xuan Yu, Qiuguang Hu, Manhong Shen
Software Mentions: 2
Published: almost 5 years ago
10.1007/978-3-030-53291-8_7
Global Guidance for Local Generalization in Model Checking
Cited by: 12
Author(s): Hari Govind Vediramana Krishnan, YuTing Chen, Sharon Shoham, Arie Gurfinkel
Software Mentions: 2
Published: almost 5 years ago
10.3389/fpls.2019.00566
Genetic Correlations Between Photosynthetic and Yield Performance in Maize Are Different Under Two Heat Scenarios During Flowering
Cited by: 18
Author(s): Vlatko Galić, Mario Franić, Antun Jambrović, Tatjana Ledenčan, Andrija Brkić, Zvonimir Zdunić, Domagoj Šimić
Software Mentions: 2
Published: over 5 years ago
10.1038/s41598-021-92297-7
Breaking the acoustic diffraction limit with an arbitrary shape acoustic magnifying lens
Cited by: 2
Author(s): Ali Abdolali, Hooman Barati Sedeh, Mohammad Hosein Fakheri, Chen Shen, Fei Sun
Software Mentions: 2
Published: over 3 years ago
10.3390/s20174971
A Simplified Numerical Approach to Examine the Sensitivity of Two-Electrode Capacitance Sensor Orientation to Capture Different Gas–Liquid Flow Patterns in a Small Circular Pipe
Cited by: 0
Author(s): Fayez M. Al-Alweet, Artur J. Jaworski, Yusif A. Alghamdi, Zeyad Almutairi, Jerzy Kołłątaj
Software Mentions: 2
Published: about 4 years ago
10.3390/s21155135
Affective Computing on Machine Learning-Based Emotion Recognition Using a Self-Made EEG Device
Cited by: 10
Author(s): Ngoc-Dau Mai, Boon-Giin Lee, Wan-Young Chung
Software Mentions: 2
Published: over 3 years ago
10.3390/ma12091555
Design of a 2 × 4 Hybrid MMI-MZI Configuration with MMI Phase-Shifters
Cited by: 2
Author(s): Boris B. Niraula, Conrad Rizal
Software Mentions: 1
Published: over 5 years ago
10.1080/16546628.2017.1358035
Optimal formulations of local foods to achieve nutritional adequacy for 6–23-month-old rural Tanzanian children
Cited by: 9
Author(s): Jofrey Raymond, Neema Kassim, Jerman Rose, Morris Agaba
Software Mentions: 1
Published: almost 8 years ago
10.3390/s21093055
SAT and SMT-Based Verification of Security Protocols Including Time Aspects
Cited by: 4
Author(s): Sabina Szymoniak, Olga Siedlecka-Lamch, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Mirosław Kurkowski
Software Mentions: 1
Published: over 3 years ago
10.1038/s41598-018-22165-4
Experimental demonstration of conformal phased array antenna via transformation optics
Cited by: 21
Author(s): Juan Liu, Juxing Yang, Xi Chen, Zhiya Zhang, Guang Fu, Yang Hao
Software Mentions: 1
Published: over 6 years ago
10.3390/ijms20174165
Reaction of 1-propanol with Ozone in Aqueous Media
Cited by: 7
Author(s): Erika Reisz, Agnes Tekle-Röttering, Sergej Naumov, W. Schmidt, Torsten Schmidt
Software Mentions: 1
Published: about 5 years ago
10.7717/peerj.7684
Simultaneous molecular docking of different ligands to His6-tagged organophosphorus hydrolase as an effective tool for assessing their effect on the enzyme
Cited by: 4
Author(s): Aysel Aslanli
Software Mentions: 1
Published: about 5 years ago
10.1371/journal.pone.0173183
Model-based quantification of metabolic interactions from dynamic microbial-community data
Cited by: 41
Author(s): Mark J. Hanemaaijer, Brett G. Olivier, Wilfred F. M. Röling, Frank J. Bruggeman, Bas Teusink
Software Mentions: 1
Published: over 7 years ago
10.1371/journal.pone.0144421
Temporal Data Set Reduction Based on D-Optimality for Quantitative FLIM-FRET Imaging
Cited by: 2
Author(s): Travis Omer, Xavier Intes, Juergen Hahn
Software Mentions: 1
Published: almost 9 years ago
10.1371/journal.pone.0219914
An acoustic source model for asymmetric intraglottal flow with application to reduced-order models of the vocal folds
Cited by: 8
Author(s): Byron D. Erath, Sean D. Peterson, Kelley S. Weiland, Michael W. Plesniak, Matías Zañartu
Software Mentions: 1
Published: over 5 years ago
10.3390/ijerph13060548
An Improved Multi-Objective Programming with Augmented ε-Constraint Method for Hazardous Waste Location-Routing Problems
Cited by: 60
Author(s): Hao Yu, Wei Deng Solvang
Software Mentions: 1
Published: over 8 years ago