BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

D. Wilson

D. Wilson contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
Symbolic Computationastro-phmath.AGMathematical Software

Trust snapshot

Quick read

Trust 15 - UnverifiedVerification L1Unclaimed author
3works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

3 published item(s)

preprint2014arXiv

Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains

A new algorithm to compute cylindrical algebraic decompositions (CADs) is presented, building on two recent advances. Firstly, the output is truth table invariant (a TTICAD) meaning given formulae have constant truth value on each cell of the decomposition. Secondly, the computation uses regular chains theory to first build a cylindrical decomposition of complex space (CCD) incrementally by polynomial. Significant modification of the regular chains technology was used to achieve the more sophisticated invariance criteria. Experimental results on an implementation in the RegularChains Library for Maple verify that combining these advances gives an algorithm superior to its individual components and competitive with the state of the art.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Branch Cuts in Maple 17

Accurate and comprehensible knowledge about the position of branch cuts is essential for correctly working with multi-valued functions, such as the square root and logarithm. We discuss the new tools in Maple 17 for calculating and visualising the branch cuts of such functions, and others built up from them. The cuts are described in an intuitive and accurate form, offering substantial improvement on the descriptions previously available.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

The sub-Jupiter mass transiting exoplanet WASP-11b

We report the discovery of a sub-Jupiter mass exoplanet transiting a magnitude V=11.7 host star 1SWASP J030928.54+304024.7. A simultaneous fit to the transit photometry and radial-velocity measurements yield a planet mass M_p=0.53+-0.07M_J, radius R_p=0.91^{+0.06}_{-0.03}R_J and an orbital period of 3.722465^{+0.000006}_{-0.000008} days. The host star is of spectral type K3V, with a spectral analysis yielding an effective temperature of 4800+-100K and log g=4.45+-0.2. It is amongst the smallest, least massive and lowest luminosity stars known to harbour a transiting exoplanet. WASP-11b is the third least strongly irradiated transiting exoplanet discovered to date, experiencing an incident flux F_p=1.9x10^8 erg s^{-1} cm^{-2} and having an equilibrium temperature T_eq=960+-70K.

0 citations0 reviewsNo code linkedOpen access