Loading…
Global Stability of a Caputo Fractional SIRS Model with General Incidence Rate
Sidi Ammi, Moulay Rchid, Tahiri, Mostafa, Torres, Delfim F. M.
Published in Mathematics in computer science (01.03.2021)
Published in Mathematics in computer science (01.03.2021)
Get full text
Journal Article
Loading…
Loading…
Coquelicot: A User-Friendly Library of Real Analysis for Coq
Boldo, Sylvie, Lelay, Catherine, Melquiond, Guillaume
Published in Mathematics in computer science (01.03.2015)
Published in Mathematics in computer science (01.03.2015)
Get full text
Journal Article
Loading…
Loading…
Efficient Checking of Separating Indeterminates: Efficient Checking of Separating Indeterminates
Andraschko, Bernhard, Kreuzer, Martin, Long, Le Ngoc
Published in Mathematics in computer science (01.12.2025)
Published in Mathematics in computer science (01.12.2025)
Get full text
Journal Article
Loading…
Loading…
Loading…
A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques
Ledaguenel, Arthur, Hudelot, Céline, Khouadjia, Mostepha
Published in Mathematics in computer science (01.12.2025)
Published in Mathematics in computer science (01.12.2025)
Get full text
Journal Article
Loading…
Loading…
A Block Structure for Cocyclic Hadamard Matrices of Order 8p
Barrera Acevedo, Santiago, Dietrich, Heiko, Vaidya, Kshitija
Published in Mathematics in computer science (01.12.2025)
Published in Mathematics in computer science (01.12.2025)
Get full text
Journal Article
Loading…
Loading…
Qualitative Investigation of the Lorenz-84 System Using Computer Algebra Methods
Song, Jichao, Niu, Wei, Huang, Bo, Deng, Le
Published in Mathematics in computer science (01.12.2025)
Published in Mathematics in computer science (01.12.2025)
Get full text
Journal Article
Loading…
Loading…
Loading…
Selected Aspects of Non orthogonal Multiple Access for Future Wireless Communications
Flizikowski, Adam, Marciniak, Tomasz, Wysocki, Tadeusz A., Oyerinde, Olutayo
Published in Mathematics in computer science (01.06.2023)
Published in Mathematics in computer science (01.06.2023)
Get full text
Journal Article
Loading…
SAT Solving Using XOR-OR-AND Normal Forms: SAT Solving Using XOR-OR-AND Normal Forms
Andraschko, Bernhard, Danner, Julian, Kreuzer, Martin
Published in Mathematics in computer science (01.12.2024)
Published in Mathematics in computer science (01.12.2024)
Get full text
Journal Article
Loading…
Last Symbol Distribution in Pattern Avoiding Catalan Words
Baril, Jean-Luc, González, Javier F., Ramírez, José L.
Published in Mathematics in computer science (01.03.2024)
Published in Mathematics in computer science (01.03.2024)
Get full text
Journal Article
Loading…
Using Machine Learning to Improve Cylindrical Algebraic Decomposition
Huang, Zongyan, England, Matthew, Wilson, David J., Bridge, James, Davenport, James H., Paulson, Lawrence C.
Published in Mathematics in computer science (01.12.2019)
Published in Mathematics in computer science (01.12.2019)
Get full text
Journal Article
Loading…
TiGL: An Open Source Computational Geometry Library for Parametric Aircraft Design
Siggel, Martin, Kleinert, Jan, Stollenwerk, Tobias, Maierl, Reinhold
Published in Mathematics in computer science (01.09.2019)
Published in Mathematics in computer science (01.09.2019)
Get full text
Journal Article
Loading…