logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
M

Mathematics in Computer Science

IF1
Papers12
Citations
Journal Papers 12
Publication Date
delete
Integrable Cases of the Bautin System
deleteMathematics in Computer Science
IF1
delete2026-04-29
delete0
PREAI
deleteEdneral, Victor F.
deleteShare
deleteSave
Extensions of the Cylindrical Algebraic Covering Method for Quantifiers
deleteMathematics in Computer Science
IF1
delete2026-04-28
delete0
PREAI
deleteNalbach, Jasper; Kremer, Gereon
deleteShare
deleteSave
An Approximate Decomposition of a Multivariate Polynomial and Its Application
deleteMathematics in Computer Science
IF1
delete2026-04-07
delete0
PREAI
deleteTokuda, Rikuna; Sekigawa, Hiroshi
deleteShare
deleteSave
On the Theory of Order Over Real Numbers
deleteMathematics in Computer Science
IF1
delete2026-04-03
delete0
PREAI
deleteBoigelot, Bernard; Fontaine, Pascal; Vergain, Baptiste
deleteShare
deleteSave
Dynamic Disjunctive Hierarchical Secret Sharing Scheme Using Elliptic Curves
deleteMathematics in Computer Science
IF1
delete2026-04-03
delete0
PREAI
deleteChintamani, Mohan; Paul, Prabal; Sa, Laba
deleteShare
deleteSave
Validated Numerical Hensel Lifting
deleteMathematics in Computer Science
IF1
delete2026-03-26
delete0
PREAI
deleteBrehard, Florent; Kruger, Jasmin; Poteaux, Adrien; Vinciguerra, Arthur
deleteShare
deleteSave
Canonical Forms and Widening for Two Variables Per Inequality Systems
deleteMathematics in Computer Science
IF1
delete2026-03-11
delete0
PREAI
deleteBrain, Martin; Howe, Jacob M.
deleteShare
deleteSave
Minimal Staggered Linear Bases and Their Applications
deleteMathematics in Computer Science
IF1
delete2026-03-04
delete0
PREAI
deleteHashemi, Amir; Jagersma, Nicolas; Orth, Matthias; Seiler, Werner M.
deleteShare
deleteSave
Computing in Complete Local Equicharacteristic Noetherian Rings Via Topological Rewriting on Commutative Formal Power Series
deleteMATHEMATICS IN COMPUTER SCIENCE
IF1
delete2025-11-21
delete0
deleteOAAI
deleteMusson-Leymarie, Adya
deleteShare
deleteSave
Iterated Resultants and Rational Functions in Real Quantifier Elimination
deleteMATHEMATICS IN COMPUTER SCIENCE
IF1
delete2025-11-19
delete0
deleteOAAI
deleteDavenport, James H.; England, Matthew; McCallum, Scott; Uncu, Ali K.
deleteShare
deleteSave
Projection Cubes of Symmetric Designs
deleteMATHEMATICS IN COMPUTER SCIENCE
IF1
delete2025-11-08
delete1
PREAI
deleteKrcadinac, Vedran; Relic, Lucija
deleteShare
deleteSave
Symmetric Integrability and Linearizability of Weak Saddles in Planar Cubic Differential Systems
deleteMATHEMATICS IN COMPUTER SCIENCE
IF1
delete2025-10-17
delete0
PREAI
deleteWu, Yusen; Li, Yangtao; Li, Xinli; Wang, Xiangyu
deleteShare
deleteSave