Jebelean, Tudor A heuristic prover for elementary analysis in Theorema. (English) Zbl 1485.68284 Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 130-134 (2021). MSC: 68V15 26-01 68T20 68W30 PDFBibTeX XMLCite \textit{T. Jebelean}, Lect. Notes Comput. Sci. 12833, 130--134 (2021; Zbl 1485.68284) Full Text: DOI
Dundua, Besik; Kutsia, Temur; Marin, Mircea Variadic equational matching in associative and commutative theories. (English) Zbl 07354268 J. Symb. Comput. 106, 78-109 (2021). MSC: 03B70 68Q42 68N15 33F10 PDFBibTeX XMLCite \textit{B. Dundua} et al., J. Symb. Comput. 106, 78--109 (2021; Zbl 07354268) Full Text: DOI
Carette, Jacques; Farmer, William M. Towards specifying symbolic computation. (English) Zbl 1428.68397 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, 109-124 (2019). MSC: 68W30 PDFBibTeX XMLCite \textit{J. Carette} and \textit{W. M. Farmer}, Lect. Notes Comput. Sci. 11617, 109--124 (2019; Zbl 1428.68397) Full Text: DOI arXiv
Dundua, Besik; Kutsia, Temur; Marin, Mircea Variadic equational matching. (English) Zbl 1428.68341 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, 77-92 (2019). MSC: 68V15 68W30 PDFBibTeX XMLCite \textit{B. Dundua} et al., Lect. Notes Comput. Sci. 11617, 77--92 (2019; Zbl 1428.68341) Full Text: DOI
Farmer, William M. Incorporating quotation and evaluation into Church’s type theory. (English) Zbl 1390.68168 Inf. Comput. 260, 9-50 (2018). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{W. M. Farmer}, Inf. Comput. 260, 9--50 (2018; Zbl 1390.68168) Full Text: DOI arXiv
Greuel, Gert-Martin (ed.); Koch, Thorsten (ed.); Paule, Peter (ed.); Sommese, Andrew (ed.) Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. (English) Zbl 1342.68017 Lecture Notes in Computer Science 9725. Cham: Springer (ISBN 978-3-319-42431-6/pbk; 978-3-319-42432-3/ebook). xxiv, 532 p. (2016). MSC: 68-06 65-06 65Yxx 68T15 68U35 68W30 00B25 PDFBibTeX XMLCite \textit{G.-M. Greuel} (ed.) et al., Mathematical software -- ICMS 2016. 5th international conference, Berlin, Germany, July 11--14, 2016. Proceedings. Cham: Springer (2016; Zbl 1342.68017) Full Text: DOI
Rosenkranz, Markus; Liu, Jane; Maletzky, Alexander; Buchberger, Bruno Two-point boundary problems with one mild singularity and an application to graded Kirchhoff plates. (English) Zbl 1400.34030 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 17th international workshop, CASC 2015, Aachen, Germany, September 14–18, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24020-6/pbk; 978-3-319-24021-3/ebook). Lecture Notes in Computer Science 9301, 406-423 (2015). MSC: 34B05 03B35 34B18 68W30 PDFBibTeX XMLCite \textit{M. Rosenkranz} et al., Lect. Notes Comput. Sci. 9301, 406--423 (2015; Zbl 1400.34030) Full Text: DOI arXiv
Seddiki, Ons; Dunchev, Cvetan; Khan-Afshar, Sanaz; Tahar, Sofiène Enabling symbolic and numerical computations in HOL Light. (English) Zbl 1417.68193 Kerber, Manfred (ed.) et al., Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9150, 353-358 (2015). MSC: 68T15 68U35 68W30 PDFBibTeX XMLCite \textit{O. Seddiki} et al., Lect. Notes Comput. Sci. 9150, 353--358 (2015; Zbl 1417.68193) Full Text: DOI
Gerdt, Vladimir P. (ed.); Koepf, Wolfram (ed.); Seiler, Werner M. (ed.); Vorozhtsov, Evgenii V. (ed.) Computer algebra in scientific computing. 17th international workshop, CASC 2015, Aachen, Germany, September 14–18, 2015. Proceedings. (English) Zbl 1321.68010 Lecture Notes in Computer Science 9301. Cham: Springer (ISBN 978-3-319-24020-6/pbk; 978-3-319-24021-3/ebook). xiv, 492 p. (2015). MSC: 68-06 68W30 00B25 PDFBibTeX XMLCite \textit{V. P. Gerdt} (ed.) et al., Computer algebra in scientific computing. 17th international workshop, CASC 2015, Aachen, Germany, September 14--18, 2015. Proceedings. Cham: Springer (2015; Zbl 1321.68010) Full Text: DOI
Ida, Tetsuo; Ghourabi, Fadoua; Takahashi, Kazuko Formalizing polygonal knot origami. (English) Zbl 1314.68348 J. Symb. Comput. 69, 93-108 (2015). MSC: 68U05 57M25 68T15 68W30 PDFBibTeX XMLCite \textit{T. Ida} et al., J. Symb. Comput. 69, 93--108 (2015; Zbl 1314.68348) Full Text: DOI
Khan-Afshar, Sanaz; Siddique, Umair; Mahmoud, Mohamed Yousri; Aravantinos, Vincent; Seddiki, Ons; Hasan, Osman; Tahar, Sofiène Formal analysis of optical systems. (English) Zbl 1302.68245 Math. Comput. Sci. 8, No. 1, 39-70 (2014). MSC: 68T15 68W30 78A05 78A25 81V80 PDFBibTeX XMLCite \textit{S. Khan-Afshar} et al., Math. Comput. Sci. 8, No. 1, 39--70 (2014; Zbl 1302.68245) Full Text: DOI arXiv
Buchberger, Bruno; Maletzky, Alexander Groebner bases in Theorema. (English) Zbl 1437.13009 Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 374-381 (2014). MSC: 13-11 68V15 68W30 13-04 13P10 PDFBibTeX XMLCite \textit{B. Buchberger} and \textit{A. Maletzky}, Lect. Notes Comput. Sci. 8592, 374--381 (2014; Zbl 1437.13009) Full Text: DOI
Maletzky, Alexander; Buchberger, Bruno Complexity analysis of the bivariate Buchberger algorithm in Theorema. (English) Zbl 1403.68228 Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44198-5/pbk). Lecture Notes in Computer Science 8592, 41-48 (2014). MSC: 68T15 13P10 68W30 PDFBibTeX XMLCite \textit{A. Maletzky} and \textit{B. Buchberger}, Lect. Notes Comput. Sci. 8592, 41--48 (2014; Zbl 1403.68228) Full Text: DOI
Hong, Hoon (ed.); Yap, Chee (ed.) Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. (English) Zbl 1293.65003 Lecture Notes in Computer Science 8592. Berlin: Springer (ISBN 978-3-662-44198-5/pbk). xxxii, 735 p. (2014). MSC: 65-06 65Yxx 68W30 00B25 PDFBibTeX XMLCite \textit{H. Hong} (ed.) and \textit{C. Yap} (ed.), Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings. Berlin: Springer (2014; Zbl 1293.65003) Full Text: DOI
Zeilberger, Doron Towards a symbolic computational philosophy (and methodology!) for mathematics. (English) Zbl 1319.03020 Paule, Peter (ed.), Mathematics, computer science and logic – a never ending story. The Bruno Buchberger Festschrift. Based on a conference on the occasion of Bruno Buchberger’s 60th birthday, Hagenberg, Austria, October 22, 2002. Cham: Springer (ISBN 978-3-319-00965-0/hbk; 978-3-319-00966-7/ebook). 101-113 (2013). MSC: 03A05 68W30 PDFBibTeX XMLCite \textit{D. Zeilberger}, in: Mathematics, computer science and logic -- a never ending story. The Bruno Buchberger Festschrift. Based on a conference on the occasion of Bruno Buchberger's 60th birthday, Hagenberg, Austria, October 22, 2002. Cham: Springer. 101--113 (2013; Zbl 1319.03020) Full Text: DOI
Rosenkranz, Markus; Regensburger, Georg; Tec, Loredana; Buchberger, Bruno Symbolic analysis for boundary problems: from rewriting to parametrized Gröbner bases. (English) Zbl 1250.65104 Langer, Ulrich (ed.) et al., Numerical and symbolic scientific computing. Progress and prospects. New York, NY: Springer (ISBN 978-3-7091-0793-5/pbk; 978-3-7091-0794-2/ebook). Texts & Monographs in Symbolic Computation, 273-331 (2012). MSC: 65L10 34B05 13P10 54J05 45P05 68W30 PDFBibTeX XMLCite \textit{M. Rosenkranz} et al., in: Numerical and symbolic scientific computing. Progress and prospects. New York, NY: Springer. 273--331 (2012; Zbl 1250.65104) Full Text: DOI arXiv
Buchberger, Bruno; Rosenkranz, Markus Transforming problems from analysis to algebra: a case study in linear boundary problems. (English) Zbl 1241.65066 J. Symb. Comput. 47, No. 6, 589-609 (2012). MSC: 65L10 34B05 34L05 65M99 68W30 13P10 PDFBibTeX XMLCite \textit{B. Buchberger} and \textit{M. Rosenkranz}, J. Symb. Comput. 47, No. 6, 589--609 (2012; Zbl 1241.65066) Full Text: DOI
Tec, Loredana A symbolic framework for general polynomial domains in Theorema, applications to boundary problems. (English) Zbl 1308.68194 ACM Commun. Comput. Algebra 45, No. 4, 189 (2011). MSC: 68W30 68T15 PDFBibTeX XMLCite \textit{L. Tec}, ACM Commun. Comput. Algebra 45, No. 3, 189 (2011; Zbl 1308.68194) Full Text: DOI
Tec, Loredana; Regensburger, Georg; Rosenkranz, Markus; Buchberger, Bruno An automated confluence proof for an infinite rewrite system parametrized over an integro-differential algebra. (English) Zbl 1294.68165 Fukuda, Komei (ed.) et al., Mathematical software – ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13–17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). Lecture Notes in Computer Science 6327, 245-248 (2010). MSC: 68W30 12H05 13P10 34B05 45J05 68Q42 68T15 PDFBibTeX XMLCite \textit{L. Tec} et al., Lect. Notes Comput. Sci. 6327, 245--248 (2010; Zbl 1294.68165) Full Text: DOI
Rosenkranz, Markus; Buchberger, Bruno; Regensburger, Georg; Tec, Loredana A new symbolic method for linear boundary value problems using Groebner bases. (English) Zbl 1192.68932 Suzuki, Masakazu (ed.) et al., The joint conference of ASCM 2009 and MACIS 2009. 9th international conference on Asian symposium on computer mathematics and 3rd international conference on mathematical aspects of computer and information sciences, Fukuoka, Japan, December 14–17, 2009. Selected papers. Fukuoka: Kyushu University, Faculty of Mathematics. COE Lecture Note 22, 1 (2009). MSC: 68W30 13B10 34B05 PDFBibTeX XMLCite \textit{M. Rosenkranz} et al., COE Lect. Note 22, 1 (2009; Zbl 1192.68932)
Rosenkranz, Markus; Regensburger, Georg; Tec, Loredana; Buchberger, Bruno A symbolic framework for operations on linear boundary problems. (English) Zbl 1260.68484 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 11th international workshop, CASC 2009, Kobe, Japan, September 13–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04102-0/pbk). Lecture Notes in Computer Science 5743, 269-283 (2009). MSC: 68W30 34B05 35G15 PDFBibTeX XMLCite \textit{M. Rosenkranz} et al., Lect. Notes Comput. Sci. 5743, 269--283 (2009; Zbl 1260.68484) Full Text: DOI
Popov, Nikolaj; Jebelean, Tudor Using computer algebra techniques for the specification, verification and synthesis of recursive programs. (English) Zbl 1183.68757 Math. Comput. Simul. 79, No. 8, 2302-2309 (2009). MSC: 68W30 68Q60 PDFBibTeX XMLCite \textit{N. Popov} and \textit{T. Jebelean}, Math. Comput. Simul. 79, No. 8, 2302--2309 (2009; Zbl 1183.68757) Full Text: DOI
Kutsia, Temur Flat matching. (English) Zbl 1152.68059 J. Symb. Comput. 43, No. 12, 858-873 (2008). MSC: 68W30 PDFBibTeX XMLCite \textit{T. Kutsia}, J. Symb. Comput. 43, No. 12, 858--873 (2008; Zbl 1152.68059) Full Text: DOI
Kovács, Laura Reasoning algebraically about P-solvable loops. (English) Zbl 1134.68600 Ramakrishnan, C. R. (ed.) et al., Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78799-0/pbk). Lecture Notes in Computer Science 4963, 249-264 (2008). MSC: 68W30 PDFBibTeX XMLCite \textit{L. Kovács}, Lect. Notes Comput. Sci. 4963, 249--264 (2008; Zbl 1134.68600) Full Text: DOI
Kutsia, Temur Solving equations with sequence variables and sequence functions. (English) Zbl 1124.68121 J. Symb. Comput. 42, No. 3, 352-388 (2007). MSC: 68W30 03B35 68T15 PDFBibTeX XMLCite \textit{T. Kutsia}, J. Symb. Comput. 42, No. 3, 352--388 (2007; Zbl 1124.68121) Full Text: DOI
Nakagawa, Koji Logicographic symbols. (English) Zbl 1124.68122 J. Symb. Comput. 41, No. 3-4, 411-434 (2006). MSC: 68W30 68T15 00A35 PDFBibTeX XMLCite \textit{K. Nakagawa}, J. Symb. Comput. 41, No. 3--4, 411--434 (2006; Zbl 1124.68122) Full Text: DOI
Gottliebsen, Hanne; Kelsey, Tom; Martin, Ursula Hidden verification for computational mathematics. (English) Zbl 1126.68103 J. Symb. Comput. 39, No. 5, 539-567 (2005). MSC: 68W30 68T15 PDFBibTeX XMLCite \textit{H. Gottliebsen} et al., J. Symb. Comput. 39, No. 5, 539--567 (2005; Zbl 1126.68103) Full Text: DOI
Rosenkranz, Markus A new symbolic method for solving linear two-point boundary value problems on the level of operators. (English) Zbl 1126.68104 J. Symb. Comput. 39, No. 2, 171-199 (2005). MSC: 68W30 65L10 PDFBibTeX XMLCite \textit{M. Rosenkranz}, J. Symb. Comput. 39, No. 2, 171--199 (2005; Zbl 1126.68104) Full Text: DOI
Kovács, Laura Ildikó; Jebelean, Tudor Automated generation of loop invariants by recurrence solving in Theorema. (English) Zbl 1109.68516 An. Univ. Timiș., Ser. Mat.-Inform. 42, Spec. Iss. I, 151-166 (2004). Reviewer: Friedrich Schwarz (Paderborn) MSC: 68Q60 68T15 68W30 PDFBibTeX XMLCite \textit{L. I. Kovács} and \textit{T. Jebelean}, An. Univ. Timiș., Ser. Mat.-Inform. 42, 151--166 (2004; Zbl 1109.68516)
Andreica, Alina Applications of category theory in symbolic computation. (English) Zbl 1150.68009 An. Univ. Timiș., Ser. Mat.-Inform. 42, Spec. Iss. I, 17-26 (2004). Reviewer: Neculai Curteanu (Iaşi) MSC: 68W30 68Q65 68T15 68T35 PDFBibTeX XMLCite \textit{A. Andreica}, An. Univ. Timiș., Ser. Mat.-Inform. 42, 17--26 (2004; Zbl 1150.68009)
Buchberger, Bruno Towards the automated synthesis of a Gröbner bases algorithm. (English) Zbl 1088.68187 RACSAM, Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 98, No. 1-2, 65-75 (2004). Reviewer: Reinhard C. Laubenbacher (Blacksburg) MSC: 68W30 68T15 13P10 68W40 PDFBibTeX XMLCite \textit{B. Buchberger}, RACSAM, Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 98, No. 1--2, 65--75 (2004; Zbl 1088.68187) Full Text: EuDML
Ida, Tetsuo; Buchberger, Bruno Proving and solving in computational origami. (English) Zbl 1073.68816 An. Univ. Timiș., Ser. Mat.-Inform. 41, Spec. Iss., 247-263 (2003). MSC: 68T15 PDFBibTeX XMLCite \textit{T. Ida} and \textit{B. Buchberger}, An. Univ. Timiș., Ser. Mat.-Inform. 41, 247--263 (2003; Zbl 1073.68816)
Kovács, Laura; Jebelean, Tudor Practical aspects of imperative program verification in Theorema. (English) Zbl 1073.68897 An. Univ. Timiș., Ser. Mat.-Inform. 41, Spec. Iss., 135-154 (2003). MSC: 68W30 68Q60 PDFBibTeX XMLCite \textit{L. Kovács} and \textit{T. Jebelean}, An. Univ. Timiș., Ser. Mat.-Inform. 41, 135--154 (2003; Zbl 1073.68897)
Wiedijk, Freek Comparing mathematical provers. (English) Zbl 1022.68623 Asperti, Andrea (ed.) et al., Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2594, 188-202 (2003). MSC: 68T30 68T15 68W30 PDFBibTeX XMLCite \textit{F. Wiedijk}, Lect. Notes Comput. Sci. 2594, 188--202 (2003; Zbl 1022.68623) Full Text: Link
Schwarzweller, Christoph Designing mathematical libraries based on requirements for theorems. (English) Zbl 1023.68130 Ann. Math. Artif. Intell. 38, No. 1-3, 193-209 (2003). MSC: 68W30 68T15 68T30 68T35 68N30 PDFBibTeX XMLCite \textit{C. Schwarzweller}, Ann. Math. Artif. Intell. 38, No. 1--3, 193--209 (2003; Zbl 1023.68130) Full Text: DOI
Konev, B.; Jebelean, T. Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\). (English. Russian original) Zbl 1101.68834 J. Math. Sci., New York 126, No. 3, 1182-1194 (2005); translation from Zap. Nauch. Semin. POMI 293, 94-117 (2002). MSC: 68T15 03B35 68W30 PDFBibTeX XMLCite \textit{B. Konev} and \textit{T. Jebelean}, J. Math. Sci., New York 126, No. 3, 1182--1194 (2002; Zbl 1101.68834); translation from Zap. Nauch. Semin. POMI 293, 94--117 (2002) Full Text: DOI
Piroi, Florina; Buchberger, Bruno Focus Windows: A new technique for proof presentation. (English) Zbl 1072.68587 Calmet, Jacques (ed.) et al., Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integration of symbolic computation and mechanized reasoning. Marseille, France, July 1–5, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43865-3). Lect. Notes Comput. Sci. 2385, 337-341 (2002). MSC: 68T15 68W30 03F07 PDFBibTeX XMLCite \textit{F. Piroi} and \textit{B. Buchberger}, Lect. Notes Comput. Sci. 2385, 337--341 (2002; Zbl 1072.68587) Full Text: Link
Prevosto, Virgile; Doligez, Damien; Hardin, Thérèse Algebraic structures and dependent records. (English) Zbl 1013.68194 Carreño, Victor A. (ed.) et al., Theorem proving in higher order logics. 15th international conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2410, 298-313 (2002). MSC: 68T15 68W30 PDFBibTeX XMLCite \textit{V. Prevosto} et al., Lect. Notes Comput. Sci. 2410, 298--313 (2002; Zbl 1013.68194) Full Text: Link
Prevosto, Virgile; Doligez, Damien Algorithms and proofs inheritance in the FOC language. (English) Zbl 1064.68095 J. Autom. Reasoning 29, No. 3-4, 337-363 (2002). MSC: 68W30 PDFBibTeX XMLCite \textit{V. Prevosto} and \textit{D. Doligez}, J. Autom. Reasoning 29, No. 3--4, 337--363 (2002; Zbl 1064.68095) Full Text: DOI
Rudnicki, Piotr; Schwarzweller, Christoph; Trybulec, Andrzej Commutative algebra in the Mizar system. (English) Zbl 1074.68081 J. Symb. Comput. 32, No. 1-2, 143-169 (2001). MSC: 68W30 13P99 PDFBibTeX XMLCite \textit{P. Rudnicki} et al., J. Symb. Comput. 32, No. 1--2, 143--169 (2001; Zbl 1074.68081) Full Text: DOI Link
Caprotti, Olga; Oostdijk, Martijn Formal and efficient primality proofs by use of computer algebra oracles. (English) Zbl 1044.03503 J. Symb. Comput. 32, No. 1-2, 55-70 (2001). MSC: 03B35 11Y11 68W30 68T15 94A60 PDFBibTeX XMLCite \textit{O. Caprotti} and \textit{M. Oostdijk}, J. Symb. Comput. 32, No. 1--2, 55--70 (2001; Zbl 1044.03503) Full Text: DOI
Adams, Andrew; Dunstan, Martin; Gottliebsen, Hanne; Kelsey, Tom; Martin, Ursula; Owre, Sam Computer algebra meets automated theorem proving: Integrating Maple and PVS. (English) Zbl 1005.68997 Boulton, Richard J. (ed.) et al., Theorem proving in higher order logics. 14th international conference, TPHOLs 2001, Edinburgh, Scotland, GB, September 3-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2152, 27-42 (2001). MSC: 68W30 68T15 PDFBibTeX XMLCite \textit{A. Adams} et al., Lect. Notes Comput. Sci. 2152, 27--42 (2001; Zbl 1005.68997) Full Text: Link
Buchberger, Bruno Gröbner bases and systems theory. (English) Zbl 1088.93500 Multidimensional Syst. Signal Process. 12, No. 3-4, 223-251 (2001). MSC: 93A05 68W30 93-02 93B25 PDFBibTeX XMLCite \textit{B. Buchberger}, Multidimensional Syst. Signal Process. 12, No. 3--4, 223--251 (2001; Zbl 1088.93500) Full Text: DOI
Caprotti, O.; Cohen, A. M. On the role of OpenMath in interactive mathematical documents. (English) Zbl 0981.68185 J. Symb. Comput. 32, No. 4, 351-364 (2001). MSC: 68W30 68T99 PDFBibTeX XMLCite \textit{O. Caprotti} and \textit{A. M. Cohen}, J. Symb. Comput. 32, No. 4, 351--364 (2001; Zbl 0981.68185) Full Text: DOI
Buchberger, Bruno; Dupré, Claudio; Jebelean, Tudor; Kriftner, Franz; Nakagawa, Koji; Văsaru, Daniela; Windsteiger, Wolfgang The TH\(\exists\)OREM\(\forall\) project: A progress report. (English) Zbl 1017.68110 Kerber, Manfred (ed.) et al., Symbolic computation and automated reasoning. The CALCULEMUS-2000 symposium. 8th symposium on the integration of symbolic computation and mechanized reasoning, St. Andrews, Scotland, GB, August 6-7, 2000. Natick, MA: A. K. Peters. 98-113 (2001). MSC: 68T15 68W30 PDFBibTeX XMLCite \textit{B. Buchberger} et al., in: Symbolic computation and automated reasoning. The CALCULEMUS-2000 symposium. 8th symposium on the integration of symbolic computation and mechanized reasoning, St. Andrews, Scotland, GB, August 6--7, 2000. Natick, MA: A. K. Peters. 98--113 (2001; Zbl 1017.68110)
Kerber, Manfred (ed.); Kohlhase, Michael (ed.) Symbolic computation and automated reasoning. The CALCULEMUS-2000 symposium. 8th symposium on the integration of symbolic computation and mechanized reasoning, St. Andrews, Scotland, GB, August 6–7, 2000. (English) Zbl 0962.00008 Natick, MA: A. K. Peters. xi, 270 p. (2001). MSC: 00B25 68-06 03-06 PDFBibTeX XMLCite \textit{M. Kerber} (ed.) and \textit{M. Kohlhase} (ed.), Symbolic computation and automated reasoning. The CALCULEMUS-2000 symposium. 8th symposium on the integration of symbolic computation and mechanized reasoning, St. Andrews, Scotland, GB, August 6--7, 2000. Natick, MA: A. K. Peters (2001; Zbl 0962.00008)
Théry, Laurent A machine-checked implementation of Buchberger’s algorithm. (English) Zbl 0964.03012 J. Autom. Reasoning 26, No. 2, 107-137 (2001). MSC: 03B35 68T15 68W30 PDFBibTeX XMLCite \textit{L. Théry}, J. Autom. Reasoning 26, No. 2, 107--137 (2001; Zbl 0964.03012) Full Text: DOI
Buchberger, Bruno Theory exploration with Theorema. (English) Zbl 1004.68589 An. Univ. Timiș., Ser. Mat.-Inform. 38, No. 2, 9-32 (2000). MSC: 68U99 68W30 PDFBibTeX XMLCite \textit{B. Buchberger}, An. Univ. Timiș., Ser. Mat.-Inform. 38, No. 2, 9--32 (2000; Zbl 1004.68589)
Buchberger, Bruno; Jebelean, Tudor; Kriftner, Franz; Marin, Mircea; Tomuţa, Elena; Văsaru, Daniela A survey of the Theorema project. (English) Zbl 0926.68131 Küchlin, Wolfgang W. (ed.), Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC ’97, Maui, HI, USA, July 21–23, 1997. New York, NY: ACM Press. 384-391 (1997). MSC: 68T15 68W30 PDFBibTeX XMLCite \textit{B. Buchberger} et al., in: Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC '97, Maui, HI, USA, July 21--23, 1997. New York, NY: ACM Press. 384--391 (1997; Zbl 0926.68131)
Küchlin, Wolfgang W. (ed.) Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC ’97, Maui, HI, USA, July 21–23, 1997. (English) Zbl 0903.00082 New York, NY: ACM Press. xxii, 414 p. (1997). MSC: 00B25 68-06 68W30 11Yxx 12Y05 65Y10 PDFBibTeX XMLCite \textit{W. W. Küchlin} (ed.), Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC '97, Maui, HI, USA, July 21--23, 1997. New York, NY: ACM Press (1997; Zbl 0903.00082)