1.73K subscribers
15.5K photos
10 videos
16 files
8.38K links
ArXiv Papers Related to Computer Science, AI, Deep Learning, Computer Vision, NLP, etc

Admins:
@ffarzaddh
Download Telegram
5 of Latest Published Articles:
Formal Languages and Automata Theory
#FormalLanguagesandAutomataTheory


πŸ—’ A Formal Approach to Open Multiparty Interactions
πŸ‘₯ Chiara Bodei, Linda Brodo, Roberto Bruni
πŸ“— PDF


πŸ—’ Coalgebraic Tools for Randomness-Conserving Protocols
πŸ‘₯ Dexter Kozen, Matvey Soloviev
πŸ“— PDF


πŸ—’ Equivalence checking for weak bi-Kleene algebra
πŸ‘₯ Tobias KappΓ©, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
πŸ“— PDF


πŸ—’ Methodic of joint using the tools of automation of lexical and parsing analysis in the process of teaching the programming theory of future informatics teachers
πŸ‘₯ S. O. Semerikov, O. P. Polishchuk
πŸ“— PDF


πŸ—’ Connecting Weighted Automata and Recurrent Neural Networks through Spectral Learning
πŸ‘₯ Guillaume Rabusseau, Tianyu Li, Doina Precup
πŸ“— PDF


#FormalLanguagesandAutomataTheory
AI Python & arXiv Channel
5 of Latest Published Articles:
General Literature
#GeneralLiterature


πŸ—’ Navigating Diverse Data Science Learning: Critical Reflections Towards Future Practice
πŸ‘₯ Yehia Elkhatib
πŸ“— PDF


πŸ—’ GOTO Rankings Considered Helpful
πŸ‘₯ Emery Berger, Stephen M. Blackburn, Carla Brodley, H. V. Jagadish, Kathryn S. McKinley, Mario A. Nascimento, Minjeong Shin, Lexing Xie
πŸ“— PDF


πŸ—’ Michael John Caldwell Gordon (FRS 1994), 28 February 1948 -- 22 August 2017
πŸ‘₯ Lawrence C Paulson
πŸ“— PDF


πŸ—’ How to Read a Research Compendium
πŸ‘₯ Daniel NΓΌst, Carl Boettiger, Ben Marwick
πŸ“— PDF


πŸ—’ Technology, Propaganda, and the Limits of Human Intellect
πŸ‘₯ Panagiotis Metaxas
πŸ“— PDF


#GeneralLiterature
AI Python & arXiv Channel
5 of Latest Published Articles:
Graphics
#Graphics


πŸ—’ Multiresolution Tree Networks for 3D Point Cloud Processing
πŸ‘₯ Matheus Gadelha, Rui Wang, Subhransu Maji
πŸ“— PDF


πŸ—’ StyleBlit: Fast Example-Based Stylization with Local Guidance
πŸ‘₯ Daniel SΓ½kora, OndΕ™ej JamriΕ‘ka, Jingwan Lu, Eli Shechtman
πŸ“— PDF


πŸ—’ Fashion is Taking Shape: Understanding Clothing Preference Based on Body Shape From Online Sources
πŸ‘₯ Hosnieh Sattar, Gerard Pons-Moll, Mario Fritz
πŸ“— PDF


πŸ—’ Inferring Quality in Point Cloud-based 3D Printed Objects using Topological Data Analysis
πŸ‘₯ Paul Rosen, Mustafa Hajij, Junyi Tu, Tanvirul Arafin, Les Piegl
πŸ“— PDF


πŸ—’ Guided Proceduralization: Optimizing Geometry Processing and Grammar Extraction for Architectural Models
πŸ‘₯ Ilke Demir, Daniel G. Aliaga
πŸ“— PDF


#Graphics
AI Python & arXiv Channel
5 of Latest Published Articles:
Computer Science and Game Theory
#ComputerScienceandGameTheory


πŸ—’ Improved Approximations for Free-Order Prophets and Second-Price Auctions
πŸ‘₯ Hedyeh Beyhaghi, Negin Golrezaei, Renato Paes Leme, Martin Pal, Balasubramanian Siva
πŸ“— PDF


πŸ—’ Optimization of a SSP's Header Bidding Strategy using Thompson Sampling
πŸ‘₯ GrΓ©goire Jauvion, Nicolas Grislain, Pascal Sielenou Dkengne, AurΓ©lien Garivier, SΓ©bastien Gerchinovitz
πŸ“— PDF


πŸ—’ Mirror descent in saddle-point problems: Going the extra (gradient) mile
πŸ‘₯ Panayotis Mertikopoulos, Houssam Zenati, Bruno Lecouat, Chuan-Sheng Foo, Vijay Chandrasekhar, Georgios Piliouras
πŸ“— PDF


πŸ—’ On the Equilibrium of Query Reformulation and Document Retrieval
πŸ‘₯ Shihao Zou, Guanyu Tao, Jun Wang, Weinan Zhang, Dell Zhang
πŸ“— PDF


πŸ—’ Surprising strategies obtained by stochastic optimization in partially observable games
πŸ‘₯ Marie-Liesse Cauwet, Olivier Teytaud
πŸ“— PDF


#ComputerScienceandGameTheory
AI Python & arXiv Channel
5 of Latest Published Articles:
Human-Computer Interaction
#HumanComputerInteraction


πŸ—’ DialPlate: Enhancing the Detection of Smooth Pursuits Eye Movements Using Linear Regression
πŸ‘₯ Heiko Drewes, Mohamed Khamis, Florian Alt
πŸ“— PDF


πŸ—’ Design and Evaluation of a Tutor Platform for Personalized Vocabulary Learning
πŸ‘₯ Ravi Kokku, Aditya Vempaty, Tamer Abuelsaad, Prasenjit Dey, Tammy Humphrey, Akimi Gibson, Jennifer Kotler
πŸ“— PDF


πŸ—’ Fair Task Allocation in Crowdsourced Delivery
πŸ‘₯ Fuat Basik, Bugra Gedik, Hakan Ferhatosmanoglu, Kun-Lung Wu
πŸ“— PDF


πŸ—’ Typical Phone Use Habits: Intense Use Does Not Predict Negative Well-Being
πŸ‘₯ Kleomenis Katevas, Ioannis Arapakis, Martin Pielot
πŸ“— PDF


πŸ—’ Photo Screen: Shaping Perceptions of Residential Communities
πŸ‘₯ Holger SchnΓ€delbach, Tom Lodge, Tim Coughlan, Alex Taylor
πŸ“— PDF


#HumanComputerInteraction
AI Python & arXiv Channel
5 of Latest Published Articles:
Information Retrieval
#InformationRetrieval


πŸ—’ Privacy-Adversarial User Representations in Recommender Systems
πŸ‘₯ Yehezkel S. Resheff, Yanai Elazar, Moni Shahar, Oren Sar Shalom
πŸ“— PDF


πŸ—’ A Recommendation System of Grants to Acquire External Funds
πŸ‘₯ Shin Kamada, Takumi Ichimura, Takanobu Watanabe
πŸ“— PDF


πŸ—’ The Recommendation System to SNS Community for Tourists by Using Altruistic Behaviors
πŸ‘₯ Takumi Ichimura, Takuya Uemoto, Shin Kamada
πŸ“— PDF


πŸ—’ Deep Learning for Singing Processing: Achievements, Challenges and Impact on Singers and Listeners
πŸ‘₯ Emilia GΓ³mez, Merlijn Blaauw, Jordi Bonada, Pritish Chandna, Helena Cuesta
πŸ“— PDF


πŸ—’ Constructing a Word Similarity Graph from Vector based Word Representation for Named Entity Recognition
πŸ‘₯ Miguel Feria, Juan Paolo Balbin, Francis Michael Bautista
πŸ“— PDF


#InformationRetrieval
AI Python & arXiv Channel
5 of Latest Published Articles:
Information Theory
#InformationTheory


πŸ—’ Efficient Decoding Algorithms for Polar Codes based on $2\times2$ Non-Binary Kernels
πŸ‘₯ Peihong Yuan, Fabian Steiner
πŸ“— PDF


πŸ—’ Suburban Fixed Wireless Access Channel Measurements and Models at 28 GHz for 90% Outdoor Coverage
πŸ‘₯ Jinfeng Du, Dmitry Chizhik, Rodolfo Feick, Mauricio Rodriguez, Guillermo Castro, Reinaldo. A. Valenzuela
πŸ“— PDF


πŸ—’ On the Performance of NOMA with Hybrid ARQ
πŸ‘₯ Donghong Cai, Zhiguo Ding, Pingzhi Fan, Zheng Yang
πŸ“— PDF


πŸ—’ Successive Cancellation List Decoding of BMERA Codes with Application to Higher-Order Modulation
πŸ‘₯ Tobias Prinz, Peihong Yuan
πŸ“— PDF


πŸ—’ Multiuser One-Bit Massive MIMO Precoding Under MPSK Signaling
πŸ‘₯ Mingjie Shao, Qiang Li, Yatao Liu, Wing-Kin Ma
πŸ“— PDF


#InformationTheory
AI Python & arXiv Channel
5 of Latest Published Articles:
Learning
#Learning


πŸ—’ Kernel-Based Learning for Smart Inverter Control
πŸ‘₯ Aditie Garg, Mana Jalali, Vassilis Kekatos, Nikolaos Gatsis
πŸ“— PDF


πŸ—’ Is Q-learning Provably Efficient?
πŸ‘₯ Chi Jin, Zeyuan Allen-Zhu, Sebastien Bubeck, Michael I. Jordan
πŸ“— PDF


πŸ—’ Latent Alignment and Variational Attention
πŸ‘₯ Yuntian Deng, Yoon Kim, Justin Chiu, Demi Guo, Alexander M. Rush
πŸ“— PDF


πŸ—’ Representation Learning with Contrastive Predictive Coding
πŸ‘₯ Aaron van den Oord, Yazhe Li, Oriol Vinyals
πŸ“— PDF


πŸ—’ Scalable Sparse Subspace Clustering via Ordered Weighted $\ell_1$ Regression
πŸ‘₯ Urvashi Oswal, Robert Nowak
πŸ“— PDF


#Learning
AI Python & arXiv Channel
5 of Latest Published Articles:
Logic in Computer Science
#LogicinComputerScience


πŸ—’ Proceedings of the 7th Workshop on Mathematically Structured Functional Programming
πŸ‘₯ Robert Atkey, Sam Lindley
πŸ“— PDF


πŸ—’ A Formal Approach to Open Multiparty Interactions
πŸ‘₯ Chiara Bodei, Linda Brodo, Roberto Bruni
πŸ“— PDF


πŸ—’ Petri Net Reductions for Counting Markings
πŸ‘₯ Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio
πŸ“— PDF


πŸ—’ Scaling-Up Reasoning and Advanced Analytics on BigData
πŸ‘₯ Tyson Condie, Ariyam Das, Matteo Interlandi, Alexander Shkapsky, Mohan Yang, Carlo Zaniolo
πŸ“— PDF


πŸ—’ Coalgebraic Tools for Randomness-Conserving Protocols
πŸ‘₯ Dexter Kozen, Matvey Soloviev
πŸ“— PDF


#LogicinComputerScience
AI Python & arXiv Channel
5 of Latest Published Articles:
Multiagent Systems
#MultiagentSystems


πŸ—’ Ontology-based multi-agent system to support business users and management
πŸ‘₯ Dejan Lavbič, Olegas Vasilecas, Rok Rupnik
πŸ“— PDF


πŸ—’ The Recommendation System to SNS Community for Tourists by Using Altruistic Behaviors
πŸ‘₯ Takumi Ichimura, Takuya Uemoto, Shin Kamada
πŸ“— PDF


πŸ—’ Dynamics of Taxi-like Logistics Systems: Theory and Microscopic Simulations
πŸ‘₯ Bo Yang, Qianxiao Li
πŸ“— PDF


πŸ—’ Fair Task Allocation in Crowdsourced Delivery
πŸ‘₯ Fuat Basik, Bugra Gedik, Hakan Ferhatosmanoglu, Kun-Lung Wu
πŸ“— PDF


πŸ—’ QDDS: A Novel Quantum Swarm Algorithm Inspired by a Double Dirac Delta Potential
πŸ‘₯ Saptarshi Sengupta, Sanchita Basak, Richard Alan Peters II
πŸ“— PDF


#MultiagentSystems
AI Python & arXiv Channel
5 of Latest Published Articles:
Multimedia
#Multimedia


πŸ—’ Deep Co-Clustering for Unsupervised Audiovisual Learning
πŸ‘₯ Di Hu, Feiping Nie, Xuelong Li
πŸ“— PDF


πŸ—’ Deep Learning for Singing Processing: Achievements, Challenges and Impact on Singers and Listeners
πŸ‘₯ Emilia GΓ³mez, Merlijn Blaauw, Jordi Bonada, Pritish Chandna, Helena Cuesta
πŸ“— PDF


πŸ—’ A Filter of Minhash for Image Similarity Measures
πŸ‘₯ Jun Long, Qunfeng Liu, Xinpan Yuan, Chengyuan Zhang, Junfeng Liu
πŸ“— PDF


πŸ—’ Evaluating the Effects of Material Sonification in Tactile Devices
πŸ‘₯ Rodrigo MartΓ­n, Michael Weinmann, Matthias B. Hullin
πŸ“— PDF


πŸ—’ A JND-based Video Quality Assessment Model and Its Application
πŸ‘₯ Haiqiang Wang, Xinfeng Zhang, Chao Yang, C. -C. Jay Kuo
πŸ“— PDF


#Multimedia
AI Python & arXiv Channel
5 of Latest Published Articles:
Mathematical Software
#MathematicalSoftware


πŸ—’ Architecture and performance of Devito, a system for automated stencil computation
πŸ‘₯ Fabio Luporini, Michael Lange, Mathias Louboutin, Navjot Kukreja, Jan HΓΌckelheim, Charles Yount, Philipp Witte, Paul H. J. Kelly, Gerard J. Gorman, Felix J. Herrmann
πŸ“— PDF


πŸ—’ The Implementation of the Colored Abstract Simplicial Complex and its Application to Mesh Generation
πŸ‘₯ C. T. Lee, J. B. Moody, R. E. Amaro, J. A. McCammon, M. Holst
πŸ“— PDF


πŸ—’ FluidFFT: common API (C++ and Python) for Fast Fourier Transform HPC libraries
πŸ‘₯ Ashwin Vishnu Mohanan, Cyrille Bonamy, Pierre Augier
πŸ“— PDF


πŸ—’ A GPU-enabled finite volume solver for large shallow water simulations
πŸ‘₯ Fabrice Zaoui
πŸ“— PDF


πŸ—’ Implementation of a Near-Optimal Complex Root Clustering Algorithm
πŸ‘₯ RΓ©mi Imbach, Victor Y. Pan, Chee Yap
πŸ“— PDF


#MathematicalSoftware
AI Python & arXiv Channel
5 of Latest Published Articles:
Numerical Analysis
#NumericalAnalysis


πŸ—’ On Sparse Reflexive Generalized Inverses
πŸ‘₯ Marcia Fampa, Jon Lee
πŸ“— PDF


πŸ—’ RBF-LOI: Augmenting Radial Basis Functions (RBFs) with Least Orthogonal Interpolation (LOI) for Solving PDEs on Surfaces
πŸ‘₯ Varun Shankar, Akil Narayan, Robert M. Kirby
πŸ“— PDF


πŸ—’ Tensor ring decomposition
πŸ‘₯ Oscar Mickelin, Sertac Karaman
πŸ“— PDF


πŸ—’ Improving the approximation of the first and second order statistics of the response process to the random Legendre differential equation
πŸ‘₯ J. Calatayud, J. -C. CortΓ©s, M. Jornet
πŸ“— PDF


πŸ—’ Meshless Methods for Large Deformation Elastodynamics
πŸ‘₯ Matthias RΓΆthlin, Hagen Klippel, Konrad Wegener
πŸ“— PDF


#NumericalAnalysis
AI Python & arXiv Channel
5 of Latest Published Articles:
Neural and Evolutionary Computing
#NeuralandEvolutionaryComputing


πŸ—’ Recurrent Auto-Encoder Model for Large-Scale Industrial Sensor Signal Analysis
πŸ‘₯ Timothy Wong, Zhiyuan Luo
πŸ“— PDF


πŸ—’ DLOPT: Deep Learning Optimization Library
πŸ‘₯ AndrΓ©s Camero, Jamal Toutouh, Enrique Alba
πŸ“— PDF


πŸ—’ Significance-based Estimation-of-Distribution Algorithms
πŸ‘₯ Benjamin Doerr, Martin Krejca
πŸ“— PDF


πŸ—’ Fine Tuning Method by using Knowledge Acquisition from Deep Belief Network
πŸ‘₯ Shin Kamada, Takumi Ichimura
πŸ“— PDF


πŸ—’ An Adaptive Learning Method of Deep Belief Network by Layer Generation Algorithm
πŸ‘₯ Shin Kamada, Takumi Ichimura
πŸ“— PDF


#NeuralandEvolutionaryComputing
AI Python & arXiv Channel
5 of Latest Published Articles:
Networking and Internet Architecture
#NetworkingandInternetArchitecture


πŸ—’ Social-Feature Enabled Communications among Devices towards Smart IoT Community
πŸ‘₯ Qinghe Du, Houbing Song, Xuejie Zhu
πŸ“— PDF


πŸ—’ Soft-TTL: Time-Varying Fractional Caching
πŸ‘₯ Jasper Goseling, Osvaldo Simeone
πŸ“— PDF


πŸ—’ Using Complex Network Theory for Temporal Locality in Network Traffic Flows
πŸ‘₯ Jin-Fa Wang, Hai Zhao, Shuai-Zong Si, Hao Yu, Shuai Chao, Xuan He
πŸ“— PDF


πŸ—’ Hybrid-Vehcloud: An Obstacle Shadowing Approach for VANETs in Urban Environment
πŸ‘₯ Anirudh Paranjothi, Mohammad S Khan, Mohammed Atiquzzaman
πŸ“— PDF


πŸ—’ A Novel IoT Architecture based on 5G-IoT and Next Generation Technologies
πŸ‘₯ Hamed Rahimi, Ali Zibaeenejad, Ali Akbar Safavi
πŸ“— PDF


#NetworkingandInternetArchitecture
AI Python & arXiv Channel
5 of Latest Published Articles:
Other Computer Science
#OtherComputerScience


πŸ—’ Automatic streetlights that glow on detecting night and object using Arduino
πŸ‘₯ Zain Mumtaz, Saleem Ullah, Zeeshan Ilyas, Shuo Liu, Naila Aslam, Jehangir Arshad Meo, Hamza Ahmad Madni
πŸ“— PDF


πŸ—’ Design of TDC ASIC based on Temperature Compensation
πŸ‘₯ Yichao Ma, Xinyang Hong, Jian Zhuang, Zhijia Sun, Yafan Tao, Yongsheng Shi, Jianrong Zhou
πŸ“— PDF


πŸ—’ Design and Application of Data Aquistion Interface Circuit
πŸ‘₯ Hayder O. Alwan, Noor M. Farhan, Qais S- Al-Sabbagh
πŸ“— PDF


πŸ—’ A Framework for Detecting and Translating User Behavior from Smart Meter Data
πŸ‘₯ Egon Kidmose, Emad Ebeid, Rune Hylsberg Jacobsen
πŸ“— PDF


πŸ—’ Research on Artificial Intelligence Ethics Based on the Evolution of Population Knowledge Base
πŸ‘₯ Feng Liu, Yong Shi
πŸ“— PDF


#OtherComputerScience
AI Python & arXiv Channel
5 of Latest Published Articles:
Operating Systems
#OperatingSystems


πŸ—’ Parallel Architecture Hardware and General Purpose Operating System Co-design
πŸ‘₯ Oskar Schirmer
πŸ“— PDF


πŸ—’ Integrating Proactive Mode Changes in Mixed Criticality Systems
πŸ‘₯ Flavio R Massaro Jr., Paulo S. Martins, Edson L. Ursini
πŸ“— PDF


πŸ—’ LazyFP: Leaking FPU Register State using Microarchitectural Side-Channels
πŸ‘₯ Julian Stecklina, Thomas Prescher
πŸ“— PDF


πŸ—’ Blocking time under basic priority inheritance: Polynomial bound and exact computation
πŸ‘₯ Paolo Torroni, Zeynep Kiziltan, Eugenio Faldella
πŸ“— PDF


πŸ—’ Minimizing Event-Handling Latencies in Secure Virtual Machines
πŸ‘₯ Janis Danisevskis, Michael Peter, Jan Nordholz
πŸ“— PDF


#OperatingSystems
AI Python & arXiv Channel
5 of Latest Published Articles:
Performance
#Performance


πŸ—’ A Comparative Study of Containers and Virtual Machines in Big Data Environment
πŸ‘₯ Qi Zhang, Ling Liu, Calton Pu, Qiwei Dou, Liren Wu, Wei Zhou
πŸ“— PDF


πŸ—’ Restructuring Batch Normalization to Accelerate CNN Training
πŸ‘₯ Daejin Jung, Wonkyung Jung, and Byeongho Kim, Sunjung Lee, Wonjong Rhee, Jung Ho Ahn
πŸ“— PDF


πŸ—’ Best-Effort FPGA Programming: A Few Steps Can Go a Long Way
πŸ‘₯ Jason Cong, Zhenman Fang, Yuchen Hao, Peng Wei, Cody Hao Yu, Chen Zhang, Peipei Zhou
πŸ“— PDF


πŸ—’ A Survey on Agent-based Simulation using Hardware Accelerators
πŸ‘₯ Jiajian Xiao, Philipp Andelfinger, David Eckhoff, Wentong Cai, Alois Knoll
πŸ“— PDF


πŸ—’ Compiler Phase Ordering as an Orthogonal Approach for Reducing Energy Consumption
πŸ‘₯ Ricardo Nobre, LuΓ­s Reis, JoΓ£o M. P. Cardoso
πŸ“— PDF


#Performance
AI Python & arXiv Channel
5 of Latest Published Articles:
Programming Languages
#ProgrammingLanguages


πŸ—’ Datalog-based Scalable Semantic Diffing of Concurrent Programs
πŸ‘₯ Chungha Sung, Shuvendu Lahiri, Constantin Enea, Chao Wang
πŸ“— PDF


πŸ—’ Proceedings of the 7th Workshop on Mathematically Structured Functional Programming
πŸ‘₯ Robert Atkey, Sam Lindley
πŸ“— PDF


πŸ—’ Competitive Parallelism: Getting Your Priorities Right
πŸ‘₯ Stefan K. Muller, Umut A. Acar, Robert Harper
πŸ“— PDF


πŸ—’ Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks
πŸ‘₯ Martin Sulzmann, Kai Stadtmueller
πŸ“— PDF


πŸ—’ A modelling language for the effective design of Java annotations
πŸ‘₯ Irene CΓ³rdoba, Juan de Lara
πŸ“— PDF


#ProgrammingLanguages
AI Python & arXiv Channel
5 of Latest Published Articles:
Robotics
#Robotics


πŸ—’ CIRL: Controllable Imitative Reinforcement Learning for Vision-based Self-driving
πŸ‘₯ Xiaodan Liang, Tairui Wang, Luona Yang, Eric Xing
πŸ“— PDF


πŸ—’ Medical Technologies and Challenges of Robot Assisted Minimally Invasive Intervention and Diagnostics
πŸ‘₯ Nabil Simaan, Rashid M. Yasin, Long Wang
πŸ“— PDF


πŸ—’ Parallax Bundle Adjustment on Manifold with Convexified Initialization
πŸ‘₯ Liyang Liu, Teng Zhang, Yi Liu, Brenton Leighton, Liang Zhao, Shoudong Huang, Gamini Dissanayake
πŸ“— PDF


πŸ—’ A Reinforcement Learning Approach to Jointly Adapt Vehicular Communications and Planning for Optimized Driving
πŸ‘₯ Mayank K. Pal, Rupali Bhati, Anil Sharma, Sanjit K. Kaul, Saket Anand, P. B. Sujit
πŸ“— PDF


πŸ—’ Neural Task Graphs: Generalizing to Unseen Tasks from a Single Video Demonstration
πŸ‘₯ De-An Huang, Suraj Nair, Danfei Xu, Yuke Zhu, Animesh Garg, Li Fei-Fei, Silvio Savarese, Juan Carlos Niebles
πŸ“— PDF


#Robotics
AI Python & arXiv Channel
5 of Latest Published Articles:
Symbolic Computation
#SymbolicComputation


πŸ—’ Orbits of monomials and factorization into products of linear forms
πŸ‘₯ Pascal Koiran, Nicolas Ressayre
πŸ“— PDF


πŸ—’ Multistationarity for Fewnomial Chemical Reaction Networks
πŸ‘₯ Elisenda Feliu, Martin Helmer
πŸ“— PDF


πŸ—’ A Purely Functional Computer Algebra System Embedded in Haskell
πŸ‘₯ Hiromi Ishii
πŸ“— PDF


πŸ—’ Interactive Certificates for Polynomial Matrices with Sub-Linear Communication
πŸ‘₯ David Lucas, Vincent Neiger, ClΓ©ment Pernet, Daniel S. Roche, Johan Rosenkilde
πŸ“— PDF


πŸ—’ Fast Hermite interpolation and evaluation over finite fields of characteristic two
πŸ‘₯ Nicholas Coxon
πŸ“— PDF


#SymbolicComputation
AI Python & arXiv Channel