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
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
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
65
click to vote
ISSAC
1995
Springer
125
views
Mathematics
»
more
ISSAC 1995
»
An Algorithm for the Reduction of Linear DAE
15 years 1 months ago
Download
perso.ens-lyon.fr
M. P. Quéré, Gilles Villard
claim paper
Read More »
89
click to vote
EUROCAL
1987
172
views
Mathematics
»
more
EUROCAL 1987
»
A critical pair criterion for completion modulo a congruence
15 years 1 months ago
Download
www.cs.tau.ac.il
Leo Bachmair, Nachum Dershowitz
claim paper
Read More »
60
click to vote
ASMTA
2009
Springer
75
views
Mathematics
»
more
ASMTA 2009
»
Moments Characterization of Order 3 Matrix Exponential Distributions
15 years 1 months ago
Download
www.di.unito.it
András Horváth, Sándor R&aacu...
claim paper
Read More »
73
click to vote
CASC
2009
Springer
97
views
Mathematics
»
more
CASC 2009
»
On Invariant Manifolds of Dynamical Systems in Lie Algebras
15 years 28 days ago
Download
www.idstu.irk.ru
Valentin Irtegov, Tatyana Titorenko
claim paper
Read More »
61
click to vote
ITP
2010
150
views
Mathematics
»
more
ITP 2010
»
Coverset Induction with Partiality and Subsorts: A Powerlist Case Study
14 years 11 months ago
Download
www.cs.utexas.edu
Joe Hendrix, Deepak Kapur, José Meseguer
claim paper
Read More »
« Prev
« First
page 22 / 1102
Last »
Next »