Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/rskt/Grabowski19,
  author       = {Adam Grabowski},
  editor       = {Tam{\'{a}}s Mih{\'{a}}lyde{\'{a}}k and
                  Fan Min and
                  Guoyin Wang and
                  Mohua Banerjee and
                  Ivo D{\"{u}}ntsch and
                  Zbigniew Suraj and
                  Davide Ciucci},
  title        = {Building a Framework of Rough Inclusion Functions by Means of Computerized
                  Proof Assistant},
  booktitle    = {Rough Sets - International Joint Conference, {IJCRS} 2019, Debrecen,
                  Hungary, June 17-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11499},
  pages        = {225--238},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22815-6\_18},
  doi          = {10.1007/978-3-030-22815-6\_18},
  timestamp    = {Thu, 21 Sep 2023 16:35:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rskt/Grabowski19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fedcsis/Grabowski16,
  author       = {Adam Grabowski},
  editor       = {Maria Ganzha and
                  Leszek A. Maciaszek and
                  Marcin Paprzycki},
  title        = {Tarski's geometry modelled in Mizar computerized proof assistant},
  booktitle    = {Proceedings of the 2016 Federated Conference on Computer Science and
                  Information Systems, FedCSIS 2016, Gda{\'{n}}sk, Poland, September
                  11-14, 2016},
  series       = {Annals of Computer Science and Information Systems},
  volume       = {8},
  pages        = {373--381},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.15439/2016F290},
  doi          = {10.15439/2016F290},
  timestamp    = {Tue, 23 Apr 2024 09:56:26 +0200},
  biburl       = {https://dblp.org/rec/conf/fedcsis/Grabowski16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fedcsis/GrabowskiKS15,
  author       = {Adam Grabowski and
                  Artur Kornilowicz and
                  Christoph Schwarzweller},
  editor       = {Maria Ganzha and
                  Leszek A. Maciaszek and
                  Marcin Paprzycki},
  title        = {Equality in computer proof-assistants},
  booktitle    = {2015 Federated Conference on Computer Science and Information Systems,
                  FedCSIS 2015, L{\'{o}}dz, Poland, September 13-16, 2015},
  series       = {Annals of Computer Science and Information Systems},
  volume       = {5},
  pages        = {45--54},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.15439/2015F229},
  doi          = {10.15439/2015F229},
  timestamp    = {Tue, 23 Apr 2024 09:56:18 +0200},
  biburl       = {https://dblp.org/rec/conf/fedcsis/GrabowskiKS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/ReisML11,
  author       = {Gabriel Dos Reis and
                  David C. J. Matthews and
                  Yue Li},
  editor       = {James H. Davenport and
                  William M. Farmer and
                  Josef Urban and
                  Florian Rabe},
  title        = {Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants
                  and Computer Algebra System Framework},
  booktitle    = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
                  and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
                  18-23, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6824},
  pages        = {15--29},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22673-1\_2},
  doi          = {10.1007/978-3-642-22673-1\_2},
  timestamp    = {Fri, 20 Nov 2020 16:08:54 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/ReisML11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/HerasPR09,
  author       = {J{\'{o}}nathan Heras and
                  Vico Pascual and
                  Julio Rubio},
  editor       = {Jacques Carette and
                  Lucas Dixon and
                  Claudio Sacerdoti Coen and
                  Stephen M. Watt},
  title        = {Using Open Mathematical Documents to Interface Computer Algebra and
                  Proof Assistant Systems},
  booktitle    = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
                  8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
                  Grand Bend, Canada, July 6-12, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5625},
  pages        = {467--473},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02614-0\_37},
  doi          = {10.1007/978-3-642-02614-0\_37},
  timestamp    = {Tue, 17 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/HerasPR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DelahayeM06,
  author       = {David Delahaye and
                  Micaela Mayero},
  editor       = {Jacques Carette and
                  William M. Farmer},
  title        = {Quantifier Elimination over Algebraically Closed Fields in a Proof
                  Assistant using a Computer Algebra System},
  booktitle    = {Proceedings of the 12th Symposium on the Integration of Symbolic Computation
                  and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK,
                  July 18-19, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {151},
  number       = {1},
  pages        = {57--73},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.11.023},
  doi          = {10.1016/J.ENTCS.2005.11.023},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DelahayeM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/sp/NipkowPW02,
  author       = {Tobias Nipkow and
                  Lawrence C. Paulson and
                  Markus Wenzel},
  title        = {Isabelle/HOL - {A} Proof Assistant for Higher-Order Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {2283},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45949-9},
  doi          = {10.1007/3-540-45949-9},
  isbn         = {3-540-43376-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/NipkowPW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/BarendregtC01,
  author       = {Henk Barendregt and
                  Arjeh M. Cohen},
  title        = {Electronic Communication of Mathematics and the Interaction of Computer
                  Algebra Systems and Proof Assistants},
  journal      = {J. Symb. Comput.},
  volume       = {32},
  number       = {1/2},
  pages        = {3--22},
  year         = {2001},
  url          = {https://doi.org/10.1006/jsco.2001.0455},
  doi          = {10.1006/JSCO.2001.0455},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/BarendregtC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}