×

Found 80 Documents (Results 1–80)

Towards the automatic mathematician. (English) Zbl 1510.68116

Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 25-37 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Making Isabelle content accessible in knowledge representation formats. (English) Zbl 07756106

Bezem, Marc (ed.) et al., 25th international conference on types for proofs and programs. TYPES 2019, June 11–14, 2019, Oslo, Norway. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 175, Article 1, 24 p. (2020).
MSC:  03B70 68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Logic-independent proof search in logical frameworks (short paper). (English) Zbl 07614524

Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 395-401 (2020).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

TGView3D: a system for 3-dimensional visualization of theory graphs. (English) Zbl 1455.68267

Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 290-296 (2020).
MSC:  68V30
PDFBibTeX XMLCite
Full Text: DOI

Representing structural language features in formal meta-languages. (English) Zbl 1455.68268

Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 206-221 (2020).
MSC:  68V30 68N15
PDFBibTeX XMLCite
Full Text: DOI

Towards a heterogeneous query language for mathematical knowledge. (English) Zbl 1455.68264

Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 39-54 (2020).
MSC:  68V30 68P20
PDFBibTeX XMLCite
Full Text: DOI

Structuring theories with implicit morphisms. (English) Zbl 1444.68293

Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 154-173 (2019).
MSC:  68V30
PDFBibTeX XMLCite
Full Text: DOI

Clausal abstraction for DQBF. (English) Zbl 1441.68241

Janota, Mikoláš (ed.) et al., Theory and applications of satisfiability testing – SAT 2019. 22nd international conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11628, 388-405 (2019).
MSC:  68T20 68R07
PDFBibTeX XMLCite
Full Text: DOI arXiv

Integrating semantic mathematical documents and dynamic notebooks. (English) Zbl 1428.68355

Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 275-290 (2019).
MSC:  68V35
PDFBibTeX XMLCite
Full Text: DOI

Relational data across mathematical libraries. (English) Zbl 1428.68352

Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 61-76 (2019).
MSC:  68V30 68V35
PDFBibTeX XMLCite
Full Text: DOI

Towards a unified mathematical data infrastructure: database and interface generation. (English) Zbl 1428.68356

Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 28-43 (2019).
MSC:  68V35
PDFBibTeX XMLCite
Full Text: DOI

Understanding and extending incremental determinization for 2QBF. (English) Zbl 1511.68258

Chockler, Hana (ed.) et al., Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part II. Cham: Springer Open. Lect. Notes Comput. Sci. 10982, 256-274 (2018).
MSC:  68T20 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Theories as types. (English) Zbl 1511.68340

Galmiche, Didier (ed.) et al., Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10900, 575-590 (2018).
MSC:  68V30 68N30
PDFBibTeX XMLCite
Full Text: DOI

Automatically finding theory morphisms for knowledge management. (English) Zbl 1417.68211

Rabe, Florian (ed.) et al., Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11006, 209-224 (2018).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI

Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13–17, 2018. Proceedings. (English) Zbl 1392.68030

Lecture Notes in Computer Science 11006. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-319-96811-7/pbk; 978-3-319-96812-4/ebook). xii, 287 p. (2018).
MSC:  68-06 68Txx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Encodings of bounded synthesis. (English) Zbl 1452.68118

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 354-370 (2017).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: DOI arXiv

Canonical selection of colimits. (English) Zbl 1496.68203

James, Phillip (ed.) et al., Recent trends in algebraic development techniques. 23rd IFIP WG 1.3 international workshop, WADT 2016, Gregynog, UK, September 21–24, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10644, 170-188 (2017).
MSC:  68Q65 18A30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Virtual theories – a uniform interface to mathematical knowledge bases. (English) Zbl 1497.68550

Blömer, Johannes (ed.) et al., Mathematical aspects of computer and information sciences. 7th international conference, MACIS 2017, Vienna, Austria, November 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10693, 243-257 (2017).
MSC:  68V30
PDFBibTeX XMLCite
Full Text: DOI

Knowledge-based interoperability for mathematical software systems. (English) Zbl 1497.68551

Blömer, Johannes (ed.) et al., Mathematical aspects of computer and information sciences. 7th international conference, MACIS 2017, Vienna, Austria, November 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10693, 195-210 (2017).
MSC:  68V35 68V30
PDFBibTeX XMLCite
Full Text: DOI Link

Making PVS accessible to generic services by interpretation in a universal format. (English) Zbl 1484.68311

Ayala-Rincón, Mauricio (ed.) et al., Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10499, 319-335 (2017).
MSC:  68V15 68V20 68V30
PDFBibTeX XMLCite
Full Text: DOI

Classification of alignments between concepts of formal mathematical systems. (English) Zbl 1367.68309

Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 83-98 (2017).
MSC:  68T30 68T15 68U35
PDFBibTeX XMLCite
Full Text: DOI Link

Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. (English) Zbl 1364.68010

Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). xviii, 375 p. (2017).
MSC:  68-06 68Txx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Interoperability in the OpenDreamKit project: the math-in-the-middle approach. (English) Zbl 1344.68268

Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 117-131 (2016).
MSC:  68U35 68T30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Algorithms for model checking HyperLTL and HyperCTL\(^*\). (English) Zbl 1381.68161

Kroening, Daniel (ed.) et al., Computer aided verification. 27th international conference, CAV 2015, San Francisco, CA, USA, July 18–24, 2015. Proceedings. Part I. Cham: Springer (ISBN 978-3-319-21689-8/pbk; 978-3-319-21690-4/ebook). Lecture Notes in Computer Science 9206, 30-48 (2015).
MSC:  68Q60 03B44 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. (English) Zbl 1316.68015

Lecture Notes in Computer Science 9150. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-319-20614-1/pbk; 978-3-319-20615-8/ebook). xxi, 359 p. (2015).
MSC:  68-06 68Txx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Flexary operators for formalized mathematics. (English) Zbl 1304.68171

Watt, Stephen M. (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence, 312-327 (2014).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI

Compiling logics. (English) Zbl 1394.68071

Martí-Oliet, Narciso (ed.) et al., Recent trends in algebraic development techniques. 21st international workshop, WADT 2012, Salamanca, Spain, June 7–10, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-37634-4/pbk). Lecture Notes in Computer Science 7841, 111-126 (2013).
MSC:  68N30 03B70
PDFBibTeX XMLCite
Full Text: DOI

A universal machine for biform theory graphs. (English) Zbl 1278.68267

Carette, Jacques (ed.) et al., Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39319-8/pbk). Lecture Notes in Computer Science 7961. Lecture Notes in Artificial Intelligence, 82-97 (2013).
MSC:  68T15 68T30 68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Verification of partial-information probabilistic systems using counterexample-guided refinements. (English) Zbl 1374.68287

Chakraborty, Supratik (ed.) et al., Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33385-9/pbk). Lecture Notes in Computer Science 7561, 333-348 (2012).
MSC:  68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Management of change in declarative languages. (English) Zbl 1360.68809

Jeuring, Johan (ed.) et al., Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31373-8/pbk). Lecture Notes in Computer Science 7362. Lecture Notes in Artificial Intelligence, 326-341 (2012).
MSC:  68T30 68N15
PDFBibTeX XMLCite
Full Text: DOI

Extending MKM formats at the statement level. (English) Zbl 1278.68293

Jeuring, Johan (ed.) et al., Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31373-8/pbk). Lecture Notes in Computer Science 7362. Lecture Notes in Artificial Intelligence, 65-80 (2012).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI

Model checking information flow in reactive systems. (English) Zbl 1326.68182

Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22–24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 169-185 (2012).
MSC:  68Q60 03B44 68Q85
PDFBibTeX XMLCite
Full Text: DOI Link

Towards logical frameworks in the heterogeneous tool set Hets. (English) Zbl 1278.68286

Mossakowski, Till (ed.) et al., Recent trends in algebraic development techniques. 20th international workshop, WADT 2010, Etelsen, Germany, July 1–4, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28411-3/pbk). Lecture Notes in Computer Science 7137, 139-159 (2012).
MSC:  68T27 03B40 68Q65 68T15
PDFBibTeX XMLCite
Full Text: DOI

A proof theoretic interpretation of model theoretic hiding. (English) Zbl 1278.68202

Mossakowski, Till (ed.) et al., Recent trends in algebraic development techniques. 20th international workshop, WADT 2010, Etelsen, Germany, July 1–4, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28411-3/pbk). Lecture Notes in Computer Science 7137, 118-138 (2012).
MSC:  68Q65 03B40 68T15
PDFBibTeX XMLCite
Full Text: DOI

Efficient approximation of optimal control for continuous-time Markov games. (English) Zbl 1246.68165

Chakraborthy, Supraik (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2011), Mumbai, India, December 12–14, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-34-7). LIPIcs – Leibniz International Proceedings in Informatics 13, 399-410, electronic only (2011).
MSC:  68Q87 91A15 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Project abstract: logic atlas and integrator (LATIN). (English) Zbl 1278.68285

Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 289-291 (2011).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI

Combining source, content, presentation, narration, and relational representation. (English) Zbl 1278.68292

Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 212-227 (2011).
MSC:  68T30 68T27
PDFBibTeX XMLCite
Full Text: DOI

A foundational view on integration problems. (English) Zbl 1278.68289

Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 107-122 (2011).
MSC:  68T27 68T15 68T30 68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. (English) Zbl 1218.68014

Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). xiii, 312 p. (2011).
MSC:  68-06 68Txx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Optimal time-abstract schedulers for CTMDPs and Markov games. (English) Zbl 1456.90174

Di Pierro, Alessandra (ed.) et al., Proceedings of the eighth workshop on quantitative aspects of programming languages, Paphos, Cyprus, March 27–28, 2010. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 28, 144-158 (2010).
MSC:  90C40 90B36 91A15
PDFBibTeX XMLCite
Full Text: Link

Towards MKM in the large: modular representation and scalable software architecture. (English) Zbl 1278.68297

Autexier, Serge (ed.) et al., Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5–10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14127-0/pbk). Lecture Notes in Computer Science 6167. Lecture Notes in Artificial Intelligence, 370-384 (2010).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Notations for living mathematical documents. (English) Zbl 1166.00304

Autexier, Serge (ed.) et al., Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85109-7/pbk). Lecture Notes in Computer Science 5144. Lecture Notes in Artificial Intelligence, 504-519 (2008).
MSC:  00A35 68U15 68U35
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software