journal of symbolic computation (31)
mathematics in computer science (13)
acm sigsam bulletin (4)
university of denver water law review (4)
acm international conference proceeding series (3)
annals of mathematics and artificial intelligence (3)
communications of the acm (3)
international journal for technology in mathematics education (3)
journal of interactive media in education (3)
journal of logical and algebraic methods in programming (3)
2023 25th international symposium on symbolic and numeric algorithms for scientific computing (synasc), symbolic and numeric algorithms for scientific computing (synasc), 2023 25th international symposium on, synasc (2)
applicable algebra in engineering, communication and computing (2)
foot & ankle orthopaedics (2)
integral transforms & special functions (2)
intelligent computer mathematics (9783642026133) (2)
intelligent computer mathematics (9783642393198) (2)
intelligent computer mathematics: international conference, cicm 2014, coimbra, portugal, july 7-11, 2014. proceedings (2)
mathematical software - icms 2014 (2)
mathematical software - icms 2016 (2)
2011 13th international symposium on symbolic & numeric algorithms for scientific computing (1)
2011 13th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing (synasc), 2011 13th international symposium on (1)
2012 14th international symposium on symbolic & numeric algorithms for scientific computing (1)
2012 14th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing (synasc), 2012 14th international symposium on (1)
2013 12th international symposium on distributed computing & applications to business, engineering & science (1)
2013 12th international symposium on distributed computing and applications to business, engineering & science, distributed computing and applications to business, engineering & science (dcabes), 2013 12th international symposium on (1)
2013 15th international symposium on symbolic & numeric algorithms for scientific computing (1)
2013 15th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing (synasc), 2013 15th international symposium on (1)
2014 16th international symposium on symbolic & numeric algorithms for scientific computing (1)
2014 16th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing (synasc), 2014 16th international symposium on (1)
2016 18th international symposium on symbolic and numeric algorithms for scientific computing (synasc), symbolic and numeric algorithms for scientific computing (synasc), 2016 18th international symposium on, synasc (1)
2016 international conference on learning & teaching in computing & engineering (latice) (1)
2016 international conference on learning and teaching in computing and engineering (latice), learning and teaching in computing and engineering (latice), 2016 international conference on, teaching and learning in computing and engineering (latice), 2014 international conference on (1)
2018 20th international symposium on symbolic and numeric algorithms for scientific computing (synasc), symbolic and numeric algorithms for scientific computing (synasc), 2018 20th international symposium on, synasc (1)
2019 ieee frontiers in education conference (fie), frontiers in education conference (fie), 2019 ieee (1)
2020 ieee frontiers in education conference (fie), frontiers in education conference (fie), 2020 ieee (1)
2020 ieee global engineering education conference (educon), engineering education conference (educon), 2020 ieee global (1)
2021 23rd international symposium on symbolic and numeric algorithms for scientific computing (synasc), symbolic and numeric algorithms for scientific computing (synasc), 2021 23rd international symposium on, synasc (1)
2021 ieee global engineering education conference (educon), global engineering education conference (educon), 2021 ieee (1)
2022 24th international symposium on symbolic and numeric algorithms for scientific computing (synasc), symbolic and numeric algorithms for scientific computing (synasc), 2022 24th international symposium on, synasc (1)
american journal of obstetrics and gynecology (1)
annals of mathematics & artificial intelligence (1)
automated deduction in geometry (9783319213613) (1)
computer algebra in scientific computing (9783319456409) (1)
inter alia (1)
mathematical knowledge management (9783540005681) (1)
mathematical software - icms 2020 (1)
obstetrics & gynecology (ovid) (1)
tennessee law review (1)
towards mechanized mathematical assistants (1)
western natural resource litigation digest commentary (1)