default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Symposium on Symbolic and Algebraic Computation (ISSAC)
ISSAC 2024: Raleigh, NC, USA
- Jonathan D. Hauenstein, Wen-shin Lee, Shaoshi Chen:
Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, ISSAC 2024, Raleigh, NC, USA, July 16-19, 2024. ACM 2024 [contents]
ISSAC 2023: Tromsø, Norway
- Alicia Dickenstein, Elias P. Tsigaridas, Gabriela Jeronimo:
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023. ACM 2023 [contents]
ISSAC 2022: Villeneuve-d'Ascq, France
- Marc Moreno Maza, Lihong Zhi:
ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022. ACM 2022, ISBN 978-1-4503-8688-3 [contents]
ISSAC 2021: Virtual Event, Russia
- Frédéric Chyzak, George Labahn:
ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021. ACM 2021, ISBN 978-1-4503-8382-0 [contents]
ISSAC 2020: Kalamata, Greece
- Ioannis Z. Emiris, Lihong Zhi:
ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020. ACM 2020, ISBN 978-1-4503-7100-1 [contents]
ISSAC 2019: Beijing, China
- James H. Davenport, Dongming Wang, Manuel Kauers, Russell J. Bradford:
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ISSAC 2019, Beijing, China, July 15-18, 2019. ACM 2019, ISBN 978-1-4503-6084-5 [contents]
ISSAC 2018: New York, NY, USA
- Manuel Kauers, Alexey Ovchinnikov, Éric Schost:
Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2018, New York, NY, USA, July 16-19, 2018. ACM 2018 [contents]
ISSAC 2017: Kaiserslautern, Germany
- Michael A. Burr, Chee K. Yap, Mohab Safey El Din:
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, Kaiserslautern, Germany, July 25-28, 2017. ACM 2017, ISBN 978-1-4503-5064-8 [contents] - Matthew England, Vijay Ganesh:
Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), Kaiserslautern, Germany, July 29, 2017. CEUR Workshop Proceedings 1974, CEUR-WS.org 2017 [contents] - Jean-Charles Faugère, Michael B. Monagan, Hans-Wolfgang Loidl:
Proceedings of the International Workshop on Parallel Symbolic Computation, PASCO@ISSAC 2017, Kaiserslautern, Germany, July 23-24, 2017. ACM 2017, ISBN 978-1-4503-5288-8 [contents]
ISSAC 2016: Waterloo, ON, Canada
- Sergei A. Abramov, Eugene V. Zima, Xiao-Shan Gao:
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016. ACM 2016, ISBN 978-1-4503-4380-0 [contents]
ISSAC 2015: Bath, UK
- Kazuhiro Yokoyama, Steve Linton, Daniel Robertz:
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015. ACM 2015, ISBN 978-1-4503-3435-8 [contents]
ISSAC 2014: Kobe, Japan
- Katsusuke Nabeshima, Kosaku Nagasaka, Franz Winkler, Ágnes Szántó:
International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014. ACM 2014, ISBN 978-1-4503-2501-1 [contents]
ISSAC 2013: Boston, MA, USA
- Manuel Kauers:
International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013. ACM 2013, ISBN 978-1-4503-2059-7 [contents]
ISSAC 2012: Grenoble, France
- Joris van der Hoeven, Mark van Hoeij:
International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012. ACM 2012, ISBN 978-1-4503-1269-1 [contents]
ISSAC 2011: San Jose, CA, USA
- Éric Schost, Ioannis Z. Emiris:
Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings. ACM 2011, ISBN 978-1-4503-0675-1 [contents]
ISSAC 2010: Munich, Germany
- Wolfram Koepf:
Symbolic and Algebraic Computation, International Symposium, ISSAC 2010, Munich, Germany, July 25-28, 2010, Proceedings. ACM 2010, ISBN 978-1-4503-0150-3 [contents]
ISSAC 2009: Seoul, Republic of Korea
- Jeremy R. Johnson, Hyungju Park, Erich L. Kaltofen:
Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings. ACM 2009, ISBN 978-1-60558-609-0 [contents]
ISSAC 2008: Linz/Hagenberg, Austria
- J. Rafael Sendra, Laureano González-Vega:
Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings. ACM 2008, ISBN 978-1-59593-904-3 [contents]
ISSAC 2007: Waterloo, Ontario, Canada
- Dongming Wang:
Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings. ACM 2007, ISBN 978-1-59593-743-8 [contents] - Marc Moreno Maza, Stephen M. Watt:
Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada. ACM 2007, ISBN 978-1-59593-741-4 [contents] - Stephen M. Watt, Jan Verschelde:
Symbolic-Numeric Computation, SNC 2007, International Workshop, 25-27 July 2007, University of Western Ontario, London, Ontario, Canada. ACM 2007, ISBN 978-1-59593-744-5 [contents]
ISSAC 2006: Genoa, Italy
- Barry M. Trager:
Symbolic and Algebraic Computation, International Symposium, ISSAC 2006, Genoa, Italy, July 9-12, 2006, Proceedings. ACM 2006, ISBN 1-59593-276-3 [contents]
ISSAC 2005: Beijing, China
- Manuel Kauers:
Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings. ACM 2005, ISBN 1-59593-095-7 [contents]
ISSAC 2004: Santander, Spain
- Jaime Gutierrez:
Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings. ACM 2004, ISBN 1-58113-827-X [contents]
ISSAC 2003: Philadelphia, Pennsylvania, USA
- J. Rafael Sendra:
Symbolic and Algebraic Computation, International Symposium ISSAC 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings. ACM 2003, ISBN 1-58113-641-2 [contents]
ISSAC 2002: Lille, France
- Teo Mora:
Symbolic and Algebraic Computation, International Symposium ISSAC 2002, Lille, France, July 7-10, 2002, Proceedings. ACM 2002, ISBN 1-58113-484-3 [contents]
ISSAC 2001: London, Ontario, Canada
- Erich L. Kaltofen, Gilles Villard:
Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ISSAC 2001, ORCCA & University of Western Ontario, London, Ontario, Canada, July 22-25, 2001. ACM 2001, ISBN 1-58113-417-7 [contents]
ISSAC 2000: St. Andrews, UK
- Carlo Traverso:
Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, ISSAC 2000, St. Andrews, United Kingdom, August 6-10, 2000. ACM 2000, ISBN 1-58113-218-2 [contents]
ISSAC 1999: Vancouver, B.C., Canada
- Keith O. Geddes, Bruno Salvy, Samuel S. Dooley:
Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, ISSAC '99, Vancouver, B.C., Canada, July 29-31, 1999. ACM 1999, ISBN 1-58113-073-2 [contents]
ISSAC 1998: Rostock, Germany
- Volker Weispfenning, Barry M. Trager:
Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC '98, Rostock, Germany, August 13-15, 1998. ACM 1998, ISBN 1-58113-002-3 [contents]
ISSAC 1997: Maui, Hawaii, USA
- Bruce W. Char, Paul S. Wang, Wolfgang Küchlin:
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC 1997, Maui, Hawaii, USA, July 21-23, 1997. ACM 1997, ISBN 0-89791-875-4 [contents]
ISSAC 1996: Zurich, Switzerland
- Erwin Engeler, Bob F. Caviness, Yagati N. Lakshman:
Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, ISSAC '96, Zurich, Switzerland, July 24-26, 1996. ACM 1996, ISBN 0-89791-796-0 [contents]
ISSAC 1995: Monreal, Canada
- A. H. M. Levelt:
Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, ISSAC '95, Montreal, Canada, July 10-12, 1995. ACM 1995, ISBN 0-89791-699-9 [contents]
ISSAC 1994: Oxford, UK
- Malcolm A. H. MacCallum:
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '94, Oxford, UK, July 20-22, 1994. ACM 1994, ISBN 0-89791-638-7 [contents]
ISSAC 1993: Kiev, Ukraine
- Manuel Bronstein:
Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, ISSAC '93, Kiev, Ukraine, July 6-8, 1993. ACM 1993, ISBN 0-89791-604-2 [contents]
ISSAC 1992: Berkeley, California, USA
- Paul S. Wang:
Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC '92, Berkeley, CA, USA, July 27-29, 1992. ACM 1992, ISBN 0-89791-489-9 [contents]
ISSCA 1991: Bonn, Germany
- Stephen M. Watt:
Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, ISSAC '91, Bonn, Germany, July 15-17, 1991. ACM 1991, ISBN 0-89791-437-6 [contents]
ISSCA 1990: Tokyo, Japan
- Shunro Watanabe, Morio Nagata:
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990. ACM 1990, ISBN 0-201-54892-5 [contents]
ISSCA 1989: Portland, Oregon, USA
- Gaston H. Gonnet:
Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, ISSAC '89, Portland, Oregon, USA, July 17-19, 1989. ACM 1989, ISBN 0-89791-325-6 [contents]
ISSAC 1988: Rome, Italy
- Patrizia M. Gianni:
Symbolic and Algebraic Computation, International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988, Proceedings. Lecture Notes in Computer Science 358, Springer 1989, ISBN 3-540-51084-2 [contents]
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.
last updated on 2025-01-15 20:33 CET 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:
