Fages, François
- Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels
2018/09/24 by Baudier, Adrien, Fages, François, Soliman, Sylvain · 1 citation
#Discrete Mathematics (cs.DM) #FOS: Biological sciences #FOS: Computer and information sciences #Quantitative Methods (q-bio.QM)
- A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
2024/02/27 by François Fages, Fages, François · 1 voice
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Mathematical Software (cs.MS) #Programming Languages (cs.PL) #cs.LO #cs.MS #cs.PL
- Reactmine: a statistical search algorithm for inferring chemical reactions from time series data
2022/09/07 by Martinelli, Julien, Grignard, Jeremy, Soliman, Sylvain +2 · 2 citations
#FOS: Biological sciences #FOS: Computer and information sciences #Machine Learning (stat.ML) #Quantitative Methods (q-bio.QM)