Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jsc/jsc36.bht:"
download as .bib file
@article{DBLP:journals/jsc/ArmandoR03,
author = {Alessandro Armando and
Silvio Ranise},
title = {Constraint contextual rewriting},
journal = {J. Symb. Comput.},
volume = {36},
number = {1-2},
pages = {193--216},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00025-7},
doi = {10.1016/S0747-7171(03)00025-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ArmandoR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/AvenhausHL03,
author = {J{\"{u}}rgen Avenhaus and
Thomas Hillenbrand and
Bernd L{\"{o}}chner},
title = {On using ground joinable equations in equational theorem proving},
journal = {J. Symb. Comput.},
volume = {36},
number = {1-2},
pages = {217--233},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00024-5},
doi = {10.1016/S0747-7171(03)00024-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/AvenhausHL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BaumgartnerZ03,
author = {Peter Baumgartner and
Hantao Zhang},
title = {Preface to First order theorem proving},
journal = {J. Symb. Comput.},
volume = {36},
number = {1-2},
pages = {1--3},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00022-1},
doi = {10.1016/S0747-7171(03)00022-1},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BaumgartnerZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Beckert03,
author = {Bernhard Beckert},
title = {Depth-first proof search without backtracking for free-variable clausal
tableaux},
journal = {J. Symb. Comput.},
volume = {36},
number = {1-2},
pages = {117--138},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00026-9},
doi = {10.1016/S0747-7171(03)00026-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Beckert03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Belinfante03,
author = {Johan G. F. Belinfante},
title = {Computer proofs about finite and regular sets: the unifying concept
of subvariance},
journal = {J. Symb. Comput.},
volume = {36},
number = {1-2},
pages = {271--285},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00023-3},
doi = {10.1016/S0747-7171(03)00023-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Belinfante03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BersonE03,
author = {Joost Berson and
Arno van den Essen},
title = {An algorithm to find a coordinate's mate},
journal = {J. Symb. Comput.},
volume = {36},
number = {6},
pages = {835--843},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00062-2},
doi = {10.1016/S0747-7171(03)00062-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BersonE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ChenW03,
author = {Falai Chen and
Wenping Wang},
title = {Revisiting the [mu]-basis of a rational ruled surface},
journal = {J. Symb. Comput.},
volume = {36},
number = {5},
pages = {699--716},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00064-6},
doi = {10.1016/S0747-7171(03)00064-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ChenW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ChtcherbaK03,
author = {Arthur D. Chtcherba and
Deepak Kapur},
title = {Exact resultants for corner-cut unmixed multivariate polynomial systems
using the Dixon formulation},
journal = {J. Symb. Comput.},
volume = {36},
number = {3-4},
pages = {289--315},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00084-1},
doi = {10.1016/S0747-7171(03)00084-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ChtcherbaK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DegtyarevNV03,
author = {Anatoli Degtyarev and
Robert Nieuwenhuis and
Andrei Voronkov},
title = {Stratified resolution},
journal = {J. Symb. Comput.},
volume = {36},
number = {1-2},
pages = {79--99},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00036-1},
doi = {10.1016/S0747-7171(03)00036-1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/DegtyarevNV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DickensteinE03,
author = {Alicia Dickenstein and
Ioannis Z. Emiris},
title = {Multihomogeneous resultant formulae by means of complexes},
journal = {J. Symb. Comput.},
volume = {36},
number = {3-4},
pages = {317--342},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00086-5},
doi = {10.1016/S0747-7171(03)00086-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DickensteinE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Draisma03,
author = {Jan Draisma},
title = {Constructing Lie algebras of first order differential operators},
journal = {J. Symb. Comput.},
volume = {36},
number = {5},
pages = {685--698},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00061-0},
doi = {10.1016/S0747-7171(03)00061-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Draisma03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/FortunaGPT03,
author = {Elisabetta Fortuna and
Patrizia M. Gianni and
Paola Parenti and
Carlo Traverso},
title = {Algorithms to compute the topology of orientable real algebraic surfaces},
journal = {J. Symb. Comput.},
volume = {36},
number = {3-4},
pages = {343--364},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00085-3},
doi = {10.1016/S0747-7171(03)00085-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/FortunaGPT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Gago-Vargas03,
author = {Jes{\'{u}}s Gago{-}Vargas},
title = {Bases for projective modules in An(k)},
journal = {J. Symb. Comput.},
volume = {36},
number = {6},
pages = {845--853},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00063-4},
doi = {10.1016/S0747-7171(03)00063-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Gago-Vargas03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Gao03,
author = {Xiao{-}Shan Gao},
title = {Implicitization of differential rational parametric equations},
journal = {J. Symb. Comput.},
volume = {36},
number = {5},
pages = {811--824},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00068-3},
doi = {10.1016/S0747-7171(03)00068-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Gao03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GeorgievaHS03,
author = {Lilia Georgieva and
Ullrich Hustadt and
Renate A. Schmidt},
title = {Hyperresolution for guarded formulae},
journal = {J. Symb. Comput.},
volume = {36},
number = {1-2},
pages = {163--192},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00034-8},
doi = {10.1016/S0747-7171(03)00034-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GeorgievaHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GiesbrechtKL03,
author = {Mark Giesbrecht and
Erich L. Kaltofen and
Wen{-}shin Lee},
title = {Algorithms for computing sparsest shifts of polynomials in power,
Chebyshev, and Pochhammer bases},
journal = {J. Symb. Comput.},
volume = {36},
number = {3-4},
pages = {401--424},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00087-7},
doi = {10.1016/S0747-7171(03)00087-7},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/GiesbrechtKL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GiustiP03,
author = {Marc Giusti and
Luis Miguel Pardo},
title = {Preface},
journal = {J. Symb. Comput.},
volume = {36},
number = {3-4},
pages = {287},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00100-7},
doi = {10.1016/S0747-7171(03)00100-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GiustiP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KaltofenL03,
author = {Erich L. Kaltofen and
Wen{-}shin Lee},
title = {Early termination in sparse interpolation algorithms},
journal = {J. Symb. Comput.},
volume = {36},
number = {3-4},
pages = {365--400},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00088-9},
doi = {10.1016/S0747-7171(03)00088-9},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/KaltofenL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Khetan03,
author = {Amit Khetan},
title = {The resultant of an unmixed bivariate system},
journal = {J. Symb. Comput.},
volume = {36},
number = {3-4},
pages = {425--442},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00089-0},
doi = {10.1016/S0747-7171(03)00089-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Khetan03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LiST03,
author = {Ziming Li and
Fritz Schwarz and
Serguei P. Tsarev},
title = {Factoring systems of linear PDEs with finite-dimensional solution
spaces},
journal = {J. Symb. Comput.},
volume = {36},
number = {3-4},
pages = {443--471},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00090-7},
doi = {10.1016/S0747-7171(03)00090-7},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/LiST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LiW03,
author = {Hongbo Li and
Yihong Wu},
title = {Automated short proof generation for projective geometric theorems
with Cayley and bracket algebras: I. Incidence geometry},
journal = {J. Symb. Comput.},
volume = {36},
number = {5},
pages = {717--762},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00067-1},
doi = {10.1016/S0747-7171(03)00067-1},
timestamp = {Thu, 04 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/LiW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LiW03a,
author = {Hongbo Li and
Yihong Wu},
title = {Automated short proof generation for projective geometric theorems
with Cayley and bracket algebras: {II.} Conic geometry},
journal = {J. Symb. Comput.},
volume = {36},
number = {5},
pages = {763--809},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00066-X},
doi = {10.1016/S0747-7171(03)00066-X},
timestamp = {Thu, 04 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/LiW03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MateraS03,
author = {Guillermo Matera and
Alexandre Sedoglavic},
title = {Fast computation of discrete invariants associated to a differential
rational mapping},
journal = {J. Symb. Comput.},
volume = {36},
number = {3-4},
pages = {473--499},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00091-9},
doi = {10.1016/S0747-7171(03)00091-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MateraS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Minimair03,
author = {Manfred Minimair},
title = {Dense resultant of composed polynomials: Mixed-mixed case},
journal = {J. Symb. Comput.},
volume = {36},
number = {6},
pages = {825--834},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00039-7},
doi = {10.1016/S0747-7171(03)00039-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Minimair03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Olver03,
author = {Peter J. Olver},
title = {Moving frames},
journal = {J. Symb. Comput.},
volume = {36},
number = {3-4},
pages = {501--512},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00092-0},
doi = {10.1016/S0747-7171(03)00092-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Olver03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/OttenB03,
author = {Jens Otten and
Wolfgang Bibel},
title = {leanCoP: lean connection-based theorem proving},
journal = {J. Symb. Comput.},
volume = {36},
number = {1-2},
pages = {139--161},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00037-3},
doi = {10.1016/S0747-7171(03)00037-3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/OttenB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Peltier03,
author = {Nicolas Peltier},
title = {Model building with ordered resolution: extracting models from saturated
clause sets},
journal = {J. Symb. Comput.},
volume = {36},
number = {1-2},
pages = {5--48},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00028-2},
doi = {10.1016/S0747-7171(03)00028-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Peltier03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Peltier03a,
author = {Nicolas Peltier},
title = {A calculus combining resolution and enumeration for building finite
models},
journal = {J. Symb. Comput.},
volume = {36},
number = {1-2},
pages = {49--77},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00027-0},
doi = {10.1016/S0747-7171(03)00027-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Peltier03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Perez-DiazS03,
author = {Sonia P{\'{e}}rez{-}D{\'{\i}}az and
J. Rafael Sendra},
title = {Computing all parametric solutions for blending parametric surfaces},
journal = {J. Symb. Comput.},
volume = {36},
number = {6},
pages = {925--964},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00072-5},
doi = {10.1016/S0747-7171(03)00072-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Perez-DiazS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Pichler03,
author = {Reinhard Pichler},
title = {On the complexity of equational problems in {CNF}},
journal = {J. Symb. Comput.},
volume = {36},
number = {1-2},
pages = {235--269},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00029-4},
doi = {10.1016/S0747-7171(03)00029-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Pichler03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/RiazanovV03,
author = {Alexandre Riazanov and
Andrei Voronkov},
title = {Limited resource strategy in resolution theorem proving},
journal = {J. Symb. Comput.},
volume = {36},
number = {1-2},
pages = {101--115},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00040-3},
doi = {10.1016/S0747-7171(03)00040-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/RiazanovV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Rioboo03,
author = {Renaud Rioboo},
title = {Towards faster real algebraic numbers},
journal = {J. Symb. Comput.},
volume = {36},
number = {3-4},
pages = {513--533},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00093-2},
doi = {10.1016/S0747-7171(03)00093-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Rioboo03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Schicho03,
author = {Josef Schicho},
title = {Simplification of surface parametrizations - a lattice polygon approach},
journal = {J. Symb. Comput.},
volume = {36},
number = {3-4},
pages = {535--554},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00094-4},
doi = {10.1016/S0747-7171(03)00094-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Schicho03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Schost03,
author = {{\'{E}}ric Schost},
title = {Complexity results for triangular sets},
journal = {J. Symb. Comput.},
volume = {36},
number = {3-4},
pages = {555--594},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00095-6},
doi = {10.1016/S0747-7171(03)00095-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Schost03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Sofronie-Stokkermans03,
author = {Viorica Sofronie{-}Stokkermans},
title = {Resolution-based decision procedures for the universal theory of some
classes of distributive lattices with operators},
journal = {J. Symb. Comput.},
volume = {36},
number = {6},
pages = {891--924},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00069-5},
doi = {10.1016/S0747-7171(03)00069-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Sofronie-Stokkermans03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Stillman03,
author = {Michael Eugene Stillman},
title = {Computing in algebraic geometry and commutative algebra using Macaulay
2},
journal = {J. Symb. Comput.},
volume = {36},
number = {3-4},
pages = {595--611},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00096-8},
doi = {10.1016/S0747-7171(03)00096-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Stillman03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Storjohann03,
author = {Arne Storjohann},
title = {High-order lifting and integrality certification},
journal = {J. Symb. Comput.},
volume = {36},
number = {3-4},
pages = {613--648},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00097-X},
doi = {10.1016/S0747-7171(03)00097-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Storjohann03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/SuzukiS03,
author = {Akira Suzuki and
Yosuke Sato},
title = {An alternative approach to comprehensive Gr{\"{o}}bner bases},
journal = {J. Symb. Comput.},
volume = {36},
number = {3-4},
pages = {649--667},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00098-1},
doi = {10.1016/S0747-7171(03)00098-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/SuzukiS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Ulmer03,
author = {Felix Ulmer},
title = {Liouvillian solutions of third order differential equations},
journal = {J. Symb. Comput.},
volume = {36},
number = {6},
pages = {855--889},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00065-8},
doi = {10.1016/S0747-7171(03)00065-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Ulmer03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Weispfenning03,
author = {Volker Weispfenning},
title = {Canonical comprehensive Gr{\"{o}}bner bases},
journal = {J. Symb. Comput.},
volume = {36},
number = {3-4},
pages = {669--683},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00099-3},
doi = {10.1016/S0747-7171(03)00099-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Weispfenning03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-06-01 04:54 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
