{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T11:06:35Z","timestamp":1760267195559},"reference-count":25,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2014,10,1]],"date-time":"2014-10-01T00:00:00Z","timestamp":1412121600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematics and Computers in Simulation"],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1016\/j.matcom.2012.03.010","type":"journal-article","created":{"date-parts":[[2012,5,31]],"date-time":"2012-05-31T22:37:53Z","timestamp":1338503873000},"page":"21-30","source":"Crossref","is-referenced-by-count":14,"special_numbering":"C","title":["An accelerated-time simulation of car traffic on a motorway using a CAS"],"prefix":"10.1016","volume":"104","author":[{"given":"Gabriel","family":"Aguilera","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Luis","family":"Gal\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Manuel","family":"Garc\u00eda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrique","family":"M\u00e9rida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro","family":"Rodr\u00edguez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.matcom.2012.03.010_bib0005","series-title":"Proceedings of the 3rd International Conference on the Teaching of Mathematics an the Undergraduate Level","article-title":"A basic course of multiple integrals with a computer algebra system","author":"Aguilera","year":"2006"},{"key":"10.1016\/j.matcom.2012.03.010_bib0010","series-title":"Proceedings of TIME 2010","article-title":"11 years of master theses in engineering using derive in the University of M\u00e1laga","author":"Aguilera","year":"2010"},{"key":"10.1016\/j.matcom.2012.03.010_bib0015","first-page":"22","article-title":"Generating random samples from continues and discrete distributions with derive","volume":"75","author":"Aguilera","year":"2009","journal-title":"DERIVE Newsletter"},{"key":"10.1016\/j.matcom.2012.03.010_bib0020","series-title":"Proceedings of TIME 2004","article-title":"Atpcl.mth: automated theorem provers for propositional classical logic with derive","author":"Aguilera","year":"2004"},{"issue":"6","key":"10.1016\/j.matcom.2012.03.010_bib0025","doi-asserted-by":"crossref","first-page":"1200","DOI":"10.1016\/j.matcom.2009.04.012","article-title":"Automated generation of contrapuntal musical compositions using probabilistic logic in derive","volume":"8","author":"Aguilera","year":"2010","journal-title":"Mathematics and Computer in Simulation"},{"key":"10.1016\/j.matcom.2012.03.010_bib0030","series-title":"Proceedings of DES-TIME-2006","article-title":"Graph_algorithms.mth: graph algorithms using display step in derive 6","author":"Aguilera","year":"2006"},{"key":"10.1016\/j.matcom.2012.03.010_bib0035","unstructured":"Caliper, TransModeler. https:\/\/2.zoppoz.workers.dev:443\/http\/www.caliper.com\/transmodeler\/default.htm."},{"key":"10.1016\/j.matcom.2012.03.010_bib0040","series-title":"Proceedings of the 5th International Conference APLIMAT","article-title":"Line integrals with computer algebra systems","author":"Cielos","year":"2006"},{"key":"10.1016\/j.matcom.2012.03.010_bib0045","series-title":"5th International Conference APLIMAT","article-title":"The role of computer algebra systems in mathematics teaching for engineering degrees","author":"Gal\u00e1n","year":"2006"},{"key":"10.1016\/j.matcom.2012.03.010_bib0050","series-title":"Proceedings of TIME 2004","article-title":"Residues.mth: solving problems of integration using the residue theorem","author":"Gal\u00e1n","year":"2004"},{"key":"10.1016\/j.matcom.2012.03.010_bib0055","unstructured":"J.L. Gal\u00e1n, P. Rodr\u00edguez, M.A. Gal\u00e1n, Y. Padilla, Multiple integration.dfw: line, double, triple and surface integrals, User Contributed Math Packages of software Derive 6, Texas Instruments, 2004."},{"key":"10.1016\/j.matcom.2012.03.010_bib0060","unstructured":"J.L. Gal\u00e1n, P. Rodr\u00edguez, M.A. Gal\u00e1n, Y. Padilla, E. S\u00e1nchez, J. S\u00e1nchez, Complex analysis.dfw: complex numbers and functions, User Contributed Math Packages of software Derive 6, Texas Instruments, 2004."},{"key":"10.1016\/j.matcom.2012.03.010_bib0065","doi-asserted-by":"crossref","first-page":"1160","DOI":"10.1016\/j.mcm.2009.12.032","article-title":"An accelerated-time microscopic simulation of a dedicated freight double-track railway line","volume":"51","author":"Hernando","year":"2010","journal-title":"Mathematical and Computer Modelling"},{"issue":"48","key":"10.1016\/j.matcom.2012.03.010_bib0070","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1088\/0305-4470\/33\/48\/103","article-title":"Towards a realistic microscopic description of highway traffic","volume":"33","author":"Knospe","year":"2000","journal-title":"Journal of Physics A: Mathematical and General"},{"key":"10.1016\/j.matcom.2012.03.010_bib0075","series-title":"Proceedings of Royal Society, London","first-page":"281","article-title":"On kinematic waves. i. Flood movements in long rivers. ii: A theory of traffic flow on long crowded roads","author":"Lighthill","year":"1955"},{"key":"10.1016\/j.matcom.2012.03.010_bib0080","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/978-3-642-15825-4_63","article-title":"A new neural model for traffic simulation","volume":"6254","author":"M\u00e9rida","year":"2010","journal-title":"Lecture Notes in Computer Science"},{"issue":"2","key":"10.1016\/j.matcom.2012.03.010_bib0085","first-page":"2221","article-title":"A cellular automaton model for freeway traffic","volume":"1","author":"Nagel","year":"1982","journal-title":"Journal de Physique"},{"issue":"4","key":"10.1016\/j.matcom.2012.03.010_bib0090","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0191-2615(93)90038-C","article-title":"A simplified theory of kinematic waves in highway traffic, Part i: General theory. ii: Queueing at freeway bottlenecks","volume":"27","author":"Newell","year":"1993","journal-title":"Transportation Research B"},{"key":"10.1016\/j.matcom.2012.03.010_bib0095","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/j.matcom.2004.05.016","article-title":"An accelerated-time simulation of departing passengers\u2019 flow in airport terminals","volume":"67","author":"Roanes-Lozano","year":"2004","journal-title":"Mathematics and Computers in Simulation"},{"key":"10.1016\/j.matcom.2012.03.010_bib0100","unstructured":"Trafficware, SimTraffic. https:\/\/2.zoppoz.workers.dev:443\/http\/www.trafficware.com\/simtraffic7.html."},{"key":"10.1016\/j.matcom.2012.03.010_bib0105","unstructured":"TSS, Aimsun. https:\/\/2.zoppoz.workers.dev:443\/http\/www.aimsun.com\/wp\/."},{"key":"10.1016\/j.matcom.2012.03.010_bib0110","unstructured":"University of Florida, CORSIM. https:\/\/2.zoppoz.workers.dev:443\/http\/mctrans.ce.ufl.edu\/featured\/tsis\/version5\/corsim.htm."},{"key":"10.1016\/j.matcom.2012.03.010_bib0115","unstructured":"Visual Solutions, VisSim. https:\/\/2.zoppoz.workers.dev:443\/http\/www.vissim.com\/."},{"key":"10.1016\/j.matcom.2012.03.010_bib0120","series-title":"A New Class of Science","author":"Wolfram","year":"2002"},{"key":"10.1016\/j.matcom.2012.03.010_bib0125","series-title":"Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems","author":"Zeigler","year":"2000"}],"container-title":["Mathematics and Computers in Simulation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S0378475412001140?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S0378475412001140?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,11,22]],"date-time":"2018-11-22T21:57:12Z","timestamp":1542923832000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/linkinghub.elsevier.com\/retrieve\/pii\/S0378475412001140"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":25,"alternative-id":["S0378475412001140"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/j.matcom.2012.03.010","relation":{},"ISSN":["0378-4754"],"issn-type":[{"value":"0378-4754","type":"print"}],"subject":[],"published":{"date-parts":[[2014,10]]}}}