Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/symsac/symsac1971.bht:"
download as .bib file
@inproceedings{DBLP:conf/symsac/Anderson71,
author = {Robert H. Anderson},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {A comment on the recognition of hand-printed two-dimensional mathematical
expressions},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {100--101},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806272},
doi = {10.1145/800204.806272},
timestamp = {Mon, 21 Mar 2022 16:03:35 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Anderson71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/BartonF71,
author = {David Barton and
John P. Fitch},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {General Relativity and the application of algebraic manipulative systems},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {343--348},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806305},
doi = {10.1145/800204.806305},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/BartonF71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/BayardBGH71,
author = {H. A. Bayard and
C. T. Browne and
L. N. Gross and
Edward C. Haines},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {The treet time sharing system},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {261--267},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806295},
doi = {10.1145/800204.806295},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/BayardBGH71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Berlekamp71,
author = {Elwyn R. Berlekamp},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Factoring polynomials over large finite fields},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {223},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806290},
doi = {10.1145/800204.806290},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Berlekamp71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Bernstein71,
author = {Morton I. Bernstein},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Computer input/output of two-dimensional notations},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {102--103},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806273},
doi = {10.1145/800204.806273},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Bernstein71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/BourneH71,
author = {Stephen R. Bourne and
J. R. Horton},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {The design of the Cambridge algebra system},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {134--143},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806278},
doi = {10.1145/800204.806278},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/BourneH71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Brown71,
author = {William S. Brown},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {On Euclid's algorithm and the computation of polynomial greatest common
divisors},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {195--211},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806288},
doi = {10.1145/800204.806288},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Brown71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Burge71,
author = {William H. Burge},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Some examples of the use of function-producing functions},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {238--241},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806292},
doi = {10.1145/800204.806292},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Burge71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/BurgoyneW71,
author = {N. Burgoyne and
C. Williamson},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Some computations involving simple Lie algebras},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {162--171},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806283},
doi = {10.1145/800204.806283},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/BurgoyneW71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Cabay71,
author = {Stanley Cabay},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Exact solution of linear equations},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {392--398},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806310},
doi = {10.1145/800204.806310},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Cabay71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Cannon71,
author = {John Cannon},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {On the construction of general purpose programs for studying finite
groups},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {22},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806263},
doi = {10.1145/800204.806263},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Cannon71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/CannonD71,
author = {John Cannon and
Lucien A. Dimino},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {The design of a language for the development of group theoretic programs},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {158},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806281},
doi = {10.1145/800204.806281},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/CannonD71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Chepurniy71,
author = {N. Chepurniy},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Evaluation of high-order polynomial triangular finite elements using
{FORMAC}},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {365--371},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806308},
doi = {10.1145/800204.806308},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Chepurniy71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Christensen71,
author = {Carlos Christensen},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {An introduction to AMBIT/L, a diagrammatic language for list processing},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {248--260},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806294},
doi = {10.1145/800204.806294},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Christensen71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/ChristensenK71,
author = {Carlos Christensen and
Michael Karr},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {IAM, a system for interactive algebraic manipulation},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {115--127},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806276},
doi = {10.1145/800204.806276},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/ChristensenK71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/CohenR71,
author = {Jacques Cohen and
Ann Rubin},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {An interactive system for proving theorems in the predicate calculus},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {268--280},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806296},
doi = {10.1145/800204.806296},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/CohenR71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Collins71,
author = {George E. Collins},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {The {SAC-1} system: An introduction and survey},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {144--152},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806279},
doi = {10.1145/800204.806279},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Collins71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Collins71a,
author = {George E. Collins},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {The calculation of multivariate polynomial resultants},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {212--222},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806289},
doi = {10.1145/800204.806289},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Collins71a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/DepritHR71,
author = {Andr{\'{e}} Deprit and
Jacques Henrard and
Arnold R. M. Rom},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Lunar ephemeris: De Launay's theory revisited},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {342},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806304},
doi = {10.1145/800204.806304},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/DepritHR71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Dimino71,
author = {Lucien A. Dimino},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {A graphical approach to coset enumeration},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {76},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806268},
doi = {10.1145/800204.806268},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Dimino71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Dixon71,
author = {John D. Dixon},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Permutation representations and the subgroup lattice},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {159--161},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806282},
doi = {10.1145/800204.806282},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Dixon71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Engelman71,
author = {Carl Engelman},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {The legacy of {MATHLAB} 68},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {29--41},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806265},
doi = {10.1145/800204.806265},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/symsac/Engelman71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Fateman71,
author = {Richard J. Fateman},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {The user-level semantic matching capability in {MACSYMA}},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {311--323},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806300},
doi = {10.1145/800204.806300},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Fateman71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Fenichel71,
author = {Robert R. Fenichel},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {List-tracing in systems allowing multiple cell-types},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {242--247},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806293},
doi = {10.1145/800204.806293},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Fenichel71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Gabriel71,
author = {John R. Gabriel},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Numerical methods for reduction of group representations},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {180--182},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806285},
doi = {10.1145/800204.806285},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Gabriel71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/GriesmerJ71,
author = {James H. Griesmer and
Richard D. Jenks},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {{SCRATCHPAD/1:} An interactive facility for symbolic mathematics},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {42--58},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806266},
doi = {10.1145/800204.806266},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/GriesmerJ71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/GroverRW71,
author = {John Grover and
Lawrence A. Rowe and
Darrell Wilson},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Applications of coset enumeration},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {183--187},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806286},
doi = {10.1145/800204.806286},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/GroverRW71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Hall71,
author = {Andrew D. Hall Jr.},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {The {ALTRAN} system for rational function manipulation - a survey},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {153--157},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806280},
doi = {10.1145/800204.806280},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Hall71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Hearn71,
author = {Anthony C. Hearn},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Applications of symbol manipulation in theoretical physics},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {17--21},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806262},
doi = {10.1145/800204.806262},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Hearn71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Hearn71a,
author = {Anthony C. Hearn},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {{REDUCE} 2: {A} system and language for algebraic manipulation},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {128--133},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806277},
doi = {10.1145/800204.806277},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Hearn71a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Heindel71,
author = {Lee E. Heindel},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Integer arithmetic algorithms for polynomial real zero determination},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {415--426},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806312},
doi = {10.1145/800204.806312},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/symsac/Heindel71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Horowitz71,
author = {Ellis Horowitz},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Modular arithmetic and finite field theory: {A} tutorial},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {188--194},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806287},
doi = {10.1145/800204.806287},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Horowitz71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Horowitz71a,
author = {Ellis Horowitz},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Algorithms for partial fraction decomposition and rational function
integration},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {441--457},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806314},
doi = {10.1145/800204.806314},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Horowitz71a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Jefferys71,
author = {William H. Jefferys},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Automated algebraic manipulation in Celestial Mechanics},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {328--331},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806302},
doi = {10.1145/800204.806302},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Jefferys71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Jenks71,
author = {Richard D. Jenks},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {{META} {LISP} and {META} {PLUS:} : Tools for rapidly implementing
extendable language translators},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {281},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806297},
doi = {10.1145/800204.806297},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Jenks71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Johnson71,
author = {Stephen C. Johnson},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {On the problem of recognizing zero},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {324--327},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806301},
doi = {10.1145/800204.806301},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Johnson71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Lipson71,
author = {John D. Lipson},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Chinese remainder and interpolation algorithms},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {372--391},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806309},
doi = {10.1145/800204.806309},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Lipson71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Martin71,
author = {William A. Martin},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Computer input/output of mathematical expressions},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {78--89},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806270},
doi = {10.1145/800204.806270},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Martin71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Martin71a,
author = {William A. Martin},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Determining the equivalence of algebraic expressions by hash coding},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {305--310},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806299},
doi = {10.1145/800204.806299},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Martin71a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/MartinF71,
author = {William A. Martin and
Richard J. Fateman},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {The {MACSYMA} system},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {59--75},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806267},
doi = {10.1145/800204.806267},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/MartinF71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/McClellan71,
author = {Michael T. McClellan},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {The exact solution of systems of linear equations with polynomial
coefficients},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {399--414},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806311},
doi = {10.1145/800204.806311},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/McClellan71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/McKay71,
author = {John McKay},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Groups and subgroups, presentations and representations},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {104},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806274},
doi = {10.1145/800204.806274},
timestamp = {Thu, 30 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/symsac/McKay71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Moler71,
author = {Cleve B. Moler},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Semi-symbolic methods in partial differential equations},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {349--351},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806306},
doi = {10.1145/800204.806306},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Moler71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Moses71,
author = {Joel Moses},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Algebraic simplification a guide for the perplexed},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {282--304},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806298},
doi = {10.1145/800204.806298},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Moses71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Moses71a,
author = {Joel Moses},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Symbolic integration the stormy decade},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {427--440},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806313},
doi = {10.1145/800204.806313},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Moses71a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Neubuser71,
author = {Joachim Neub{\"{u}}ser},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Some applications of group theoretical programs},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {77},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806269},
doi = {10.1145/800204.806269},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Neubuser71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/NylandC71,
author = {Edo Nyland and
C. H. Chapman},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Symbolic algebra in theoretical seismology},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {352--364},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806307},
doi = {10.1145/800204.806307},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/NylandC71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Oman71,
author = {Samuel D. Oman},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {An application of formac to the Computation of coverage functions},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {332--341},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806303},
doi = {10.1145/800204.806303},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Oman71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Petrick71,
author = {Stanley R. Petrick},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {On the use of syntax-based translators for symbolic and algebraic
manipulation},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {224--237},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806291},
doi = {10.1145/800204.806291},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Petrick71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Sims71,
author = {Charles C. Sims},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Computation with permutation groups},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {23--28},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806264},
doi = {10.1145/800204.806264},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Sims71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Siret71,
author = {Yvon Siret},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {A conversational system for engineering assistance: Aladin},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {90--99},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806271},
doi = {10.1145/800204.806271},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Siret71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Tobey71,
author = {Robert G. Tobey},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Symbolic mathematical computation - introduction and overview},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {1--16},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806261},
doi = {10.1145/800204.806261},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Tobey71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Wang71,
author = {Paul S. Wang},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Automatic computation of limits},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {458--464},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806315},
doi = {10.1145/800204.806315},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Wang71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Xenakis71,
author = {John Xenakis},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {The {PL/I-FORMAC} Interpreter},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {105--114},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806275},
doi = {10.1145/800204.806275},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Xenakis71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/Zimmer71,
author = {Horst G{\"{u}}nter Zimmer},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Computers and computations in algebraic number theory},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {172--179},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806284},
doi = {10.1145/800204.806284},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/Zimmer71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/symsac/1971,
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204},
doi = {10.1145/800204},
isbn = {978-1-4503-7786-7},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/symsac/1971.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-06-01 04:49 CEST from data curated 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:
