Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
5510
search results - page 22 / 1102
»
Mathematics
Sort
relevance
views
votes
recent
update
View
thumb
title
147
click to vote
ISSAC
1995
Springer
125
views
Mathematics
»
more
ISSAC 1995
»
An Algorithm for the Reduction of Linear DAE
15 years 10 months ago
Download
perso.ens-lyon.fr
M. P. Quéré, Gilles Villard
claim paper
Read More »
174
click to vote
EUROCAL
1987
172
views
Mathematics
»
more
EUROCAL 1987
»
A critical pair criterion for completion modulo a congruence
15 years 10 months ago
Download
www.cs.tau.ac.il
Leo Bachmair, Nachum Dershowitz
claim paper
Read More »
128
click to vote
ASMTA
2009
Springer
75
views
Mathematics
»
more
ASMTA 2009
»
Moments Characterization of Order 3 Matrix Exponential Distributions
15 years 10 months ago
Download
www.di.unito.it
András Horváth, Sándor R&aacu...
claim paper
Read More »
151
click to vote
CASC
2009
Springer
97
views
Mathematics
»
more
CASC 2009
»
On Invariant Manifolds of Dynamical Systems in Lie Algebras
15 years 9 months ago
Download
www.idstu.irk.ru
Valentin Irtegov, Tatyana Titorenko
claim paper
Read More »
130
click to vote
ITP
2010
150
views
Mathematics
»
more
ITP 2010
»
Coverset Induction with Partiality and Subsorts: A Powerlist Case Study
15 years 8 months ago
Download
www.cs.utexas.edu
Joe Hendrix, Deepak Kapur, José Meseguer
claim paper
Read More »
« Prev
« First
page 22 / 1102
Last »
Next »
